Package org.jtool.pdg

Class CD

java.lang.Object

org.jtool.graph.GraphElement

org.jtool.graph.GraphEdge

org.jtool.pdg.Dependence

org.jtool.pdg.CD

All Implemented Interfaces:

DependencyGraphEdge

public class CD
extends Dependence

An edge represents control dependence (CD) between PDG nodes.

Nested Class Summary

Nested classes/interfaces inherited from interface org.jtool.pdg.DependencyGraphEdge

DependencyGraphEdge.Kind

Field Summary

Fields inherited from class org.jtool.pdg.Dependence

kind

Fields inherited from class org.jtool.graph.GraphEdge

dst, src

Constructor Summary

Constructors

Constructor	Description
CD(PDGNode src, PDGNode dst)	Creates a new object that represents a control dependence.

Method Summary

Modifier and Type	Method	Description
void	setDeclaration()	Sets as a declaration edge.
void	setExceptionCatch()	Sets as an exception catch edge.
void	setFallThrough()	Sets as a fall-through control dependence.
void	setFalse()	Sets as a false control dependence.
void	setTrue()	Sets as a true control dependence.
String	toString()	Obtains information on this edge.

Methods inherited from class org.jtool.pdg.Dependence

equals, equals, getDstId, getDstNode, getKind, getSrcId, getSrcNode, hashCode, isDependence, setKind, sortEdges

Methods inherited from class org.jtool.graph.GraphEdge

equals, equals, setDstNode, setSrcNode, sortGrapgEdge

Methods inherited from class org.jtool.graph.GraphElement

difference, equals, getIdString, intersection, subset, subsetEqual, union

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.jtool.pdg.DependencyGraphEdge

getVariable, isCall, isCD, isClassMember, isDD, isDeclaration, isDefOrder, isDefUse, isExceptionCatch, isFallThrough, isFalse, isFieldAccess, isInterPDGEdge, isLCDD, isLIDD, isOutput, isParameterIn, isParameterOut, isSummary, isTrue, isUncoveredFieldAccess

Constructor Details

CD

public CD(PDGNode src,
 PDGNode dst)

Creates a new object that represents a control dependence.

Parameters:

src - the source node

dst - destination node

Method Details

setTrue

public void setTrue()

Sets as a true control dependence.

setFalse

public void setFalse()

Sets as a false control dependence.

setFallThrough

public void setFallThrough()

Sets as a fall-through control dependence.

setDeclaration

public void setDeclaration()

Sets as a declaration edge.

setExceptionCatch

public void setExceptionCatch()

Sets as an exception catch edge.

toString

public String toString()

Obtains information on this edge.

Overrides:

toString in class Dependence

Returns:

the string representing the information