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

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

Direct Known Subclasses:

TheoryOldExpression

public abstract class TheoryUnaryExpression
extends TheoryExpression

Field Summary

TheoryExpression

expression

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

base, enclosingTheory

Constructor Summary

TheoryUnaryExpression(ASTNode base, Theory theory, TheoryExpression expression)

Method Summary

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

getType

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

toString, traverse

Methods inherited from class java.lang.Object

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

Field Detail

expression

public final TheoryExpression expression

Constructor Detail

TheoryUnaryExpression

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