de.uka.ilkd.key.testgen.oracle

Class OracleConstant

java.lang.Object

de.uka.ilkd.key.testgen.oracle.OracleConstant

All Implemented Interfaces:

OracleTerm

public class OracleConstant
extends java.lang.Object
implements OracleTerm

Field Summary

Fields

Modifier and Type	Field and Description
static OracleConstant	FALSE
private Sort	sort
static OracleConstant	TRUE
private java.lang.String	value

Constructor Summary

Constructors

Constructor and Description
OracleConstant(java.lang.String value, Sort sort)

Method Summary

Modifier and Type	Method and Description
Sort	getSort()
java.lang.String	getValue()
void	setSort(Sort sort)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

value

private java.lang.String value

sort

private Sort sort

TRUE

public static final OracleConstant TRUE

FALSE

public static final OracleConstant FALSE

Constructor Detail

OracleConstant

public OracleConstant(java.lang.String value,
                      Sort sort)

Method Detail

getValue

public java.lang.String getValue()

getSort

public Sort getSort()

setSort

public void setSort(Sort sort)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object