Interface AbstractIntRegisterMachine.Meeter

  • Enclosing class:
    AbstractIntRegisterMachine

    protected static interface AbstractIntRegisterMachine.Meeter
    A Meeter object provides the dataflow logic needed to meet the abstract machine state for a dataflow meet.
    • Method Detail

      • meetLocal

        int meetLocal​(int n,
                      int[] rhs,
                      DexCFG.BasicBlock bb)
        Return the integer that represents the meet of a particular local at the entry to a basic block.
        Parameters:
        n - The number of the local
        rhs - The values to meet
        bb - The basic block at whose entry this meet occurs
        Returns:
        The value of local n after the meet.