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

Class IntegerObjectValue

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.lang.IntegerObjectValue

public final class IntegerObjectValue
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
IntegerObjectValue(org.sosy_lab.java_smt.api.SolverContext context)
IntegerObjectValue(org.sosy_lab.java_smt.api.SolverContext context, IntValue intValue, int address)

Method Summary

Modifier and Type	Method	Description
StringValue	asStringValue()
boolean	equals(Object o)
org.sosy_lab.java_smt.api.BooleanFormula	getBounds(boolean upper)	Gets the bound of the primitive type
IntValue	getIntValue()
Value<?,?>	invokeMethod(String name, org.objectweb.asm.Type[] desc, Value<?,?>[] args)
static Value<?,?>	invokeStaticMethod(org.sosy_lab.java_smt.api.SolverContext context, String name, Value<?,?>[] args)
String	MAKE_SYMBOLIC()
String	MAKE_SYMBOLIC(String namePrefix)
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, getAddress, getConcrete, getField, getFields, getnFields, IF_ACMPEQ, IF_ACMPNE, IFNONNULL, IFNULL, setAddress, setField, setFields

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

asBooleanValue, asByteValue, asCharValue, asDoubleValue, asLongValue, asNumericalValue, asShortValue, 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

IntegerObjectValue

public IntegerObjectValue(org.sosy_lab.java_smt.api.SolverContext context)

IntegerObjectValue

public IntegerObjectValue(org.sosy_lab.java_smt.api.SolverContext context,
 IntValue intValue,
 int address)

Method Details

getIntValue

public IntValue getIntValue()

getBounds

public org.sosy_lab.java_smt.api.BooleanFormula getBounds(boolean upper)

Gets the bound of the primitive type

Overrides:

getBounds in class Value<Object,Object>

Parameters:

upper - If the upper or lower bound should be created

Returns:

The BooleanFormula that represents the bounds check

MAKE_SYMBOLIC

public String MAKE_SYMBOLIC(String namePrefix)

Overrides:

MAKE_SYMBOLIC in class ObjectValue<Object,Object>

MAKE_SYMBOLIC

public String MAKE_SYMBOLIC()

Overrides:

MAKE_SYMBOLIC in class ObjectValue<Object,Object>

equals

public boolean equals(Object o)

Overrides:

equals in class ObjectValue<Object,Object>

invokeStaticMethod

public static Value<?,?> invokeStaticMethod(org.sosy_lab.java_smt.api.SolverContext context,
 String name,
 Value<?,?>[] args)

Parameters:

name -

args -

Returns:

invokeMethod

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

Overrides:

invokeMethod in class ObjectValue<Object,Object>

Parameters:

name -

args -

Returns:

asStringValue

public StringValue asStringValue()

Overrides:

asStringValue in class Value<Object,Object>

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