edu.mit.csail.sdg.alloy4compiler.ast
Class VisitReturn<T>

java.lang.Object
  edu.mit.csail.sdg.alloy4compiler.ast.VisitReturn<T>

Direct Known Subclasses:

SimInstance, TranslateAlloyToKodkod, VisitQuery

public abstract class VisitReturn<T>
extends java.lang.Object

This abstract class defines what a Return Visitor's interface needs to be.

Constructor Summary

VisitReturn()
Constructs a VisitReturn object.

Method Summary

T	visit(ExprBad x) Visits a ExprBad node
T	visit(ExprBadCall x) Visits a ExprBadCall node
T	visit(ExprBadJoin x) Visits a ExprBadJoin node
abstract T	visit(ExprBinary x) Visits an ExprBinary node.
abstract T	visit(ExprCall x) Visits an ExprCall node.
abstract T	visit(ExprConstant x) Visits an ExprConstant node.
abstract T	visit(ExprITE x) Visits an ExprITE node.
abstract T	visit(ExprLet x) Visits an ExprLet node.
abstract T	visit(ExprList x) Visits an ExprList node.
abstract T	visit(ExprQt x) Visits an ExprQt node.
abstract T	visit(ExprUnary x) Visits an ExprUnary node.
abstract T	visit(ExprVar x) Visits an ExprVar node.
abstract T	visit(Sig.Field x) Visits a Field node.
abstract T	visit(Sig x) Visits a Sig node.
T	visitThis(Expr x) This is the start method that begins a traversal over the given expression.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

VisitReturn

public VisitReturn()

Constructs a VisitReturn object.

Method Detail

visitThis

public final T visitThis(Expr x)
                  throws Err

This is the start method that begins a traversal over the given expression.

Throws:

Err

visit

public T visit(ExprBad x)
        throws Err

Visits a ExprBad node

Throws:

Err

visit

public T visit(ExprBadCall x)
        throws Err

Visits a ExprBadCall node

Throws:

Err

visit

public T visit(ExprBadJoin x)
        throws Err

Visits a ExprBadJoin node

Throws:

Err

visit

public abstract T visit(ExprBinary x)
                 throws Err

Visits an ExprBinary node.

Throws:

Err

visit

public abstract T visit(ExprList x)
                 throws Err

Visits an ExprList node.

Throws:

Err

visit

public abstract T visit(ExprCall x)
                 throws Err

Visits an ExprCall node.

Throws:

Err

visit

public abstract T visit(ExprConstant x)
                 throws Err

Visits an ExprConstant node.

Throws:

Err

visit

public abstract T visit(ExprITE x)
                 throws Err

Visits an ExprITE node.

Throws:

Err

visit

public abstract T visit(ExprLet x)
                 throws Err

Visits an ExprLet node.

Throws:

Err

visit

public abstract T visit(ExprQt x)
                 throws Err

Visits an ExprQt node.

Throws:

Err

visit

public abstract T visit(ExprUnary x)
                 throws Err

Visits an ExprUnary node.

Throws:

Err

visit

public abstract T visit(ExprVar x)
                 throws Err

Visits an ExprVar node.

Throws:

Err

visit

public abstract T visit(Sig x)
                 throws Err

Visits a Sig node.

Throws:

Err

visit

public abstract T visit(Sig.Field x)
                 throws Err

Visits a Field node.

Throws:

Err