Package pascal.taie.analysis.graph.flowgraph

Class ObjectFlowGraph

java.lang.Object

pascal.taie.analysis.graph.flowgraph.NodeManager

pascal.taie.analysis.graph.flowgraph.ObjectFlowGraph

All Implemented Interfaces:

Serializable, Iterable<Node>, Graph<Node>, Indexer<Node>

public class ObjectFlowGraph
extends NodeManager
implements Graph<Node>, Indexer<Node>

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
ObjectFlowGraph(PointerFlowGraph pfg, CallGraph<Invoke,JMethod> callGraph)

Method Summary

Modifier and Type	Method	Description
Set<FlowEdge>	getInEdgesOf(Node node)
Set<FlowEdge>	getOutEdgesOf(Node node)
Set<Node>	getPredsOf(Node node)
Set<Node>	getSuccsOf(Node node)

Methods inherited from class pascal.taie.analysis.graph.flowgraph.NodeManager

getArrayIndexNode, getIndex, getInstanceFieldNode, getNodes, getObject, getOrCreateArrayIndexNode, getOrCreateInstanceFieldNode, getOrCreateStaticFieldNode, getOrCreateVarNode, getVarNode, hasNode

Methods inherited from class java.lang.Object

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

Methods inherited from interface pascal.taie.util.graph.Graph

getInDegreeOf, getNodes, getNumberOfNodes, getOutDegreeOf, hasEdge, hasEdge, hasNode, iterator

Methods inherited from interface pascal.taie.util.Indexer

getIndex, getObject

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Details

ObjectFlowGraph

public ObjectFlowGraph(PointerFlowGraph pfg,
 CallGraph<Invoke,JMethod> callGraph)

Method Details

getPredsOf

public Set<Node> getPredsOf(Node node)

Specified by:

getPredsOf in interface Graph<Node>

Returns:

the predecessors of given node in this graph.

getInEdgesOf

public Set<FlowEdge> getInEdgesOf(Node node)

Specified by:

getInEdgesOf in interface Graph<Node>

Returns:

incoming edges of the given node.

getSuccsOf

public Set<Node> getSuccsOf(Node node)

Specified by:

getSuccsOf in interface Graph<Node>

Returns:

the successors of given node in this graph.

getOutEdgesOf

public Set<FlowEdge> getOutEdgesOf(Node node)

Specified by:

getOutEdgesOf in interface Graph<Node>

Returns:

outgoing edges of the given node.