Class TypeIndexLocation
java.lang.Object
org.checkerframework.afu.scenelib.el.TypeIndexLocation
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 Summary
Fields -
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
typeIndex
public final int typeIndexThe index.
-
-
Constructor Details
-
TypeIndexLocation
public TypeIndexLocation(int typeIndex)
-
-
Method Details