public class JL5NewArrayExt extends JL5ExprExt
| Constructor and Description |
|---|
JL5NewArrayExt() |
| Modifier and Type | Method and Description |
|---|---|
Node |
typeCheck(TypeChecker tc)
Type check the AST.
|
constantValue, constantValueSet, isConstant, nodeacceptCFG, firstChildaddDecls, 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, prettyPrint, print, printBlock, printSubStmt, superLang, throwTypes, toString, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitListpublic 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 Ext_ctc - The type checking visitor.SemanticException