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

Class LambdaObjectValue

java.lang.Object

de.uzl.its.swat.symbolic.value.Value<T,K>

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

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

public class LambdaObjectValue
extends ObjectValue

Field Summary

Fields inherited from class de.uzl.its.swat.symbolic.value.reference.ObjectValue

address, ADDRESS_UNKNOWN, className

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

concrete, context, formula, inc, name, symbol

Constructor Summary

Constructors

Constructor	Description
LambdaObjectValue(org.sosy_lab.java_smt.api.SolverContext context, int address, int parentAddress, int key)

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.reference.ObjectValue

asArrayValue, asFloatValue, asIntValue, asObjectArrayValue, asObjectValue, equals, getAddress, getConcrete, getField, getFields, getnFields, IF_ACMPEQ, IF_ACMPNE, IFNONNULL, IFNULL, invokeMethod, MAKE_SYMBOLIC, MAKE_SYMBOLIC, setAddress, setField, setFields

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

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

Methods inherited from class java.lang.Object

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

Constructor Details

LambdaObjectValue

public LambdaObjectValue(org.sosy_lab.java_smt.api.SolverContext context,
 int address,
 int parentAddress,
 int key)

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 ObjectValue

Returns:

the string representation of the value