public override void Visit(PredicateCall node)
{
_symbolTable.SetCurrentNode(node);
VisitChildren(node);
List <AllType> predParaTypes = _symbolTable.GetPredicateParameters(node.Name);
int ChildCount = node.Children.Count();
for (int i = 0; i < ChildCount; i++)
{
CheckAllowedCast(node.Children[i].Type_enum, predParaTypes[i]);
}
}
public override AbstractNode VisitPredicateCall([NotNull] GiraphParser.PredicateCallContext context)
{
PredicateCall predicateCall = new PredicateCall(context.Start.Line, context.Start.Column);
predicateCall.Name = context.variable().GetText();
if (context.parameters() != null)
{
foreach (var item in context.parameters().simpleBoolCompOrExp())
{
predicateCall.AdoptChildren(Visit(item));
}
}
return(predicateCall);
}
public override void Visit(PredicateCall node)
{
}
public override void Visit(PredicateCall node)
{
CheckDeclared(node.Name);
}
public abstract void Visit(PredicateCall node);
