Interface INodeWithNumber

All Known Subinterfaces:
CGNode, IBasicBlock<InstType>, IExplodedBasicBlock, IFixedPointStatement<T>, INodeWithNumberedEdges, ISSABasicBlock, IVariable<T>
All Known Implementing Classes:
AbstractFixedPointSolver.Statement, AbstractIntRegisterMachine.MachineState, AbstractIntStackMachine.MachineState, AbstractStatement, AbstractVariable, AssignEquation, AstCallGraph.AstCGNode, AstTranslator.PreBasicBlock, BasicBlockInContext, BasicCallGraph.NodeImpl, BasicNullaryStatement, BasicUnaryStatement, BitVectorVariable, BooleanVariable, DalvikTypeVariable, DelegatingExplicitCallGraph.DelegatingCGNode, DexCFG.BasicBlock, ExplicitCallGraph.ExplicitNode, GeneralStatement, InducedCFG.BasicBlock, IntSetVariable, NodeWithNumber, NodeWithNumberedEdges, NullaryStatement, NullPointerState, ParameterState, PointsToSetVariable, PrefixVariable, ShrikeCFG.BasicBlock, SSACFG.BasicBlock, SSACFG.ExceptionHandlerBasicBlock, TypeVariable, UnaryStatement

public interface INodeWithNumber
Basic interface for a node which lives in one graph ... it's id is used to implement the NumberedGraph interface.
  • Method Summary

    Modifier and Type
    Method
    Description
    int
    A non-negative integer which serves as an identifier for this node in it's "dominant" graph.
    void
    setGraphNodeId(int number)
     
  • Method Details

    • getGraphNodeId

      int getGraphNodeId()
      A non-negative integer which serves as an identifier for this node in it's "dominant" graph. Initially this number is -1; a NumberedGraph will set it to a non-negative value when this node is inserted into the graph
      Returns:
      the identifier
    • setGraphNodeId

      void setGraphNodeId(int number)