public class JifTypeNodeDel extends JifDel_c
TypeNode
node.Modifier and Type | Class and Description |
---|---|
protected static class |
JifTypeNodeDel.StaticLabelChecker
Checker to ensure that labels in a static context do not use
the This label
|
fatalExceptions
Constructor and Description |
---|
JifTypeNodeDel() |
Modifier and Type | Method and Description |
---|---|
polyglot.ast.Node |
typeCheck(polyglot.visit.TypeChecker tc)
Prevent an uninstantiated polymorphic class from being used anywhere,
and check that the "this" label is not used in a static context.
|
buildTypes, fatalExceptions, setFatalExceptions, throwTypes, translate
addDecls, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, extRewriteOverride, init, jl, lang, node, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
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