public class JL5MethodDeclExt extends JL5ProcedureDeclExt
Modifier and Type | Field and Description |
---|---|
protected boolean |
compilerGenerated |
typeParams
annotations
Constructor and Description |
---|
JL5MethodDeclExt() |
JL5MethodDeclExt(java.util.List<ParamTypeNode> typeParams,
java.util.List<AnnotationElem> annotations) |
Modifier and Type | Method and Description |
---|---|
protected Node |
buildTypesFinish(JL5TypeSystem ts,
ParsedClassType ct,
Flags flags,
java.util.List<? extends Type> formalTypes,
java.util.List<? extends Type> throwTypes,
java.util.List<TypeVariable> typeParams) |
protected Declaration |
declaration()
Return the Declaration associated with this AST node.
|
boolean |
isCompilerGenerated() |
boolean |
isGeneric() |
protected void |
prettyPrintName(CodeWriter w,
PrettyPrinter pp) |
MethodDecl |
setCompilerGenerated(boolean val) |
void |
translate(CodeWriter w,
Translator tr)
Translate the AST using the given
CodeWriter . |
Node |
typeCheck(TypeChecker tc)
Type check the AST.
|
buildTypes, disambiguate, enterScope, prettyPrint, prettyPrintHeader, reconstruct, setAnnotations, typeParams, typeParams, typeParams, visitChildren
annotationCheck, annotationElems, annotationElems, annotationElems
acceptCFG, firstChild, node
addDecls, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterChildScope, exceptionCheck, exceptionCheckEnter, ext, ext, extRewrite, extRewriteEnter, init, initPred, pred, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, superLang, throwTypes, toString, typeCheckEnter, typeCheckOverride, visitChild, visitList
public JL5MethodDeclExt()
public JL5MethodDeclExt(java.util.List<ParamTypeNode> typeParams, java.util.List<AnnotationElem> annotations)
public boolean isGeneric()
public boolean isCompilerGenerated()
public MethodDecl setCompilerGenerated(boolean val)
protected Declaration declaration()
JL5AnnotatedElementExt
declaration
in class JL5AnnotatedElementExt
protected Node buildTypesFinish(JL5TypeSystem ts, ParsedClassType ct, Flags flags, java.util.List<? extends Type> formalTypes, java.util.List<? extends Type> throwTypes, java.util.List<TypeVariable> typeParams)
buildTypesFinish
in class JL5ProcedureDeclExt
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 JL5ProcedureDeclExt
tc
- The type checking visitor.SemanticException
public void translate(CodeWriter w, Translator tr)
NodeOps
CodeWriter
.protected void prettyPrintName(CodeWriter w, PrettyPrinter pp)
prettyPrintName
in class JL5ProcedureDeclExt