Uses of Class
org.evosuite.symbolic.vm.SymbolicEnvironment

Packages that use SymbolicEnvironment

Package	Description
org.evosuite.symbolic
org.evosuite.symbolic.vm
org.evosuite.symbolic.vm.apache.regex
org.evosuite.symbolic.vm.bigint
org.evosuite.symbolic.vm.math
org.evosuite.symbolic.vm.regex
org.evosuite.symbolic.vm.string
org.evosuite.symbolic.vm.string.buffer
org.evosuite.symbolic.vm.string.builder
org.evosuite.symbolic.vm.string.reader
org.evosuite.symbolic.vm.string.tokenizer
org.evosuite.symbolic.vm.wrappers

Uses of SymbolicEnvironment in org.evosuite.symbolic

Constructors in org.evosuite.symbolic with parameters of type SymbolicEnvironment

Constructor and Description
SymbolicObserver(SymbolicEnvironment env)

Uses of SymbolicEnvironment in org.evosuite.symbolic.vm

Fields in org.evosuite.symbolic.vm declared as SymbolicEnvironment

Modifier and Type	Field and Description
protected SymbolicEnvironment	SymbolicFunction.env

Constructors in org.evosuite.symbolic.vm with parameters of type SymbolicEnvironment

Constructor and Description
ArithmeticVM(SymbolicEnvironment env, PathConditionCollector pathConstraint)
CallVM(SymbolicEnvironment env, ConcolicInstrumentingClassLoader classLoader) Constructor
HeapVM(SymbolicEnvironment env, PathConditionCollector pc, ConcolicInstrumentingClassLoader classLoader)
JumpVM(SymbolicEnvironment env, PathConditionCollector pc) Constructor
LocalsVM(SymbolicEnvironment env)
OtherVM(SymbolicEnvironment env)
SymbolicFunction(SymbolicEnvironment env, String owner, String name, String desc)
SymbolicFunctionVM(SymbolicEnvironment env, PathConditionCollector pc)

Uses of SymbolicEnvironment in org.evosuite.symbolic.vm.apache.regex

Constructors in org.evosuite.symbolic.vm.apache.regex with parameters of type SymbolicEnvironment

Constructor and Description
Perl5Matcher_Matches(SymbolicEnvironment env)

Uses of SymbolicEnvironment in org.evosuite.symbolic.vm.bigint

Constructors in org.evosuite.symbolic.vm.bigint with parameters of type SymbolicEnvironment

Constructor and Description
BigInteger_Ctor(SymbolicEnvironment env)
BigInteger_DivideAndRemainder(SymbolicEnvironment env)
BigInteger_IntValue(SymbolicEnvironment env)

Uses of SymbolicEnvironment in org.evosuite.symbolic.vm.math

Constructors in org.evosuite.symbolic.vm.math with parameters of type SymbolicEnvironment

Constructor and Description
ABS_D(SymbolicEnvironment env)
ABS_F(SymbolicEnvironment env)
ABS_I(SymbolicEnvironment env)
ABS_L(SymbolicEnvironment env)
ACOS(SymbolicEnvironment env)
ASIN(SymbolicEnvironment env)
ATAN(SymbolicEnvironment env)
ATAN2(SymbolicEnvironment env)
CBRT(SymbolicEnvironment env)
CEIL(SymbolicEnvironment env)
CopySign_D(SymbolicEnvironment env)
CopySign_F(SymbolicEnvironment env)
COS(SymbolicEnvironment env)
COSH(SymbolicEnvironment env)
EXP(SymbolicEnvironment env)
EXPM1(SymbolicEnvironment env)
FLOOR(SymbolicEnvironment env)
GetExponent_D(SymbolicEnvironment env)
GetExponent_F(SymbolicEnvironment env)
HYPOT(SymbolicEnvironment env)
IEEEremainder(SymbolicEnvironment env)
LOG(SymbolicEnvironment env)
LOG10(SymbolicEnvironment env)
LOG1P(SymbolicEnvironment env)
MAX_D(SymbolicEnvironment env)
MAX_F(SymbolicEnvironment env)
MAX_I(SymbolicEnvironment env)
MAX_L(SymbolicEnvironment env)
MIN_D(SymbolicEnvironment env)
MIN_F(SymbolicEnvironment env)
MIN_I(SymbolicEnvironment env)
MIN_L(SymbolicEnvironment env)
NextAfter_D(SymbolicEnvironment env)
NextAfter_F(SymbolicEnvironment env)
NextUp_D(SymbolicEnvironment env)
NextUp_F(SymbolicEnvironment env)
POW(SymbolicEnvironment env)
RINT(SymbolicEnvironment env)
Round_D(SymbolicEnvironment env)
Round_F(SymbolicEnvironment env)
SCALB_D(SymbolicEnvironment env)
SCALB_F(SymbolicEnvironment env)
SIGNUM_D(SymbolicEnvironment env)
SIGNUM_F(SymbolicEnvironment env)
SIN(SymbolicEnvironment env)
SINH(SymbolicEnvironment env)
SQRT(SymbolicEnvironment env)
TAN(SymbolicEnvironment env)
TANH(SymbolicEnvironment env)
ToDegrees(SymbolicEnvironment env)
ToRadians(SymbolicEnvironment env)
ULP_D(SymbolicEnvironment env)
ULP_F(SymbolicEnvironment env)

Uses of SymbolicEnvironment in org.evosuite.symbolic.vm.regex

Constructors in org.evosuite.symbolic.vm.regex with parameters of type SymbolicEnvironment

Constructor and Description
Matcher_Matches(SymbolicEnvironment env)
Pattern_Matcher(SymbolicEnvironment env)
Pattern_Matches(SymbolicEnvironment env)

Uses of SymbolicEnvironment in org.evosuite.symbolic.vm.string

Constructors in org.evosuite.symbolic.vm.string with parameters of type SymbolicEnvironment

Constructor and Description
CharAt(SymbolicEnvironment env)
CompareTo(SymbolicEnvironment env)
CompareToIgnoreCase(SymbolicEnvironment env)
Concat(SymbolicEnvironment env)
Contains(SymbolicEnvironment env)
EndsWith(SymbolicEnvironment env)
Equals(SymbolicEnvironment env)
EqualsIgnoreCase(SymbolicEnvironment env)
IndexOf_C(SymbolicEnvironment env)
IndexOf_CI(SymbolicEnvironment env)
IndexOf_S(SymbolicEnvironment env)
IndexOf_SI(SymbolicEnvironment env)
IndexOf(SymbolicEnvironment env, String desc)
LastIndexOf_C(SymbolicEnvironment env)
LastIndexOf_CI(SymbolicEnvironment env)
LastIndexOf_S(SymbolicEnvironment env)
LastIndexOf_SI(SymbolicEnvironment env)
LastIndexOf(SymbolicEnvironment env, String desc)
Length(SymbolicEnvironment env)
Matches(SymbolicEnvironment env)
RegionMatches(SymbolicEnvironment env)
RegionMatches5(SymbolicEnvironment env)
Replace_C(SymbolicEnvironment env)
Replace_CS(SymbolicEnvironment env)
Replace(SymbolicEnvironment env, String desc)
ReplaceAll(SymbolicEnvironment env)
ReplaceFirst(SymbolicEnvironment env)
StartsWith_S(SymbolicEnvironment env)
StartsWith_SI(SymbolicEnvironment env)
StartsWith(SymbolicEnvironment env, String desc)
Substring_I(SymbolicEnvironment env)
Substring_II(SymbolicEnvironment env)
Substring(SymbolicEnvironment env, String desc)
ToLowerCase(SymbolicEnvironment env)
ToString(SymbolicEnvironment env)
ToUpperCase(SymbolicEnvironment env)
Trim(SymbolicEnvironment env)
ValueOf_B(SymbolicEnvironment env)
ValueOf_C(SymbolicEnvironment env)
ValueOf_I(SymbolicEnvironment env)
ValueOf_Int(SymbolicEnvironment env, String desc)
ValueOf_J(SymbolicEnvironment env)
ValueOf_O(SymbolicEnvironment env)
ValueOf(SymbolicEnvironment env, String desc)

Uses of SymbolicEnvironment in org.evosuite.symbolic.vm.string.buffer

Constructors in org.evosuite.symbolic.vm.string.buffer with parameters of type SymbolicEnvironment

Constructor and Description
StringBuffer_Append(SymbolicEnvironment env, String desc)
StringBuffer_Init(SymbolicEnvironment env, String desc)
StringBuffer_SetLength(SymbolicEnvironment env)
StringBuffer_ToString(SymbolicEnvironment env)
StringBufferAppend_B(SymbolicEnvironment env)
StringBufferAppend_C(SymbolicEnvironment env)
StringBufferAppend_D(SymbolicEnvironment env)
StringBufferAppend_F(SymbolicEnvironment env)
StringBufferAppend_I(SymbolicEnvironment env)
StringBufferAppend_L(SymbolicEnvironment env)
StringBufferAppend_STR(SymbolicEnvironment env)
StringBufferInit_S(SymbolicEnvironment env)

Uses of SymbolicEnvironment in org.evosuite.symbolic.vm.string.builder

Constructors in org.evosuite.symbolic.vm.string.builder with parameters of type SymbolicEnvironment

Constructor and Description
Append_B(SymbolicEnvironment env)
Append_C(SymbolicEnvironment env)
Append_D(SymbolicEnvironment env)
Append_F(SymbolicEnvironment env)
Append_I(SymbolicEnvironment env)
Append_L(SymbolicEnvironment env)
Append_O(SymbolicEnvironment env)
Append_S(SymbolicEnvironment env)
StringBuilder_Append(SymbolicEnvironment env, String desc)
StringBuilder_Init(SymbolicEnvironment env)
StringBuilder_ToString(SymbolicEnvironment env)

Uses of SymbolicEnvironment in org.evosuite.symbolic.vm.string.reader

Constructors in org.evosuite.symbolic.vm.string.reader with parameters of type SymbolicEnvironment

Constructor and Description
Reader_Read(SymbolicEnvironment env)
StringReader_Init(SymbolicEnvironment env)
StringReader_Read(SymbolicEnvironment env)

Uses of SymbolicEnvironment in org.evosuite.symbolic.vm.string.tokenizer

Constructors in org.evosuite.symbolic.vm.string.tokenizer with parameters of type SymbolicEnvironment

Constructor and Description
HasMoreTokens(SymbolicEnvironment env)
NextToken(SymbolicEnvironment env)
StringTokenizer_Init(SymbolicEnvironment env)

Uses of SymbolicEnvironment in org.evosuite.symbolic.vm.wrappers

Constructors in org.evosuite.symbolic.vm.wrappers with parameters of type SymbolicEnvironment

Constructor and Description
B_ByteValue(SymbolicEnvironment env)
B_Init(SymbolicEnvironment env)
B_ValueOf(SymbolicEnvironment env)
C_CharValue(SymbolicEnvironment env)
C_Init(SymbolicEnvironment env)
C_ValueOf(SymbolicEnvironment env)
Character_getNumericValue(SymbolicEnvironment env)
Character_isDigit(SymbolicEnvironment env)
Character_isLetter(SymbolicEnvironment env)
D_DoubleValue(SymbolicEnvironment env)
D_Init(SymbolicEnvironment env)
D_ValueOf(SymbolicEnvironment env)
F_FloatValue(SymbolicEnvironment env)
F_Init(SymbolicEnvironment env)
F_ValueOf(SymbolicEnvironment env)
I_Init(SymbolicEnvironment env)
I_IntValue(SymbolicEnvironment env)
I_ParseInt(SymbolicEnvironment env)
I_ValueOf(SymbolicEnvironment env)
J_Init(SymbolicEnvironment env)
J_LongValue(SymbolicEnvironment env)
J_ValueOf(SymbolicEnvironment env)
S_Init(SymbolicEnvironment env)
S_ShortValue(SymbolicEnvironment env)
S_ValueOf(SymbolicEnvironment env)
Z_BooleanValue(SymbolicEnvironment env)
Z_Init(SymbolicEnvironment env)
Z_ValueOf(SymbolicEnvironment env)