org.evosuite.graphs.cdg

Class ControlDependenceGraph

java.lang.Object

org.evosuite.graphs.EvoSuiteGraph<BasicBlock,ControlFlowEdge>

org.evosuite.graphs.cdg.ControlDependenceGraph

public class ControlDependenceGraph
extends EvoSuiteGraph<BasicBlock,ControlFlowEdge>

Field Summary

Fields inherited from class org.evosuite.graphs.EvoSuiteGraph

edgeClass, graph, graphId

Constructor Summary

Constructors

Constructor and Description
ControlDependenceGraph(ActualControlFlowGraph cfg) Constructor for ControlDependenceGraph.

Method Summary

Modifier and Type	Method and Description
protected String	dotSubFolder() Subclasses can overwrite this method in order to separate their .dot and .png export to a special folder.
Set<BasicBlock>	getAlternativeBlocks(ControlDependency dependency) getAlternativeBlocks
String	getClassName() Getter for the field className.
int	getControlDependenceDepth(ControlDependency dependence) getControlDependenceDepth
Set<ControlDependency>	getControlDependentBranches(BasicBlock insBlock) Returns a Set containing all Branches the given BasicBlock is control dependent on.
Set<Integer>	getControlDependentBranchIds(BasicBlock ins) getControlDependentBranchIds
String	getMethodName() Getter for the field methodName.
String	getName() getName
boolean	isAdjacentToEntryBlock(BasicBlock insBlock) Returns true if the given BasicBlock has an incoming edge from this CDG's EntryBlock or is itself the EntryBlock
boolean	isDirectlyControlDependentOn(BasicBlock insBlock, Branch b) Determines whether the given BasicBlock is directly control dependent on the given Branch.
boolean	isDirectlyControlDependentOn(BytecodeInstruction ins, Branch b) Determines whether the given BytecodeInstruction is directly control dependent on the given Branch.
boolean	isRootDependent(BasicBlock insBlock) Checks whether the given basicBlock is dependent on the root branch of it's method This is the case if the BasicBlock of the given instruction is directly adjacent to the EntryBlock
boolean	isRootDependent(BytecodeInstruction ins) Checks whether the given instruction is dependent on the root branch of it's method This is the case if the BasicBlock of the given instruction is directly adjacent to the EntryBlock
boolean	knowsInstruction(BytecodeInstruction ins) Checks whether this graph knows the given instruction.

Methods inherited from class org.evosuite.graphs.EvoSuiteGraph

addEdge, addEdge, addVertex, addVertices, addVertices, computeReverseJGraph, containsEdge, containsEdge, containsVertex, determineBranches, determineConnectedVertices, determineEntryPoints, determineExitPoints, determineJoins, edgeCount, edgeSet, getChildren, getDistance, getEdge, getEdgeSource, getEdgeTarget, getIsolatedNodes, getNodesWithoutChildren, getParents, getRandomVertex, getSingleChild, hasNPartentsMChildren, incomingEdgesOf, inDegreeOf, isConnected, isDirectSuccessor, isEmpty, outDegreeOf, outgoingEdgesOf, redirectEdges, redirectEdgeSource, redirectEdgeTarget, redirectIncomingEdges, redirectOutgoingEdges, registerEdgeAttributeProvider, registerVertexAttributeProvider, toDot, toFileString, vertexCount, vertexSet

Methods inherited from class java.lang.Object

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

Constructor Detail

ControlDependenceGraph

public ControlDependenceGraph(ActualControlFlowGraph cfg)

Constructor for ControlDependenceGraph.

Parameters:

cfg - a ActualControlFlowGraph object.

Method Detail

knowsInstruction

public boolean knowsInstruction(BytecodeInstruction ins)

Checks whether this graph knows the given instruction. That is there is a BasicBlock in this graph's vertexSet containing the given instruction.

Parameters:

ins - a BytecodeInstruction object.

Returns:

a boolean.

getControlDependenceDepth

public int getControlDependenceDepth(ControlDependency dependence)

getControlDependenceDepth

Parameters:

dependence - a ControlDependency object.

Returns:

a int.

getAlternativeBlocks

public Set<BasicBlock> getAlternativeBlocks(ControlDependency dependency)

getAlternativeBlocks

Parameters:

dependency - a ControlDependency object.

Returns:

a Set object.

getControlDependentBranches

public Set<ControlDependency> getControlDependentBranches(BasicBlock insBlock)

Returns a Set containing all Branches the given BasicBlock is control dependent on. This is for each incoming ControlFlowEdge of the given block within this CDG, the branch instruction of that edge will be added to the returned set.

Parameters:

insBlock - a BasicBlock object.

Returns:

a Set object.

getControlDependentBranchIds

public Set<Integer> getControlDependentBranchIds(BasicBlock ins)

getControlDependentBranchIds

Parameters:

ins - a BasicBlock object.

Returns:

a Set object.

isDirectlyControlDependentOn

public boolean isDirectlyControlDependentOn(BytecodeInstruction ins,
                                            Branch b)

Determines whether the given BytecodeInstruction is directly control dependent on the given Branch. It's BasicBlock is control dependent on the given Branch. If b is null, it is assumed to be the root branch. If the given instruction is not known to this CDG an IllegalArgumentException is thrown.

Parameters:

ins - a BytecodeInstruction object.

b - a Branch object.

Returns:

a boolean.

isDirectlyControlDependentOn

public boolean isDirectlyControlDependentOn(BasicBlock insBlock,
                                            Branch b)

Determines whether the given BasicBlock is directly control dependent on the given Branch. Meaning within this CDG there is an incoming ControlFlowEdge to this instructions BasicBlock holding the given Branch as it's branchInstruction. If b is null, it is assumed to be the root branch. If the given instruction is not known to this CDG an IllegalArgumentException is thrown.

Parameters:

insBlock - a BasicBlock object.

b - a Branch object.

Returns:

a boolean.

isRootDependent

public boolean isRootDependent(BytecodeInstruction ins)

Checks whether the given instruction is dependent on the root branch of it's method This is the case if the BasicBlock of the given instruction is directly adjacent to the EntryBlock

Parameters:

ins - a BytecodeInstruction object.

Returns:

a boolean.

isRootDependent

public boolean isRootDependent(BasicBlock insBlock)

Checks whether the given basicBlock is dependent on the root branch of it's method This is the case if the BasicBlock of the given instruction is directly adjacent to the EntryBlock

Parameters:

insBlock - a BasicBlock object.

Returns:

a boolean.

isAdjacentToEntryBlock

public boolean isAdjacentToEntryBlock(BasicBlock insBlock)

Returns true if the given BasicBlock has an incoming edge from this CDG's EntryBlock or is itself the EntryBlock

Parameters:

insBlock - a BasicBlock object.

Returns:

a boolean.

getName

public String getName()

getName

Overrides:

getName in class EvoSuiteGraph<BasicBlock,ControlFlowEdge>

Returns:

a String object.

dotSubFolder

protected String dotSubFolder()

Subclasses can overwrite this method in order to separate their .dot and .png export to a special folder.

Overrides:

dotSubFolder in class EvoSuiteGraph<BasicBlock,ControlFlowEdge>

Returns:

a String object.

getClassName

public String getClassName()

Getter for the field className.

Returns:

a String object.

getMethodName

public String getMethodName()

Getter for the field methodName.

Returns:

a String object.