public class JL5SwitchExt extends JL5TermExt implements JL5SwitchOps
Constructor and Description |
---|
JL5SwitchExt() |
Modifier and Type | Method and Description |
---|---|
boolean |
isAcceptableSwitchType(Type type) |
Switch |
node()
The node we ultimately extend.
|
Node |
typeCheck(TypeChecker tc)
Type check the AST.
|
acceptCFG, firstChild
addDecls, 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, visitList
public Switch node()
Ext
node
in interface Ext
node
in class JL5TermExt
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 Ext_c
tc
- The type checking visitor.SemanticException
public boolean isAcceptableSwitchType(Type type)
isAcceptableSwitchType
in interface JL5SwitchOps