Package com.ensoftcorp.open.slice.analysis

Class DependenceGraph

java.lang.Object

com.ensoftcorp.open.slice.analysis.DependenceGraph

Direct Known Subclasses:

ControlDependenceGraph, DataDependenceGraph, FOWControlDependenceGraph, ProgramDependenceGraph, SystemDependenceGraph

public abstract class DependenceGraph
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	DependenceGraph.Factory
static class	DependenceGraph.SliceDirection

Constructor Summary

Constructors

Constructor	Description
DependenceGraph()

Method Summary

Modifier and Type	Method	Description
abstract com.ensoftcorp.atlas.core.query.Q	getGraph()
com.ensoftcorp.atlas.core.query.Q	getSlice(DependenceGraph.SliceDirection direction, com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node> criteria)
static com.ensoftcorp.atlas.core.db.graph.Node	getStatement(com.ensoftcorp.atlas.core.db.graph.Node dataFlowNode)	Returns the control flow node for the corresponding data flow node
static com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node>	getStatements(com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node> criteria)	Returns the control flow nodes given a mixed set of control and data flow nodes If a node is a data flow node, its parent control flow node is returned

Methods inherited from class java.lang.Object

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

Constructor Detail

DependenceGraph

public DependenceGraph()

Method Detail

getGraph

public abstract com.ensoftcorp.atlas.core.query.Q getGraph()

getSlice

public com.ensoftcorp.atlas.core.query.Q getSlice(DependenceGraph.SliceDirection direction,
                                                  com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node> criteria)

getStatements

public static com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node> getStatements(com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node> criteria)

Returns the control flow nodes given a mixed set of control and data flow nodes If a node is a data flow node, its parent control flow node is returned

Parameters:

criteria -

Returns:

getStatement

public static com.ensoftcorp.atlas.core.db.graph.Node getStatement(com.ensoftcorp.atlas.core.db.graph.Node dataFlowNode)

Returns the control flow node for the corresponding data flow node