Module io.hotmoka.verification
Package io.hotmoka.verification

Interface Pushers

  • public interface Pushers
    A utility objects that allows one to determine the pushers of stack values on the stack.

    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      Stream<org.apache.bcel.generic.InstructionHandle> getPushers​(org.apache.bcel.generic.InstructionHandle ih, int slots, org.apache.bcel.generic.InstructionList il, org.apache.bcel.generic.ConstantPoolGen cpg)
      Yields the closest instructions that push on the stack the element whose stack height is equal to the height of the stack at ih minus slots.

    • Method Detail

      • getPushers

        Stream<org.apache.bcel.generic.InstructionHandle> getPushers​(org.apache.bcel.generic.InstructionHandle ih,
                                                             int slots,
                                                             org.apache.bcel.generic.InstructionList il,
                                                             org.apache.bcel.generic.ConstantPoolGen cpg)
        Yields the closest instructions that push on the stack the element whose stack height is equal to the height of the stack at ih minus slots.
        Parameters:
        ih - the start instruction of the look up
        slots - the difference in stack height
        il - the list of instructions where ih occurs
        cpg - the constant pool generator of the class for which this object works.
        Returns:
        the instructions