kodkod.ast
Interface Node

All Known Implementing Classes:
BinaryExpression, BinaryFormula, BinaryIntExpression, ComparisonFormula, Comprehension, ConstantExpression, ConstantFormula, Decl, Decls, Expression, ExprToIntCast, Formula, IfExpression, IfIntExpression, IntComparisonFormula, IntConstant, IntExpression, IntToExprCast, LeafExpression, MultiplicityFormula, NotFormula, ProjectExpression, QuantifiedFormula, Relation, RelationPredicate, RelationPredicate.Acyclic, RelationPredicate.Function, RelationPredicate.TotalOrdering, SumExpression, UnaryExpression, UnaryIntExpression, Variable

public interface Node

A node in the abstract syntax tree (DAG). A node can accept a ReturnVisitor and have zero or more children.

Author:
Emina Torlak
specfield:
children: set Node

Method Summary
<E,F,D,I> java.lang.Object
accept(ReturnVisitor<E,F,D,I> visitor)
          Accepts the given visitor and returns the result of the visit (i.e.
 void accept(VoidVisitor visitor)
          Accepts the given void visitor by calling visitor.visit(this).
 

Method Detail

accept

<E,F,D,I> java.lang.Object accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result of the visit (i.e. the result of the call visitor.visit(this))

Returns:
the result of being visited by the given visitor
Throws:
java.lang.NullPointerException - visitor = null

accept

void accept(VoidVisitor visitor)
Accepts the given void visitor by calling visitor.visit(this).

Throws:
java.lang.NullPointerException - visitor = null