Lines Matching defs:caughtInTry
1075 List<Type> caughtInTry = List.nil();
1083 List<Type> rethrownTypes = chk.diff(thrownInTry, caughtInTry);
1090 checkCaughtType(l.head.pos(), exc, thrownInTry, caughtInTry);
1091 caughtInTry = chk.incl(exc, caughtInTry);
1126 thrown = chk.union(thrown, chk.diff(thrownInTry, caughtInTry));
1143 thrown = chk.union(thrown, chk.diff(thrownInTry, caughtInTry));
1154 void checkCaughtType(DiagnosticPosition pos, Type exc, List<Type> thrownInTry, List<Type> caughtInTry) {
1155 if (chk.subset(exc, caughtInTry)) {
1167 if (chk.diff(catchableThrownTypes, caughtInTry).isEmpty() &&