public class JL7SwitchExt extends JL7Ext implements JL5SwitchOps
Constructor and Description |
---|
JL7SwitchExt() |
Modifier and Type | Method and Description |
---|---|
boolean |
isAcceptableSwitchType(Type type) |
Switch |
node()
The node we ultimately extend.
|
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, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
public boolean isAcceptableSwitchType(Type type)
isAcceptableSwitchType
in interface JL5SwitchOps