org.jmlspecs.jml4.fspv.theory.ast
Class TheoryOldExpression

java.lang.Object
  org.jmlspecs.jml4.fspv.theory.ast.TheoryNode
      org.jmlspecs.jml4.fspv.theory.ast.TheoryStatement
          org.jmlspecs.jml4.fspv.theory.ast.TheoryExpression
              org.jmlspecs.jml4.fspv.theory.ast.TheoryUnaryExpression
                  org.jmlspecs.jml4.fspv.theory.ast.TheoryOldExpression

public class TheoryOldExpression
extends TheoryUnaryExpression

Field Summary

Fields inherited from class org.jmlspecs.jml4.fspv.theory.ast.TheoryUnaryExpression

expression

Fields inherited from class org.jmlspecs.jml4.fspv.theory.ast.TheoryNode

base, enclosingTheory

Constructor Summary

TheoryOldExpression(ASTNode base, Theory theory, TheoryExpression expression)

Method Summary

java.lang.String	getType()
void	traverse(TheoryVisitor visitor)

Methods inherited from class org.jmlspecs.jml4.fspv.theory.ast.TheoryNode

toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TheoryOldExpression

public TheoryOldExpression(ASTNode base,
                           Theory theory,
                           TheoryExpression expression)

Method Detail

traverse

public void traverse(TheoryVisitor visitor)

Specified by:

traverse in class TheoryNode

getType

public java.lang.String getType()

Specified by:

getType in class TheoryExpression