public class JL5FormalExt extends JL5AnnotatedElementExt
Modifier and Type | Field and Description |
---|---|
protected boolean |
isCatchFormal |
protected boolean |
isVarArg |
annotations
Constructor and Description |
---|
JL5FormalExt() |
JL5FormalExt(boolean isVarArg,
java.util.List<AnnotationElem> annotations) |
Modifier and Type | Method and Description |
---|---|
protected Declaration |
declaration()
Return the Declaration associated with this AST node.
|
Node |
disambiguate(AmbiguityRemover ar)
Remove any remaining ambiguities from the AST.
|
boolean |
isCatchFormal() |
boolean |
isVarArg() |
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.
|
void |
setIsCatchFormal(boolean isCatchFormal) |
Node |
typeCheck(TypeChecker tc)
Type check the AST.
|
annotationCheck, annotationElems, annotationElems, annotationElems, visitChildren
acceptCFG, firstChild, node
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, 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 JL5FormalExt()
public JL5FormalExt(boolean isVarArg, java.util.List<AnnotationElem> annotations)
public boolean isVarArg()
public boolean isCatchFormal()
public void setIsCatchFormal(boolean isCatchFormal)
public void setAnnotations(Annotations annotations)
AnnotatedElement
setAnnotations
in interface AnnotatedElement
setAnnotations
in class JL5AnnotatedElementExt
protected Declaration declaration()
JL5AnnotatedElementExt
declaration
in class JL5AnnotatedElementExt
public Node typeCheck(TypeChecker tc) throws SemanticException
NodeOps
leave()
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 NodeOps
typeCheck
in class JL5AnnotatedElementExt
tc
- The type checking visitor.SemanticException
public Node disambiguate(AmbiguityRemover ar) throws SemanticException
NodeOps
leave()
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.
The node should not assume that its children have been disambiguated.
If it depends on a child being disambiguated,
it may just return this
without doing any work.disambiguate
in interface NodeOps
disambiguate
in class Ext_c
ar
- The visitor which disambiguates.SemanticException
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.