org.evosuite.symbolic

Class PathCondition

java.lang.Object

org.evosuite.symbolic.PathCondition

public class PathCondition
extends Object

Represents a sequence of branch conditions

Author:

galeotti

Constructor Summary

Constructors

Constructor and Description
PathCondition(List<BranchCondition> branchConditions) Creates a new path condition from a list of branch conditions

Method Summary

Modifier and Type	Method and Description
BranchCondition	get(int index) Returns the branch condition at position index
List<BranchCondition>	getBranchConditions() Returns the list of branch conditions on this path condition
List<Constraint<?>>	getConstraints() Returns the constraints for this path condition
boolean	isEmpty() Returns true if the path condition is empty
PathCondition	negate(int branchConditionIndex) Creates a new path condition by negating the branch condition at index branchConditionIndex
int	size() The length of the path condition in terms of branch conditions

Methods inherited from class java.lang.Object

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

Constructor Detail

PathCondition

public PathCondition(List<BranchCondition> branchConditions)

Creates a new path condition from a list of branch conditions

Parameters:

branchConditions -

Method Detail

getConstraints

public List<Constraint<?>> getConstraints()

Returns the constraints for this path condition

Returns:

negate

public PathCondition negate(int branchConditionIndex)

Creates a new path condition by negating the branch condition at index branchConditionIndex

Parameters:

branchConditionIndex -

Returns:

getBranchConditions

public List<BranchCondition> getBranchConditions()

Returns the list of branch conditions on this path condition

Returns:

isEmpty

public boolean isEmpty()

Returns true if the path condition is empty

Returns:

size

public int size()

The length of the path condition in terms of branch conditions

Returns:

get

public BranchCondition get(int index)

Returns the branch condition at position index

Parameters:

index -

Returns: