source: doc/theses/andrew_beach_MMath/code/ThrowOther.java @ 55ad35c

// Throw Across Other Handler

class EmptyException extends Exception {}

class NotRaisedException extends Exception {}

public class ThrowOther {
        static boolean should_throw = false;

        private static void unwind_other(int frames)
                        throws EmptyException, NotRaisedException {
                if (0 < frames) {
                        try {
                                unwind_other(frames - 1);
                        } catch (NotRaisedException e) {
                                // ...
                        }
                } else {
                        if (should_throw) {
                                throw new NotRaisedException();
                        }
                        throw new EmptyException();
                }
        }

        public static void main(String[] args) {
                int times = 1;
                int total_frames = 1;
                if (0 < args.length) {
                        times = Integer.parseInt(args[0]);
                }
                if (1 < args.length) {
                        total_frames = Integer.parseInt(args[1]);
                }

                for (int count = 0 ; count < times ; ++count) {
                        try {
                                unwind_other(total_frames);
                        } catch (EmptyException e) {
                                // ...
                        } catch (NotRaisedException e) {
                                // ...
                        }
                }
        }
}