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

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

Direct Known Subclasses:

TheoryAllocationExpression, TheoryAssignment, TheoryBinaryExpression, TheoryLiteral, TheoryMessageSend, TheoryReference, TheoryTypeReference, TheoryUnaryExpression

public abstract class TheoryExpression
extends TheoryStatement

Field Summary

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

base, enclosingTheory

Constructor Summary

TheoryExpression(ASTNode base, Theory theory)

Method Summary

abstract java.lang.String

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

Constructor Detail

TheoryExpression

public TheoryExpression(ASTNode base,
                        Theory theory)

Method Detail

getType

public abstract java.lang.String getType()