source: tests/exceptions/interact.cfa @ 5847d35

// Testing Interactions Between Termination and Resumption

#include "except-mac.hfa"
#include "except-io.hfa"

TRIVIAL_EXCEPTION(star);
TRIVIAL_EXCEPTION(moon);

int main(int argc, char * argv[]) {
        // Resume falls back to terminate.
        try {
                THROW_RESUME(&(star){});
        } catch (star *) {
                printf("caught as termination\n");
        }
        // Variant of the above to check timing.
        try {
                loud_region a = "try block with resume throw";
                THROW_RESUME(&(star){});
        } catch (star *) {
                printf("caught as termination\n");
        } catchResume (star *) {
                printf("intermediate rethrow\n");
                throwResume;
        }
        printf("\n");

        // Resume does not catch terminate.
        try {
                try {
                        THROW(&(star){});
                } catchResume (star *) {
                        printf("resume catch on terminate\n");
                }
        } catchResume (star *) {
                printf("resume catch on terminate\n");
        } catch (star *) {
                printf("terminate catch on terminate\n");
        }
        printf("\n");

        // Terminate does not catch resume.
        try {
                try {
                        THROW_RESUME(&(star){});
                } catch (star *) {
                        printf("terminate catch on resume\n");
                }
        } catch (star *) {
                printf("terminate catch on resume\n");
        } catchResume (star *) {
                printf("resume catch on resume\n");
        }
        printf("\n");

        // Resume a termination exception.
        try {
                try {
                        try {
                                THROW(&(star){});
                        } catchResume (star *) {
                                printf("inner resume catch (error)\n");
                        }
                } catch (star * error) {
                        printf("termination catch, will resume\n");
                        THROW_RESUME(error);
                }
        } catchResume (star *) {
                printf("outer resume catch\n");
        }
        printf("\n");

        // Terminate a resumption exception.
        try {
                try {
                        try {
                                THROW_RESUME(&(star){});
                        } catch (star *) {
                                printf("inner termination catch\n");
                        }
                } catchResume (star * error) {
                        printf("resumption catch, will terminate\n");
                        THROW(error);
                }
        } catch (star *) {
                printf("outer terminate catch (error)\n");
        }
        printf("\n");

        // Unwinding a resumption catch does not break the system.
        try {
                try {
                        try {
                                try {
                                        printf("throwing resume moon\n");
                                        THROW_RESUME(&(moon){});
                                } catch (star *) {
                                        printf("termination catch\n");
                                }
                                printf("throwing resume star\n");
                                THROW_RESUME(&(star){});
                        } catchResume (star *) {
                                printf("resumption star catch\n");
                        }
                } catchResume (moon *) {
                        printf("resumption moon catch, will terminate\n");
                        THROW(&(star){});
                }
        } catchResume (star *) {
                printf("outermost catch (error)\n");
        }
}