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

Class LongObjectValue

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.LongObjectValue

public class LongObjectValue
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
LongObjectValue(org.sosy_lab.java_smt.api.SolverContext context)
LongObjectValue(org.sosy_lab.java_smt.api.SolverContext context, LongValue longValue, int address)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)	Compares if an arbitrary object is equal to this instance
org.sosy_lab.java_smt.api.BooleanFormula	getBounds(boolean upper)	Gets the bound of the primitive type
LongValue	getLongValue()
Value<?,?>	invokeMethod(String name, org.objectweb.asm.Type[] desc, Value<?,?>[] args)	Responsible for invoking the methods present in the java/lang/Long class
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, asStringValue, 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

LongObjectValue

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

LongObjectValue

public LongObjectValue(org.sosy_lab.java_smt.api.SolverContext context,
 LongValue longValue,
 int address)

Method Details

getLongValue

public LongValue getLongValue()

equals

public boolean equals(Object o)

Compares if an arbitrary object is equal to this instance

Overrides:

equals in class ObjectValue<Object,Object>

Parameters:

o - The other object

Returns:

Returns true if the objects are identical or if the other object is a long and has the same value as this one

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)

Responsible for invoking the methods present in the java/lang/Long class

Overrides:

invokeMethod in class ObjectValue<Object,Object>

Parameters:

name - The Name of the method that should be invoked

args - The methods arguments (if any)

Returns:

The resulting Value

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>

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

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