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

Class StringBuilderValue

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

public final class StringBuilderValue
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
StringBuilderValue(org.sosy_lab.java_smt.api.SolverContext context)
StringBuilderValue(org.sosy_lab.java_smt.api.SolverContext context, StringValue v, int address)

Method Summary

Modifier and Type	Method	Description
StringValue	asStringValue()
Value<?,?>	getStringValue()
Value<?,?>	invokeMethod(String name, org.objectweb.asm.Type[] desc, Value<?,?>[] args)	Handles method invocation for Java's StringBuilder (Java 16) as defined in:
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, 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

StringBuilderValue

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

StringBuilderValue

public StringBuilderValue(org.sosy_lab.java_smt.api.SolverContext context,
 StringValue v,
 int address)

Method Details

getStringValue

public Value<?,?> getStringValue()

invokeMethod

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

Handles method invocation for Java's StringBuilder (Java 16) as defined in:

Overrides:

invokeMethod in class ObjectValue<Object,Object>

Parameters:

name - The name of the method that is called

desc - The Type descriptions for all Arguments

args - The Value's representing the arguments

Returns:

The return Value of the Method, or a PlaceHolder::instance if the Method is not implemented or void should be returned

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