Class TypeIndexLocation

java.lang.Object
org.checkerframework.afu.scenelib.el.TypeIndexLocation

public class TypeIndexLocation extends Object
Gives an index into a class's set of supertypes (-1 = superclass, non-negative integers for implemented interfaces) or into a method's set of thrown exceptions.
  • Field Details

    • typeIndex

      public final int typeIndex
      The index.
  • Constructor Details

    • TypeIndexLocation

      public TypeIndexLocation(int typeIndex)
  • Method Details