Package pascal.taie.analysis.graph.flowgraph

Class NodeManager

java.lang.Object

pascal.taie.analysis.graph.flowgraph.NodeManager

All Implemented Interfaces:

Serializable, Indexer<Node>

Direct Known Subclasses:

ObjectFlowGraph

public abstract class NodeManager
extends Object
implements Indexer<Node>

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
NodeManager()

Method Summary

Modifier and Type	Method	Description
int	getIndex(Node node)
Set<Node>	getNodes()
Node	getObject(int index)
protected ArrayIndexNode	getOrCreateArrayIndexNode(Obj array)
protected InstanceFieldNode	getOrCreateInstanceFieldNode(Obj base, JField field)
protected StaticFieldNode	getOrCreateStaticFieldNode(JField field)
protected VarNode	getOrCreateVarNode(Var var)
VarNode	getVarNode(Var var)
boolean	hasNode(Node node)

Methods inherited from class java.lang.Object

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

Constructor Details

NodeManager

public NodeManager()

Method Details

getVarNode

@Nullable
public VarNode getVarNode(Var var)

getOrCreateVarNode

protected VarNode getOrCreateVarNode(Var var)

getOrCreateInstanceFieldNode

protected InstanceFieldNode getOrCreateInstanceFieldNode(Obj base,
 JField field)

getOrCreateArrayIndexNode

protected ArrayIndexNode getOrCreateArrayIndexNode(Obj array)

getOrCreateStaticFieldNode

protected StaticFieldNode getOrCreateStaticFieldNode(JField field)

hasNode

public boolean hasNode(Node node)

getNodes

public Set<Node> getNodes()

getIndex

public int getIndex(Node node)

Specified by:

getIndex in interface Indexer<Node>

Returns:

the index of the given object.

getObject

public Node getObject(int index)

Specified by:

getObject in interface Indexer<Node>

Returns:

the corresponding object of the given index.