Interface IJavaLabelFactory


@Ser public interface IJavaLabelFactory
A manager of IJavaLabel. Each IJavaMethod has its own label factory.
  • Method Details

    • create

      IJavaLabel create(int offset, String name)
      Create a named label.
      Parameters:
      offset - a client-defined offset, that may or may not represent a valid location within the instruction sequence used to build this AST. In practice, this offset should be an IR instruction one.
      name - mandatory label name, should be unique, or the method will throw an exception.
      Returns:
      the newly created label
    • create

      IJavaLabel create(int offset)
      Parameters:
      offset -
      Returns:
    • create

      IJavaLabel create()
      Returns:
    • getLabels

      List<IJavaLabel> getLabels()
      Get the list of labels defined by the factory.
      Returns:
    • recordTrampoline

      void recordTrampoline(int trampoAddr, int targetAddr)
    • checkEquivalence

      boolean checkEquivalence(IJavaLabel label1, IJavaLabel label2)