Class IEncodingBroker

    • Constructor Detail

      • IEncodingBroker

        public IEncodingBroker()
    • Method Detail

      • generateNode

        public abstract IVarAbstraction generateNode​(Node v)
        Generate a node of proper kind.
        Parameters:
        v -
        Returns:
      • initFlowGraph

        public abstract void initFlowGraph​(GeomPointsTo ptAnalyzer)
        Build the initial encoding of the pointer assignments and points-to facts.
      • getSignature

        public abstract String getSignature()
        Return the signature of the implemented sub-class, may be useful in somewhere.
        Returns: