Uses of Class
org.jtool.jxplatform.graph.GraphElementSet

Packages that use GraphElementSet

org.jtool.jxplatform.graph	Application programming interfaces for manipulating graphs created from source code.
org.jtool.jxplatform.graph.cfg	Application programming interfaces for manipulating control flow graphs (CFGs) created from source code.
org.jtool.jxplatform.graph.pdg	Application programming interfaces for manipulating program dependence graphs (PDGs) created from source code.

Uses of GraphElementSet in org.jtool.jxplatform.graph

Fields in org.jtool.jxplatform.graph declared as GraphElementSet

protected GraphElementSet	Graph.nodes Nodes of this graph.
protected GraphElementSet	Graph.edges Edges of this graph.

Methods in org.jtool.jxplatform.graph that return GraphElementSet

GraphElementSet	GraphElementSet.union(GraphElementSet set) Obtains a union set of this set and a given set.
GraphElementSet	GraphElementSet.intersection(GraphElementSet set) Obtains an intersection set of this set and a given set.
GraphElementSet	GraphElementSet.difference(GraphElementSet set) Obtains a difference set of this set and a given set.
GraphElementSet	GraphNode.getIncomingEdges() Returns edges incoming to this node.
GraphElementSet	GraphNode.getOutgoingEdges() Returns edges outgoing from this node.
GraphElementSet	GraphNode.getSrcNodes() Returns source nodes of this node.
GraphElementSet	GraphNode.getDstNodes() Returns destination nodes of this node.
GraphElementSet	Graph.getNodes() Returns all nodes of this graph.
GraphElementSet	Graph.getEdges() Returns all edges of this graph.

Methods in org.jtool.jxplatform.graph with parameters of type GraphElementSet

boolean	GraphElementSet.equals(GraphElementSet set) Tests if this set is equals to a given set.
GraphElementSet	GraphElementSet.union(GraphElementSet set) Obtains a union set of this set and a given set.
GraphElementSet	GraphElementSet.intersection(GraphElementSet set) Obtains an intersection set of this set and a given set.
GraphElementSet	GraphElementSet.difference(GraphElementSet set) Obtains a difference set of this set and a given set.
boolean	GraphElementSet.subset(GraphElementSet set) Tests if this set is a subset of a given set.
boolean	GraphElementSet.subsetEqual(GraphElementSet set) Tests if this set is a subset of a given set or this set equals to the given set.
void	GraphNode.addIncomingEdges(GraphElementSet edges) Adds an edges incoming to this node.
void	GraphNode.setIncomingEdges(GraphElementSet edges) Sets edges incoming to this node.
void	GraphNode.setOutgoingEdges(GraphElementSet edges) Sets edges outgoing from this node.
void	Graph.setNodes(GraphElementSet set) Sets nodes of this graph.
void	Graph.setEdges(GraphElementSet set) Sets edges of this graph.

Constructors in org.jtool.jxplatform.graph with parameters of type GraphElementSet

GraphElementSet(GraphElementSet set)
Creates a new set from a set of GraphElement elements.

Uses of GraphElementSet in org.jtool.jxplatform.graph.cfg

Methods in org.jtool.jxplatform.graph.cfg that return GraphElementSet

GraphElementSet	GetReachableNodes.getForwardReachableNode() Returns the collection of nodes passed forward on a CFG.
GraphElementSet	GetReachableNodes.getBackwardReachableNode() Returns the collection of nodes passed backward on a CFG.
GraphElementSet	CFGNode.getPredecessors() Returns predecessors of this node.
GraphElementSet	CFGNode.getSuccessors() Returns successors of this node.
GraphElementSet	CFG.getForwardReachableNodes(CFGNode fromNode, CFGNode toNode) Calculates and returns the nodes passed forward between two nodes CFG.
GraphElementSet	CFG.getForwardReachableNodesWithoutLoopback(CFGNode fromNode, CFGNode toNode) Calculates and returns the nodes passed forward between two CFG nodes not traversing loopback edges.
GraphElementSet	CFG.getBackwardReachableNodes(CFGNode fromNode, CFGNode toNode) Calculates and returns the nodes passed backward between two CFG nodes.
GraphElementSet	CFG.getBackwardReachableNodesWithoutLoopback(CFGNode fromNode, CFGNode toNode) Calculates and returns the nodes passed backward between two CFG nodes not traversing loopback edges.
GraphElementSet	CFG.getSrcNodes(CFGNode dst) Returns source nodes of the edges the destination of which is a given node.
GraphElementSet	CFG.getDstNodes(CFGNode src) Returns destination nodes of the edges the source of which is a given node.

Uses of GraphElementSet in org.jtool.jxplatform.graph.pdg

Methods in org.jtool.jxplatform.graph.pdg that return GraphElementSet

GraphElementSet

PDGNode.getIncomingCDEdges() Returns control dependence edges incoming to this node.