source: tests/exceptions/conditional.cfa@ 654d5a47

// Conditional Catch Test

// I may fold this back into terminate.cfa and resume.cfa once setting
// up the non-trivial exception is reasonable to do.

#include <exception.hfa>

VTABLE_DECLARATION(num_error)(
        int (*code)(num_error *this);
);

struct num_error {
        VTABLE_FIELD(num_error);
    char * msg;
    int num;
};

const char * num_error_msg(num_error * this) {
    if ( ! this->msg ) {
        static const char * base = "Num Error with code: X";
        this->msg = (char *)malloc(22);
        for (int i = 0 ; (this->msg[i] = base[i]) ; ++i);
    }
    this->msg[21] = '0' + this->num;
    return this->msg;
}
void ?{}(num_error & this, int num) {
        VTABLE_INIT(this, num_error);
    this.msg = 0;
    this.num = num;
}
void ?{}(num_error & this, num_error & other) {
    this.virtual_table = other.virtual_table;
    this.msg = 0;
    this.num = other.num;
}
void ^?{}(num_error & this) {
    if( this.msg ) free( this.msg );
}
int num_error_code( num_error * this ) {
    return this->num;
}

VTABLE_INSTANCE(num_error)(
        num_error_msg,
        num_error_code,
);

void caught_num_error(int expect, num_error * actual) {
        printf("Caught num_error: expected=%d actual=%d.\n", expect, actual->num);
}

int main(int argc, char * argv[]) {
        num_error exc = 2;

        try {
                throw exc;
        } catch (num_error * error ; 3 == error->virtual_table->code( error )) {
                caught_num_error(3, error);
        } catch (num_error * error ; 2 == error->virtual_table->code( error )) {
                caught_num_error(2, error);
        }

        try {
                throwResume exc;
        } catchResume (num_error * error ; 3 == error->virtual_table->code( error )) {
                caught_num_error(3, error);
        } catchResume (num_error * error ; 2 == error->virtual_table->code( error )) {
                caught_num_error(2, error);
        }
}