org.evosuite.graphs.cfg

Class ControlFlowGraph<V>

java.lang.Object

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

org.evosuite.graphs.cfg.ControlFlowGraph<V>

Direct Known Subclasses:

ActualControlFlowGraph, RawControlFlowGraph

public abstract class ControlFlowGraph<V>
extends EvoSuiteGraph<V,ControlFlowEdge>

Abstract base class for both forms of CFGs inside EvoSuite One implementation of this is cfg.RawControlFlowGraph, which is also known as the complete CFG The other implementation of this is cfg.ActualControlFlowGraph which is also known as the minimal CFG Look at the respective classes for more detailed information The CFGs can be accessed via the GraphPool which holds for each CUT and each of their methods a complete and a minimal CFG CFGs are created by the CFGGenerator during the analysis of the CUTs' byteCode performed by the BytecodeAnalyzer

Author:

Gordon Fraser, Andre Mis

Field Summary

Fields

Modifier and Type	Field and Description
protected int	access
protected String	className
protected String	methodName

Fields inherited from class org.evosuite.graphs.EvoSuiteGraph

edgeClass, graph, graphId

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ControlFlowGraph(String className, String methodName, int access) Creates a fresh and empty CFG for the given class and method
protected	ControlFlowGraph(String className, String methodName, int access, org.jgrapht.graph.DefaultDirectedGraph<V,ControlFlowEdge> jGraph) Creates a CFG determined by the given jGraph for the given class and method

Method Summary

Modifier and Type	Method and Description
protected void	computeDiameter() computeDiameter
abstract boolean	containsInstruction(BytecodeInstruction instruction) Determines, whether a given instruction is contained in this CFG
V	determineEntryPoint() determineEntryPoint
protected String	dotSubFolder() Subclasses can overwrite this method in order to separate their .dot and .png export to a special folder.
void	finalise() Computes the diameter of this CFG and the mutation distances Since both takes some time this is not automatically done on each CFG GraphPool will automatically call this immediately after the instantiation of an ActualControlFlowGraph, but not after the creation of a RawControlFlowGraph
abstract String	getCFGType() getCFGType
String	getClassName() Getter for the field className.
int	getCyclomaticComplexity()
int	getDiameter() Returns the Diameter of this CFG If the diameter of this graph was not computed previously it is computed first
abstract BytecodeInstruction	getInstruction(int instructionId) Can be used to retrieve an instruction contained in this CFG identified by it's instructionId If no such instruction exists in this CFG, null is returned
int	getMethodAccess() getMethodAccess
String	getMethodName() Getter for the field methodName.
String	getName() getName
boolean	isPublicMethod() isPublicMethod
boolean	isStaticMethod() isStaticMethod
boolean	leadsToNode(ControlFlowEdge e, V b) leadsToNode

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

Field Detail

className

protected String className

methodName

protected String methodName

access

protected int access

Constructor Detail

ControlFlowGraph

protected ControlFlowGraph(String className,
                           String methodName,
                           int access)

Creates a fresh and empty CFG for the given class and method

Parameters:

className - a String object.

methodName - a String object.

access - a int.

ControlFlowGraph

protected ControlFlowGraph(String className,
                           String methodName,
                           int access,
                           org.jgrapht.graph.DefaultDirectedGraph<V,ControlFlowEdge> jGraph)

Creates a CFG determined by the given jGraph for the given class and method

Parameters:

className - a String object.

methodName - a String object.

access - a int.

jGraph - a DefaultDirectedGraph object.

Method Detail

leadsToNode

public boolean leadsToNode(ControlFlowEdge e,
                           V b)

leadsToNode

Parameters:

e - a ControlFlowEdge object.

b - a V object.

Returns:

a boolean.

getInstruction

public abstract BytecodeInstruction getInstruction(int instructionId)

Can be used to retrieve an instruction contained in this CFG identified by it's instructionId If no such instruction exists in this CFG, null is returned

Parameters:

instructionId - a int.

Returns:

a BytecodeInstruction object.

containsInstruction

public abstract boolean containsInstruction(BytecodeInstruction instruction)

Determines, whether a given instruction is contained in this CFG

Parameters:

instruction - a BytecodeInstruction object.

Returns:

a boolean.

finalise

public void finalise()

Computes the diameter of this CFG and the mutation distances Since both takes some time this is not automatically done on each CFG GraphPool will automatically call this immediately after the instantiation of an ActualControlFlowGraph, but not after the creation of a RawControlFlowGraph

getDiameter

public int getDiameter()

Returns the Diameter of this CFG If the diameter of this graph was not computed previously it is computed first

Returns:

a int.

getCyclomaticComplexity

public int getCyclomaticComplexity()

computeDiameter

protected void computeDiameter()

computeDiameter

determineEntryPoint

public V determineEntryPoint()

determineEntryPoint

Returns:

a V 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.

getMethodAccess

public int getMethodAccess()

getMethodAccess

Returns:

a int.

isPublicMethod

public boolean isPublicMethod()

isPublicMethod

Returns:

a boolean.

isStaticMethod

public boolean isStaticMethod()

isStaticMethod

Returns:

a boolean.

getName

public String getName()

getName

Overrides:

getName in class EvoSuiteGraph<V,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<V,ControlFlowEdge>

Returns:

a String object.

getCFGType

public abstract String getCFGType()

getCFGType

Returns:

a String object.