org.evosuite.coverage.branch

Class Branch

java.lang.Object

org.evosuite.coverage.branch.Branch

All Implemented Interfaces:

Serializable, Comparable<Branch>

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

An object of this class corresponds to a Branch inside the class under test.

Branches are created by the CFGMethodAdapter via the BranchPool. Each Branch holds its corresponding BytecodeInstruction from the RawControlFlowGraph and is associated with a unique actualBranchId.

A Branch can either come from a jump instruction, as defined in BytecodeInstruction.isBranch() - which will be called normal branches - or it can be associated with a case: of a switch statement as defined in BytecodeInstruction.isSwitch() - which will be called switch case branches. Only BytecodeInstructions satisfying BytecodeInstruction.isActualbranch() are expected to be associated with a Branch object.

For SWITCH statements each case : block corresponds to a Branch that can be created by constructing a Branch with the SWITCH statement and the as the targetCaseValue. The default: case of switch statement can also be modeled this way - it has the targetCaseValue set to null.

Author:

Andre Mis

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Branch(BytecodeInstruction branchInstruction, int actualBranchId) Constructor for usual jump instruction Branches, that are not SWITCH instructions.
Branch(BytecodeInstruction switchInstruction, Integer targetCaseValue, org.objectweb.asm.tree.LabelNode targetLabel, int actualBranchId) Constructor for switch case branches

Method Summary

Modifier and Type	Method and Description
int	compareTo(Branch other)
boolean	equals(Object obj)
int	getActualBranchId() Getter for the field actualBranchId.
String	getClassName() getClassName
BytecodeInstruction	getInstruction() Getter for the field instruction.
String	getMethodName() getMethodName
Integer	getTargetCaseValue() Getter for the field targetCaseValue.
int	hashCode()
boolean	isActualCase() isActualCase
boolean	isDefaultCase() isDefaultCase
boolean	isInstrumented() isInstrumented
boolean	isSwitchCaseBranch() isSwitchCaseBranch
void	setInstrumented(boolean isInstrumented) setInstrumented
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Branch

public Branch(BytecodeInstruction branchInstruction,
              int actualBranchId)

Constructor for usual jump instruction Branches, that are not SWITCH instructions.

Parameters:

branchInstruction - a BytecodeInstruction object.

actualBranchId - a int.

Branch

public Branch(BytecodeInstruction switchInstruction,
              Integer targetCaseValue,
              org.objectweb.asm.tree.LabelNode targetLabel,
              int actualBranchId)

Constructor for switch case branches

Parameters:

switchInstruction - a BytecodeInstruction object.

targetCaseValue - a Integer object.

targetLabel - a LabelNode object.

actualBranchId - a int.

Method Detail

getActualBranchId

public int getActualBranchId()

Getter for the field actualBranchId.

Returns:

a int.

isDefaultCase

public boolean isDefaultCase()

isDefaultCase

Returns:

a boolean.

isActualCase

public boolean isActualCase()

isActualCase

Returns:

a boolean.

getTargetCaseValue

public Integer getTargetCaseValue()

Getter for the field targetCaseValue.

Returns:

a Integer object.

getInstruction

public BytecodeInstruction getInstruction()

Getter for the field instruction.

Returns:

a BytecodeInstruction object.

getClassName

public String getClassName()

getClassName

Returns:

a String object.

getMethodName

public String getMethodName()

getMethodName

Returns:

a String object.

isSwitchCaseBranch

public boolean isSwitchCaseBranch()

isSwitchCaseBranch

Returns:

a boolean.

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

compareTo

public int compareTo(Branch other)

Specified by:

compareTo in interface Comparable<Branch>

toString

public String toString()

Overrides:

toString in class Object

isInstrumented

public boolean isInstrumented()

isInstrumented

Returns:

a boolean.

setInstrumented

public void setInstrumented(boolean isInstrumented)

setInstrumented

Parameters:

isInstrumented - a boolean.