org.jmlspecs.jml4.fspv.theory
Class TheoryLiteral

java.lang.Object
  org.jmlspecs.jml4.fspv.theory.TheoryExpression
      org.jmlspecs.jml4.fspv.theory.TheoryLiteral

public class TheoryLiteral
extends TheoryExpression

Author:

karabot

Field Summary

static java.lang.String	FALSE
static java.lang.String	TRUE
java.lang.String	value
static java.lang.String	ZERO

Fields inherited from class org.jmlspecs.jml4.fspv.theory.TheoryExpression

EMPTY, type, withSideEffects

Constructor Summary

TheoryLiteral(java.lang.String value, TheoryType type)

Method Summary

static TheoryLiteral	False()
java.lang.String	toString()
java.lang.String	toStringWithType()
static TheoryLiteral	True()
java.lang.Object	visit(TheoryVisitor visitor)
static TheoryExpression	Zero(TheoryType type)

Methods inherited from class java.lang.Object

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

Field Detail

ZERO

public static final java.lang.String ZERO

See Also:

Constant Field Values

TRUE

public static final java.lang.String TRUE

See Also:

Constant Field Values

FALSE

public static final java.lang.String FALSE

See Also:

Constant Field Values

value

public final java.lang.String value

Constructor Detail

TheoryLiteral

public TheoryLiteral(java.lang.String value,
                     TheoryType type)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toStringWithType

public java.lang.String toStringWithType()

True

public static TheoryLiteral True()

False

public static TheoryLiteral False()

visit

public java.lang.Object visit(TheoryVisitor visitor)

Overrides:

visit in class TheoryExpression

Zero

public static TheoryExpression Zero(TheoryType type)