Modifier and Type | Method and Description |
---|---|
void |
checkPreciseRethrows(J7Lang lang,
TypeSystem typeSystem,
Block b) |
void |
preciseRethrowsForCatchBlock(J7Lang lang,
Catch cb,
SubtypeSet thrown) |
constructTryBlockExceptionChecker, exceptionCheckCatchBlocks, exceptionCheckFinallyBlock, exceptionCheckTryBlock
void checkPreciseRethrows(J7Lang lang, TypeSystem typeSystem, Block b)
void preciseRethrowsForCatchBlock(J7Lang lang, Catch cb, SubtypeSet thrown)