Uses of Class
org.evosuite.symbolic.expr.IntegerConstraint

Packages that use IntegerConstraint

Package	Description
org.evosuite.symbolic.expr
org.evosuite.symbolic.vm
org.evosuite.symbolic.vm.string.buffer
org.evosuite.symbolic.vm.string.builder
org.evosuite.symbolic.vm.wrappers

Uses of IntegerConstraint in org.evosuite.symbolic.expr

Methods in org.evosuite.symbolic.expr with parameters of type IntegerConstraint

Modifier and Type	Method and Description
K	ConstraintVisitor.visit(IntegerConstraint n, V arg)
Object	DistanceCalculator.visit(IntegerConstraint n, Void arg)

Uses of IntegerConstraint in org.evosuite.symbolic.vm

Methods in org.evosuite.symbolic.vm that return IntegerConstraint

Modifier and Type	Method and Description
IntegerConstraint	SymbolicFunction.beforeExecuteFunction() This callback-method is invoked by the VM before the actual execution of the method.
static IntegerConstraint	ConstraintFactory.eq(IntegerValue left, IntegerValue right)
static IntegerConstraint	ConstraintFactory.gte(IntegerValue left, IntegerValue right)
static IntegerConstraint	ConstraintFactory.lt(IntegerValue left, IntegerValue right)
static IntegerConstraint	ConstraintFactory.neq(IntegerValue left, IntegerValue right)

Methods in org.evosuite.symbolic.vm with parameters of type IntegerConstraint

Modifier and Type	Method and Description
void	PathConditionCollector.addBranchCondition(String className, String methName, int branchIndex, IntegerConstraint c) Add a new constraint to a branch condition
void	PathConditionCollector.addSupportingConstraint(IntegerConstraint c) Add a supporting constraint to the current branch condition When the branch condition is currently added, then these supporting constraints will be added to the new branch condition
static Constraint<?>	ConstraintNormalizer.normalize(IntegerConstraint c) Transforms an IntegerConstraint into a corresponding StringConstraint, RealConstraint or IntegerConstraint.

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

Methods in org.evosuite.symbolic.vm.string.buffer that return IntegerConstraint

Modifier and Type	Method and Description
IntegerConstraint	StringBuffer_SetLength.beforeExecuteFunction()
IntegerConstraint	StringBuffer_Append.beforeExecuteFunction()

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

Methods in org.evosuite.symbolic.vm.string.builder that return IntegerConstraint

Modifier and Type	Method and Description
IntegerConstraint	StringBuilder_Append.beforeExecuteFunction()

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

Methods in org.evosuite.symbolic.vm.wrappers that return IntegerConstraint

Modifier and Type	Method and Description
IntegerConstraint	I_ParseInt.beforeExecuteFunction()