org.evosuite.symbolic.vm.string.builder

Class StringBuilder_Append

java.lang.Object

org.evosuite.symbolic.vm.SymbolicFunction

org.evosuite.symbolic.vm.string.builder.StringBuilder_Append

Direct Known Subclasses:

StringBuilder_Append.Append_B, StringBuilder_Append.Append_C, StringBuilder_Append.Append_D, StringBuilder_Append.Append_F, StringBuilder_Append.Append_I, StringBuilder_Append.Append_L, StringBuilder_Append.Append_O, StringBuilder_Append.Append_S

public abstract class StringBuilder_Append
extends SymbolicFunction

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	StringBuilder_Append.Append_B
static class	StringBuilder_Append.Append_C
static class	StringBuilder_Append.Append_D
static class	StringBuilder_Append.Append_F
static class	StringBuilder_Append.Append_I
static class	StringBuilder_Append.Append_L
static class	StringBuilder_Append.Append_O
static class	StringBuilder_Append.Append_S

Field Summary

Fields

Modifier and Type	Field and Description
protected String	conc_str_builder_to_string_pre
protected static String	NULL_STRING

Fields inherited from class org.evosuite.symbolic.vm.SymbolicFunction

env

Constructor Summary

Constructors

Constructor and Description
StringBuilder_Append(SymbolicEnvironment env, String desc)

Method Summary

Modifier and Type	Method and Description
protected abstract StringValue	appendExpression(StringValue leftExpr, StringBuilder res)
IntegerConstraint	beforeExecuteFunction() This callback-method is invoked by the VM before the actual execution of the method.
Object	executeFunction() Returns new symbolic return value.

Methods inherited from class org.evosuite.symbolic.vm.SymbolicFunction

getConcArgument, getConcBooleanArgument, getConcBooleanRetVal, getConcByteArgument, getConcByteRetVal, getConcCharArgument, getConcCharRetVal, getConcDoubleArgument, getConcDoubleRetVal, getConcFloatArgument, getConcFloatRetVal, getConcIntArgument, getConcIntRetVal, getConcLongArgument, getConcLongRetVal, getConcReceiver, getConcRetVal, getConcShortArgument, getConcShortRetVal, getDesc, getName, getOwner, getSymbArgument, getSymbIntegerArgument, getSymbIntegerRetVal, getSymbRealArgument, getSymbRealRetVal, getSymbReceiver, getSymbRetVal

Methods inherited from class java.lang.Object

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

Field Detail

NULL_STRING

protected static final String NULL_STRING

See Also:

Constant Field Values

conc_str_builder_to_string_pre

protected String conc_str_builder_to_string_pre

Constructor Detail

StringBuilder_Append

public StringBuilder_Append(SymbolicEnvironment env,
                            String desc)

Method Detail

appendExpression

protected abstract StringValue appendExpression(StringValue leftExpr,
                                                StringBuilder res)

executeFunction

public final Object executeFunction()

Description copied from class: SymbolicFunction

Returns new symbolic return value. All symbolic method invocations with return values (except constructor calls or void calls) should return a symbolic value. The old symbolic value can be obtained by using the getSymbRetVal, getSymbRealRetVal and getSymbIntegerRetVal methods.

Specified by:

executeFunction in class SymbolicFunction

Returns:

object!=null && object instanceof Reference or object instanceof IntegerExpression or object instanceof RealExpression

beforeExecuteFunction

public final IntegerConstraint beforeExecuteFunction()

Description copied from class: SymbolicFunction

This callback-method is invoked by the VM before the actual execution of the method. This is the very last chance of saving concrete values before the execution of the concrete method. This could return an IntegerConstraint (such as String.isInteger)

Overrides:

beforeExecuteFunction in class SymbolicFunction