source: tests/exceptions/finally.cfa

// Finally Clause Tests

#include <fstream.hfa>
#include "except-io.hfa"

exception myth {};

vtable(myth) myth_vt;

int main(int argc, char * argv[]) {
        myth exc = {&myth_vt};

        try {
                try {
                        sout | "termination throw";
                        throw exc;
                } finally {
                        loud_exit a = "termination inner finally";
                        sout | "finally during unwind";
                }
        } catch (myth * error) {
                sout | "termination catch";
        } finally {
                loud_exit a = "termination outer finally";
                sout | "finally after catch";
        }
        sout | nl;

        try {
                try {
                        sout | "resumption throw";
                        throwResume exc;
                } finally {
                        loud_exit a = "resumption inner finally";
                        sout | "finally after resume";
                }
        } catchResume (myth * error) {
                sout | "resumption catch";
        } finally {
                loud_exit a = "resumption outer finally";
                sout | "finally after catch";
        }
        sout | "";

        try {
                sout | "walking out of try";
        } finally {
                loud_exit a = "walking finally";
                sout | "walking through finally";
        }
        sout | "";

        try {
                sout | "jumping out of try";
                goto endoffunction;
        } finally {
                loud_exit a = "jumping finally";
                sout | "jumping through finally";
        }
        endoffunction:
        ;
}