예제 #1
0
 public virtual void Visit(ForallGdAstNode node)
 {
 }
예제 #2
0
 /// <summary>
 /// Handles the AST node visit.
 /// </summary>
 /// <param name="astNode">AST node.</param>
 public override void Visit(ForallGdAstNode astNode)
 {
     ExpressionData = new ForallExpression(MasterExporter.ToParameters(astNode.Parameters), MasterExporter.ToExpression(astNode.Expression));
 }