Package de.uzl.its.swat.symbolic.value.reference

Class LambdaPlaceHolder

java.lang.Object

de.uzl.its.swat.symbolic.value.Value

de.uzl.its.swat.symbolic.value.reference.LambdaPlaceHolder

public class LambdaPlaceHolder
extends Value

Field Summary

Fields inherited from class de.uzl.its.swat.symbolic.value.Value

concrete, context, formula, inc, name, symbol

Constructor Summary

Constructors

Constructor	Description
LambdaPlaceHolder(int key, int parentAddress)

Method Summary

Modifier and Type	Method	Description
int	getKey()
int	getParentAddress()
String	toString()	Returns the string representation of the value.

Methods inherited from class de.uzl.its.swat.symbolic.value.Value

asBooleanValue, asByteValue, asCharValue, asDoubleValue, asFloatValue, asIntValue, asLongValue, asNumericalValue, asObjectValue, asShortValue, asStringValue, getBounds, getConcrete, getConcreteEncoded, getName, getType, initSymbolic, initSymbolic, MAKE_SYMBOLIC, MAKE_SYMBOLIC, MAKE_SYMBOLIC, reset

Methods inherited from class java.lang.Object

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

Constructor Details

LambdaPlaceHolder

public LambdaPlaceHolder(int key,
 int parentAddress)

Method Details

getKey

public int getKey()

getParentAddress

public int getParentAddress()

toString

public String toString()

Description copied from class: Value

Returns the string representation of the value. Should be implemented by each inheriting class.

Overrides:

toString in class Value

Returns:

the string representation of the value