org.evosuite.symbolic

Class BranchCondition

java.lang.Object

org.evosuite.symbolic.BranchCondition

public class BranchCondition
extends Object

BranchCondition class.

Author:

Gordon Fraser

Constructor Summary

Constructors

Constructor and Description
BranchCondition(String className, String methodName, int branchIndex, Constraint<?> constraint, List<Constraint<?>> supportingConstraints) A branch condition is identified by the className, methodName and branchIndex belonging to the class in the SUT, the target constraint and all the suporting constraint for that particular branch (zero checks, etc)

Method Summary

Modifier and Type	Method and Description
int	getBranchIndex()
String	getClassName()
Constraint<?>	getConstraint() Returns the constraint for actual branch.
String	getFullName()
int	getInstructionIndex()
String	getMethodName()
List<Constraint<?>>	getSupportingConstraints() Returns a list of implicit constraints (nullity checks, zero division, index within bounds, negative size array length, etc.) collected before the current branch condtion and after the last symbolic branch condition
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

BranchCondition

public BranchCondition(String className,
                       String methodName,
                       int branchIndex,
                       Constraint<?> constraint,
                       List<Constraint<?>> supportingConstraints)

A branch condition is identified by the className, methodName and branchIndex belonging to the class in the SUT, the target constraint and all the suporting constraint for that particular branch (zero checks, etc)

Parameters:

constraint - TODO

supportingConstraints - a Set object.

reachingConstraints - a Set object.

ins - a gov.nasa.jpf.jvm.bytecode.Instruction object.

Method Detail

toString

public String toString()

Overrides:

toString in class Object

getClassName

public String getClassName()

getInstructionIndex

public int getInstructionIndex()

getFullName

public String getFullName()

getConstraint

public Constraint<?> getConstraint()

Returns the constraint for actual branch. This constraint has to be negated to take another path.

Returns:

getSupportingConstraints

public List<Constraint<?>> getSupportingConstraints()

Returns a list of implicit constraints (nullity checks, zero division, index within bounds, negative size array length, etc.) collected before the current branch condtion and after the last symbolic branch condition

Returns:

getMethodName

public String getMethodName()

getBranchIndex

public int getBranchIndex()