Class ArrayType
java.lang.Object
org.checkerframework.afu.scenelib.type.Type
org.checkerframework.afu.scenelib.type.ArrayType
A representation of an array type.
-
Nested Class Summary
-
Constructor Summary
Constructors -
Method Summary
Methods inherited from class org.checkerframework.afu.scenelib.type.Type
addAnnotation, clearAnnotations, getAnnotation, getAnnotations, setAnnotations
-
Constructor Details
-
ArrayType
Constructs a new array type.- Parameters:
componentType- the type of elements this array holds
-
-
Method Details