Modifier and Type | Method and Description |
---|---|
void |
checkPreciseRethrows(Try n,
J7Lang lang,
TypeSystem typeSystem,
Block b) |
void |
preciseRethrowsForCatchBlock(Try n,
J7Lang lang,
Catch cb,
SubtypeSet thrown) |
isAcceptableSwitchType, resolveCaseLabel
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
void checkPreciseRethrows(Try n, J7Lang lang, TypeSystem typeSystem, Block b)
void preciseRethrowsForCatchBlock(Try n, J7Lang lang, Catch cb, SubtypeSet thrown)