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.NodegetEntryNode()Returns the master entry nodecom.ensoftcorp.atlas.core.db.graph.NodegetExitNode()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:
-
-