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

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.TheoryLiteral

Direct Known Subclasses:

TheoryBooleanLiteral, TheoryIntLiteral, TheoryNullLiteral

public abstract class TheoryLiteral
extends TheoryExpression

Field Summary

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

base, enclosingTheory

Constructor Summary

TheoryLiteral(ASTNode base, Theory theory)

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

Constructor Detail

TheoryLiteral

public TheoryLiteral(ASTNode base,
                     Theory theory)