org.evosuite.symbolic.vm.string.buffer

Class StringBuffer_Append

java.lang.Object

org.evosuite.symbolic.vm.SymbolicFunction

org.evosuite.symbolic.vm.string.buffer.StringBuffer_Append

Direct Known Subclasses:

StringBuffer_Append.StringBufferAppend_B, StringBuffer_Append.StringBufferAppend_C, StringBuffer_Append.StringBufferAppend_D, StringBuffer_Append.StringBufferAppend_F, StringBuffer_Append.StringBufferAppend_I, StringBuffer_Append.StringBufferAppend_L, StringBuffer_Append.StringBufferAppend_STR

public abstract class StringBuffer_Append
extends SymbolicFunction

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	StringBuffer_Append.StringBufferAppend_B
static class	StringBuffer_Append.StringBufferAppend_C
static class	StringBuffer_Append.StringBufferAppend_D
static class	StringBuffer_Append.StringBufferAppend_F
static class	StringBuffer_Append.StringBufferAppend_I
static class	StringBuffer_Append.StringBufferAppend_L
static class	StringBuffer_Append.StringBufferAppend_STR

Field Summary

Fields

Modifier and Type	Field and Description
protected String	stringValBeforeExecution

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

env

Constructor Summary

Constructors

Constructor and Description
StringBuffer_Append(SymbolicEnvironment env, String desc)

Method Summary

Modifier and Type	Method and Description
IntegerConstraint	beforeExecuteFunction() This callback-method is invoked by the VM before the actual execution of the method.

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

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

stringValBeforeExecution

protected String stringValBeforeExecution

Constructor Detail

StringBuffer_Append

public StringBuffer_Append(SymbolicEnvironment env,
                           String desc)

Method Detail

beforeExecuteFunction

public 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