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
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.
-
Field Summary
FieldsModifier and TypeFieldDescriptionfinal VivifyingMap<List<TypePathEntry>, ATypeElement> The annotated inner types; map key is the inner type location.Fields inherited from class org.checkerframework.afu.scenelib.el.AElement
description, tlAnnotationsHere, type -
Method Summary
Methods inherited from class org.checkerframework.afu.scenelib.el.AElement
equals, lookup, tlAnnotationsHereFormatted
-
Field Details
-
innerTypes
The annotated inner types; map key is the inner type location.
-
-
Method Details
-
clone
-
equals
Description copied from class:AElementReturns true if thisAElementequalso. This is a slightly faster variant ofAElement.equals(Object)for when the argument is statically known to be another nonnullAElement. -
hashCode
public int hashCode() -
isEmpty
public boolean isEmpty()Description copied from class:AElementReturns true if thisAElementis empty. -
prune
public void prune()Description copied from class:AElementRemoves empty subelements of thisAElementdepth-first. -
toString
-
accept
-