org.evosuite.symbolic.vm

Class PathConditionCollector

java.lang.Object

org.evosuite.symbolic.vm.PathConditionCollector

public final class PathConditionCollector
extends Object

Collects a path condition during concolic execution

Author:

galeotti

Constructor Summary

Constructors

Constructor and Description
PathConditionCollector()

Method Summary

Modifier and Type	Method and Description
void	addBranchCondition(String className, String methName, int branchIndex, IntegerConstraint c) Add a new constraint to a branch condition
void	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
List<BranchCondition>	getPathCondition() Returns the collected list of branch conditions during concolic execution

Methods inherited from class java.lang.Object

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

Constructor Detail

PathConditionCollector

public PathConditionCollector()

Method Detail

addSupportingConstraint

public void 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

Parameters:

c -

addBranchCondition

public void addBranchCondition(String className,
                               String methName,
                               int branchIndex,
                               IntegerConstraint c)

Add a new constraint to a branch condition

Parameters:

className - the class name where the branch is

methName - the method where the branch is

branchIndex - the branch index

c - the constraint for the branch condition

getPathCondition

public List<BranchCondition> getPathCondition()

Returns the collected list of branch conditions during concolic execution

Returns: