806 /** Record that exception is potentially thrown and check that it |
806 /** Record that exception is potentially thrown and check that it |
807 * is caught. |
807 * is caught. |
808 */ |
808 */ |
809 void markThrown(JCTree tree, Type exc) { |
809 void markThrown(JCTree tree, Type exc) { |
810 if (!chk.isUnchecked(tree.pos(), exc)) { |
810 if (!chk.isUnchecked(tree.pos(), exc)) { |
811 if (!chk.isHandled(exc, caught)) |
811 if (!chk.isHandled(exc, caught)) { |
812 pendingExits.append(new FlowPendingExit(tree, exc)); |
812 pendingExits.append(new FlowPendingExit(tree, exc)); |
813 thrown = chk.incl(exc, thrown); |
813 } |
|
814 thrown = chk.incl(exc, thrown); |
814 } |
815 } |
815 } |
816 } |
816 |
817 |
817 /************************************************************************* |
818 /************************************************************************* |
818 * Visitor methods for statements and definitions |
819 * Visitor methods for statements and definitions |