org.evosuite.coverage.branch

Class BranchCoverageGoal

java.lang.Object

org.evosuite.coverage.branch.BranchCoverageGoal

All Implemented Interfaces:

Serializable, Comparable<BranchCoverageGoal>

public class BranchCoverageGoal
extends Object
implements Serializable, Comparable<BranchCoverageGoal>

A single branch coverage goal Either true/false evaluation of a jump condition, or a method entry

Author:

Gordon Fraser, Andre Mis

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
BranchCoverageGoal(Branch branch, boolean value, String className, String methodName) Can be used to create an arbitrary BranchCoverageGoal trying to cover the given Branch
BranchCoverageGoal(Branch branch, boolean value, String className, String methodName, int lineNumber) Constructor accepting line number as parameter.
BranchCoverageGoal(ControlDependency cd, String className, String methodName) Constructor for BranchCoverageGoal.
BranchCoverageGoal(String className, String methodName) Methods that have no branches don't need a cfg, so we just set the cfg to null

Method Summary

Modifier and Type	Method and Description
int	compareTo(BranchCoverageGoal o)
boolean	equals(Object obj)
Branch	getBranch()
String	getClassName()
ControlFlowDistance	getDistance(ExecutionResult result) getDistance
int	getId()
int	getLineNumber()
String	getMethodName()
boolean	getValue()
int	hashCode()
int	hashCodeWithoutValue()
boolean	isConnectedTo(BranchCoverageGoal goal) Determines whether this goals is connected to the given goal This is the case when this goals target branch is control dependent on the target branch of the given goal or visa versa This is used in the ChromosomeRecycler to determine if tests produced to cover one goal should be used initially when trying to cover the other goal
String	toString() Readable representation

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

BranchCoverageGoal

public BranchCoverageGoal(Branch branch,
                          boolean value,
                          String className,
                          String methodName)

Can be used to create an arbitrary BranchCoverageGoal trying to cover the given Branch

If the given branch is null, this goal will try to cover the root branch of the method identified by the given name - meaning it will just try to call the method at hand

Otherwise this goal will try to reach the given branch and if value is true, make the branchInstruction jump and visa versa

Parameters:

branch - a Branch object.

value - a boolean.

className - a String object.

methodName - a String object.

BranchCoverageGoal

public BranchCoverageGoal(Branch branch,
                          boolean value,
                          String className,
                          String methodName,
                          int lineNumber)

Constructor accepting line number as parameter.

Parameters:

branch - a Branch object.

value - a boolean.

className - a String object.

methodName - a String object.

lineNumber - an integer.

BranchCoverageGoal

public BranchCoverageGoal(ControlDependency cd,
                          String className,
                          String methodName)

Constructor for BranchCoverageGoal.

Parameters:

cd - a ControlDependency object.

className - a String object.

methodName - a String object.

BranchCoverageGoal

public BranchCoverageGoal(String className,
                          String methodName)

Methods that have no branches don't need a cfg, so we just set the cfg to null

Parameters:

className - a String object.

methodName - a String object.

Method Detail

getId

public int getId()

getBranch

public Branch getBranch()

Returns:

the branch

getValue

public boolean getValue()

Returns:

the value

getClassName

public String getClassName()

Returns:

the className

getMethodName

public String getMethodName()

Returns:

the methodName

getLineNumber

public int getLineNumber()

Returns:

the lineNumber

isConnectedTo

public boolean isConnectedTo(BranchCoverageGoal goal)

Determines whether this goals is connected to the given goal This is the case when this goals target branch is control dependent on the target branch of the given goal or visa versa This is used in the ChromosomeRecycler to determine if tests produced to cover one goal should be used initially when trying to cover the other goal

Parameters:

goal - a BranchCoverageGoal object.

Returns:

a boolean.

getDistance

public ControlFlowDistance getDistance(ExecutionResult result)

getDistance

Parameters:

result - a ExecutionResult object.

Returns:

a ControlFlowDistance object.

hashCodeWithoutValue

public int hashCodeWithoutValue()

Returns:

toString

public String toString()

Readable representation

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

compareTo

public int compareTo(BranchCoverageGoal o)

Specified by:

compareTo in interface Comparable<BranchCoverageGoal>