Term.Instance
Modifier and Type | Method and Description |
---|---|
java.util.List<ElementValuePair> |
elements() |
boolean |
isMarkerAnnotation()
An annotation is a marker annotation if it has no elements
|
boolean |
isSingleElementAnnotation()
An annotation is a single-element annotation if it has one element named "value"
|
java.util.Map<java.lang.String,AnnotationElementValue> |
toAnnotationElementValues(Lang lang,
JL5TypeSystem ts)
Convert this AST representation into a suitable type annotation.
|
TypeNode |
typeName() |
AnnotationElem |
typeName(TypeNode typeName) |
exceptions, exceptions, reachable, reachable
del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
TypeNode typeName()
AnnotationElem typeName(TypeNode typeName)
java.util.List<ElementValuePair> elements()
java.util.Map<java.lang.String,AnnotationElementValue> toAnnotationElementValues(Lang lang, JL5TypeSystem ts) throws SemanticException
SemanticException
boolean isMarkerAnnotation()
boolean isSingleElementAnnotation()