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:
  • Constructor Details

    • NodeManager

      public NodeManager()
  • Method Details

    • getVarNode

      @Nullable public VarNode getVarNode(Var var)
    • getOrCreateVarNode

      protected VarNode getOrCreateVarNode(Var var)
    • getInstanceFieldNode

      @Nullable public InstanceFieldNode getInstanceFieldNode(Obj base, JField field)
    • getOrCreateInstanceFieldNode

      protected InstanceFieldNode getOrCreateInstanceFieldNode(Obj base, JField field)
    • getArrayIndexNode

      @Nullable public ArrayIndexNode getArrayIndexNode(Obj array)
    • 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.