public class JL5LocalDeclExt extends JL5AnnotatedElementExt
annotations| Constructor and Description |
|---|
JL5LocalDeclExt() |
JL5LocalDeclExt(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.
|
Node |
typeCheck(TypeChecker tc)
Type check the AST.
|
annotationCheck, annotationElems, annotationElems, annotationElems, visitChildrenacceptCFG, firstChild, nodeaddDecls, 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, visitListpublic JL5LocalDeclExt()
public JL5LocalDeclExt(java.util.List<AnnotationElem> annotations)
public void setAnnotations(Annotations annotations)
AnnotatedElementsetAnnotations in interface AnnotatedElementsetAnnotations in class JL5AnnotatedElementExtprotected Declaration declaration()
JL5AnnotatedElementExtdeclaration in class JL5AnnotatedElementExtpublic Node typeCheck(TypeChecker tc) throws SemanticException
NodeOpsleave() method of the
visitor. The method should perform work that should be done
after visiting the children of the node. The method may return
this or a new copy of the node which will be
installed as a child of the node's parent.typeCheck in interface NodeOpstypeCheck in class JL5AnnotatedElementExttc - The type checking visitor.SemanticExceptionpublic void prettyPrint(CodeWriter w, PrettyPrinter tr)
NodeOpsCodeWriter.prettyPrint in interface NodeOpsprettyPrint in class JL5AnnotatedElementExtw - The code writer to which to write.tr - The pretty printer. This is not a visitor.