org.evosuite.symbolic.vm.string.buffer

Class StringBuffer_Append.StringBufferAppend_B

java.lang.Object

org.evosuite.symbolic.vm.SymbolicFunction

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

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

Enclosing class:

StringBuffer_Append

public static class StringBuffer_Append.StringBufferAppend_B
extends StringBuffer_Append

Nested Class Summary

Nested classes/interfaces inherited from class org.evosuite.symbolic.vm.string.buffer.StringBuffer_Append

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

Field Summary

Fields inherited from class org.evosuite.symbolic.vm.string.buffer.StringBuffer_Append

stringValBeforeExecution

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

env

Constructor Summary

Constructors

Constructor and Description
StringBufferAppend_B(SymbolicEnvironment env)

Method Summary

Modifier and Type	Method and Description
Object	executeFunction() Returns new symbolic return value.

Methods inherited from class org.evosuite.symbolic.vm.string.buffer.StringBuffer_Append

beforeExecuteFunction

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

Constructor Detail

StringBufferAppend_B

public StringBufferAppend_B(SymbolicEnvironment env)

Method Detail

executeFunction

public 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