Interface UniqueEntryExitGraph
-
- All Known Implementing Classes:
UniqueEntryExitControlFlowGraph
,UniqueEntryExitCustomGraph
,UniqueEntryExitInterproceduralControlFlowGraph
public interface UniqueEntryExitGraph
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Edge>
edges()
The set of edges in the graphcom.ensoftcorp.atlas.core.db.graph.Node
getEntryNode()
Returns the master entry nodecom.ensoftcorp.atlas.core.db.graph.Node
getExitNode()
Returns the master exit nodecom.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node>
getPredecessors(com.ensoftcorp.atlas.core.db.graph.Node node)
Returns the predecessors of a given nodecom.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node>
getSuccessors(com.ensoftcorp.atlas.core.db.graph.Node node)
Returns the successors of a given nodecom.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node>
nodes()
The set of nodes in the graph
-
-
-
Method Detail
-
getPredecessors
com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node> getPredecessors(com.ensoftcorp.atlas.core.db.graph.Node node)
Returns the predecessors of a given node
-
getSuccessors
com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node> getSuccessors(com.ensoftcorp.atlas.core.db.graph.Node node)
Returns the successors of a given node
-
getEntryNode
com.ensoftcorp.atlas.core.db.graph.Node getEntryNode()
Returns the master entry node
-
getExitNode
com.ensoftcorp.atlas.core.db.graph.Node getExitNode()
Returns the master exit node
-
nodes
com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Node> nodes()
The set of nodes in the graph- Returns:
-
edges
com.ensoftcorp.atlas.core.db.set.AtlasSet<com.ensoftcorp.atlas.core.db.graph.Edge> edges()
The set of edges in the graph- Returns:
-
-