public class JL5FieldDeclExt extends JL5AnnotatedElementExt
annotations
Constructor and Description |
---|
JL5FieldDeclExt() |
JL5FieldDeclExt(java.util.List<AnnotationElem> annotations) |
Modifier and Type | Method and Description |
---|---|
protected Declaration |
declaration()
Return the Declaration associated with this AST node.
|
void |
prettyPrint(CodeWriter w,
PrettyPrinter tr)
Pretty-print the AST using the given
CodeWriter . |
void |
setAnnotations(Annotations annotations)
Set the annotations on the appropriate type object associated with
this AnnotatedElement.
|
annotationCheck, annotationElems, annotationElems, annotationElems, typeCheck, visitChildren
acceptCFG, firstChild, node
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, ext, ext, extRewrite, extRewriteEnter, init, initPred, pred, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, superLang, throwTypes, toString, typeCheckEnter, typeCheckOverride, visitChild, visitList
public JL5FieldDeclExt()
public JL5FieldDeclExt(java.util.List<AnnotationElem> annotations)
public void setAnnotations(Annotations annotations)
AnnotatedElement
setAnnotations
in interface AnnotatedElement
setAnnotations
in class JL5AnnotatedElementExt
protected Declaration declaration()
JL5AnnotatedElementExt
declaration
in class JL5AnnotatedElementExt
public void prettyPrint(CodeWriter w, PrettyPrinter tr)
NodeOps
CodeWriter
.prettyPrint
in interface NodeOps
prettyPrint
in class JL5AnnotatedElementExt
w
- The code writer to which to write.tr
- The pretty printer. This is not a visitor.