Modifier | Constructor and Description |
---|---|
protected |
J5Lang_c() |
Modifier and Type | Method and Description |
---|---|
protected CallOps |
CallOps(Call n) |
protected ClassDeclOps |
ClassDeclOps(ClassDecl n) |
protected ExprOps |
ExprOps(Expr n) |
boolean |
isAcceptableSwitchType(Switch n,
Type type) |
protected JL5CaseOps |
JL5CaseOps(Case n) |
protected static JL5Ext |
jl5ext(Node n) |
protected JL5SwitchOps |
JL5SwitchOps(Switch n) |
static J5Lang |
lang(NodeOps n) |
protected LoopOps |
LoopOps(Loop n) |
protected NewOps |
NewOps(New n) |
protected NodeOps |
NodeOps(Node n) |
protected ProcedureDeclOps |
ProcedureDeclOps(ProcedureDecl n) |
Case |
resolveCaseLabel(Case n,
TypeChecker tc,
Type switchType) |
protected TermOps |
TermOps(Term n) |
acceptCFG, addDecls, addDefaultConstructor, buildTypes, buildTypesEnter, checkConstants, childExpectedType, condIsConstant, condIsConstantFalse, condIsConstantTrue, constantValue, constantValueSet, constructTryBlockExceptionChecker, continueTarget, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckCatchBlocks, exceptionCheckEnter, exceptionCheckFinallyBlock, exceptionCheckTryBlock, extRewrite, extRewriteEnter, findContainer, findEnclosingClass, findQualifiedTypeNode, findQualifier, findTargetType, firstChild, isConstant, prettyPrint, prettyPrint, prettyPrint, prettyPrintFooter, prettyPrintHeader, prettyPrintHeader, printArgs, printBody, printQualifier, printShortObjectType, ProcedureCallOps, throwTypes, translate, TryOps, typeCheck, typeCheckEnter, typeCheckFlags, typeCheckNested, typeCheckNullTarget, typeCheckOverride, visitChildren
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
acceptCFG, addDefaultConstructor, checkConstants, childExpectedType, condIsConstant, condIsConstantFalse, condIsConstantTrue, constructTryBlockExceptionChecker, continueTarget, disambiguate, disambiguateEnter, disambiguateOverride, exceptionCheck, exceptionCheckCatchBlocks, exceptionCheckEnter, exceptionCheckFinallyBlock, exceptionCheckTryBlock, findContainer, findEnclosingClass, findQualifiedTypeNode, findQualifier, findTargetType, firstChild, prettyPrintFooter, prettyPrintHeader, prettyPrintHeader, printArgs, printBody, printQualifier, printShortObjectType, throwTypes, typeCheckFlags, typeCheckNested, typeCheckNullTarget
addDecls, buildTypes, buildTypesEnter, constantValue, constantValueSet, copy, copy, dump, dump, enterChildScope, enterScope, extRewrite, extRewriteEnter, isConstant, prettyPrint, prettyPrint, prettyPrint, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChildren
public static final J5Lang_c instance
protected ClassDeclOps ClassDeclOps(ClassDecl n)
ClassDeclOps
in class JLang_c
protected ProcedureDeclOps ProcedureDeclOps(ProcedureDecl n)
ProcedureDeclOps
in class JLang_c
protected JL5CaseOps JL5CaseOps(Case n)
protected JL5SwitchOps JL5SwitchOps(Switch n)
public final Case resolveCaseLabel(Case n, TypeChecker tc, Type switchType) throws SemanticException
resolveCaseLabel
in interface J5Lang
SemanticException
public final boolean isAcceptableSwitchType(Switch n, Type type)
isAcceptableSwitchType
in interface J5Lang