Class ATypeElement

java.lang.Object
org.checkerframework.afu.scenelib.el.AElement
org.checkerframework.afu.scenelib.el.ATypeElement
All Implemented Interfaces:
Cloneable
Direct Known Subclasses:
ATypeElementWithType

public class ATypeElement extends AElement
An AElement that represents a type might have annotations on inner types ("generic/array" annotations in the design document). For example, "@A Map. @B Entry" has top-level annotation @A, and @B is an annotation on an inner type.

Any element that can have an inner type postpended to it extends ATypeElement so that their annotated inner types can be accessed in a uniform fashion. In the example above, "Map" is an ATypeElement rather than just an AElement. (I think!)

An AElement holds the annotations on one inner type; innerTypes maps locations to inner types.