org.evosuite.symbolic.vm.string.buffer

Class StringBuffer_Init.StringBufferInit_S

java.lang.Object

org.evosuite.symbolic.vm.SymbolicFunction

org.evosuite.symbolic.vm.string.buffer.StringBuffer_Init

org.evosuite.symbolic.vm.string.buffer.StringBuffer_Init.StringBufferInit_S

Enclosing class:

StringBuffer_Init

public static final class StringBuffer_Init.StringBufferInit_S
extends StringBuffer_Init

Nested Class Summary

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

StringBuffer_Init.StringBufferInit_S

Field Summary

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

env

Constructor Summary

Constructors

Constructor and Description
StringBufferInit_S(SymbolicEnvironment env)

Method Summary

Modifier and Type	Method and Description
Object	executeFunction() new StringBuffer(String)

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

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

StringBufferInit_S

public StringBufferInit_S(SymbolicEnvironment env)

Method Detail

executeFunction

public Object executeFunction()

new StringBuffer(String)

Specified by:

executeFunction in class SymbolicFunction

Returns:

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