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

Class ListValue

java.lang.Object

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

de.uzl.its.swat.symbolic.value.reference.ObjectValue<Object,Object>

de.uzl.its.swat.symbolic.value.reference.util.ListValue

public class ListValue
extends ObjectValue<Object,Object>

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
ListValue(org.sosy_lab.java_smt.api.SolverContext context, String className)
ListValue(org.sosy_lab.java_smt.api.SolverContext context, String className, List<?> l)

Method Summary

Modifier and Type	Method	Description
List<Value<?,?>>	getList()
void	invokeAdd(IntValue idx, Value<?,?> v)
BooleanValue	invokeAdd(Value<?,?> v)
void	invokeClear()
Value<?,?>	invokeGet(IntValue idx)
Value<?,?>	invokeMethod(String name, org.objectweb.asm.Type[] desc, Value<?,?>[] args)
Value<?,?>	invokeRemove(IntValue idx)
IntValue	invokeSize()
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, 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

ListValue

public ListValue(org.sosy_lab.java_smt.api.SolverContext context,
 String className)

ListValue

public ListValue(org.sosy_lab.java_smt.api.SolverContext context,
 String className,
 List<?> l)

Method Details

getList

public List<Value<?,?>> getList()

invokeMethod

public Value<?,?> invokeMethod(String name,
 org.objectweb.asm.Type[] desc,
 Value<?,?>[] args)

Overrides:

invokeMethod in class ObjectValue<Object,Object>

invokeAdd

public BooleanValue invokeAdd(Value<?,?> v)

invokeSize

public IntValue invokeSize()

invokeAdd

public void invokeAdd(IntValue idx,
 Value<?,?> v)

invokeClear

public void invokeClear()

invokeGet

public Value<?,?> invokeGet(IntValue idx)

invokeRemove

public Value<?,?> invokeRemove(IntValue idx)

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<Object,Object>

Returns:

the string representation of the value