org.evosuite.symbolic.vm.string.builder

Class StringBuilder_Append.Append_F

java.lang.Object

org.evosuite.symbolic.vm.SymbolicFunction

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

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

Enclosing class:

StringBuilder_Append

public static final class StringBuilder_Append.Append_F
extends StringBuilder_Append

Nested Class Summary

Nested classes/interfaces inherited from class org.evosuite.symbolic.vm.string.builder.StringBuilder_Append

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

Field Summary

Fields inherited from class org.evosuite.symbolic.vm.string.builder.StringBuilder_Append

conc_str_builder_to_string_pre, NULL_STRING

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

env

Constructor Summary

Constructors

Constructor and Description
Append_F(SymbolicEnvironment env)

Method Summary

Modifier and Type	Method and Description
protected StringValue	appendExpression(StringValue leftExpr, StringBuilder res)

Methods inherited from class org.evosuite.symbolic.vm.string.builder.StringBuilder_Append

beforeExecuteFunction, executeFunction

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

Append_F

public Append_F(SymbolicEnvironment env)

Method Detail

appendExpression

protected StringValue appendExpression(StringValue leftExpr,
                                       StringBuilder res)

Specified by:

appendExpression in class StringBuilder_Append