Interface Subroutine


public interface Subroutine
This interface defines properties of JVM bytecode subroutines. Note that it is 'abused' to maintain the top-level code in a consistent fashion, too.
  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    Returns if the given InstructionHandle refers to an instruction that is part of this subroutine.
    int[]
    Returns an int[] containing the indices of the local variable slots accessed by this Subroutine (read-accessed, write-accessed or both); local variables referenced by subroutines of this subroutine are not included.
    Returns all the JsrInstructions that have the first instruction of this subroutine as their target.
    Returns all instructions that together form this subroutine.
    Returns the one and only RET that leaves the subroutine.
    int[]
    Returns an int[] containing the indices of the local variable slots accessed by this Subroutine (read-accessed, write-accessed or both); local variables referenced by subroutines of this subroutine are included.
    Returns the subroutines that are directly called from this subroutine.
  • Method Details

    • contains

      boolean contains(InstructionHandle inst)
      Returns if the given InstructionHandle refers to an instruction that is part of this subroutine. This is a convenience method that saves iteration over the InstructionHandle objects returned by getInstructions().
      Parameters:
      inst - The InstructionHandle to test.
      Returns:
      Whether the given InstructionHandle refers to an instruction that is part of this subroutine.
      See Also:
    • getAccessedLocalsIndices

      Returns an int[] containing the indices of the local variable slots accessed by this Subroutine (read-accessed, write-accessed or both); local variables referenced by subroutines of this subroutine are not included.
      Returns:
      An int[] containing the indices of the local variable slots.
      See Also:
    • getEnteringJsrInstructions

      Returns all the JsrInstructions that have the first instruction of this subroutine as their target. Must not be invoked on the 'top-level subroutine'.
      Returns:
      The JsrInstructions that have the first instruction of this subroutine as their target.
    • getInstructions

      Returns all instructions that together form this subroutine. Note that an instruction is part of exactly one subroutine (the top-level code is considered to be a special subroutine) - else it is not reachable at all (dead code).
      Returns:
      All instructions that together form this subroutine.
    • getLeavingRET

      Returns the one and only RET that leaves the subroutine. Note that JustIce has a pretty rigid notion of a subroutine. Must not be invoked on the 'top-level subroutine'.
      Returns:
      The one and only RET that leaves the subroutine.
      See Also:
    • getRecursivelyAccessedLocalsIndices

      Returns an int[] containing the indices of the local variable slots accessed by this Subroutine (read-accessed, write-accessed or both); local variables referenced by subroutines of this subroutine are included.
      Returns:
      An int[] containing the indices of the local variable slots.
      See Also:
    • subSubs

      Returns the subroutines that are directly called from this subroutine.
      Returns:
      The subroutines that are directly called from this subroutine.