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

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
                  org.jmlspecs.jml4.fspv.theory.ast.TheoryBooleanLiteral

public class TheoryBooleanLiteral
extends TheoryLiteral

Field Summary

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

base, enclosingTheory

Constructor Summary

TheoryBooleanLiteral(ASTNode base, Theory theory)

Method Summary

java.lang.String	getType()
boolean	isTrue()
static TheoryBooleanLiteral	makeTrue(Theory theory)
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

TheoryBooleanLiteral

public TheoryBooleanLiteral(ASTNode base,
                            Theory theory)

Method Detail

makeTrue

public static TheoryBooleanLiteral makeTrue(Theory theory)

isTrue

public boolean isTrue()

traverse

public void traverse(TheoryVisitor visitor)

Specified by:

traverse in class TheoryNode

getType

public java.lang.String getType()

Specified by:

getType in class TheoryExpression