public class JifProcedureDeclDel extends JifDel_c implements polyglot.ast.ProcedureDeclOps
ProcedureDecl
node.ProcedureDecl
,
Serialized FormfatalExceptions
Constructor and Description |
---|
JifProcedureDeclDel() |
Modifier and Type | Method and Description |
---|---|
protected void |
addFormalsToScope(polyglot.types.Context c) |
protected void |
ensureNotTopPrincipal(java.util.List<Principal> principals,
polyglot.util.Position pos) |
protected void |
ensureNotTopPrincipal(Principal p,
polyglot.util.Position pos) |
polyglot.types.Context |
enterScope(polyglot.types.Context c) |
void |
prettyPrintHeader(polyglot.types.Flags flags,
polyglot.util.CodeWriter w,
polyglot.visit.PrettyPrinter tr) |
polyglot.ast.Node |
typeCheck(polyglot.visit.TypeChecker tc) |
buildTypes, fatalExceptions, setFatalExceptions, throwTypes, translate
addDecls, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, extRewriteOverride, init, jl, lang, node, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
public polyglot.types.Context enterScope(polyglot.types.Context c)
enterScope
in interface polyglot.ast.NodeOps
enterScope
in class polyglot.ast.JLDel_c
protected void addFormalsToScope(polyglot.types.Context c)
public polyglot.ast.Node typeCheck(polyglot.visit.TypeChecker tc) throws polyglot.types.SemanticException
typeCheck
in interface polyglot.ast.NodeOps
typeCheck
in class polyglot.ast.JLDel_c
polyglot.types.SemanticException
protected void ensureNotTopPrincipal(java.util.List<Principal> principals, polyglot.util.Position pos) throws polyglot.types.SemanticException
polyglot.types.SemanticException
protected void ensureNotTopPrincipal(Principal p, polyglot.util.Position pos) throws polyglot.types.SemanticException
polyglot.types.SemanticException
public void prettyPrintHeader(polyglot.types.Flags flags, polyglot.util.CodeWriter w, polyglot.visit.PrettyPrinter tr)
prettyPrintHeader
in interface polyglot.ast.ProcedureDeclOps