| 1 | // Conditional Catch Test | 
|---|
| 2 |  | 
|---|
| 3 | // I may fold this back into terminate.cfa and resume.cfa once setting | 
|---|
| 4 | // up the non-trivial exception is reasonable to do. | 
|---|
| 5 |  | 
|---|
| 6 | #include <exception.hfa> | 
|---|
| 7 |  | 
|---|
| 8 | VTABLE_DECLARATION(num_error)( | 
|---|
| 9 | int (*code)(num_error *this); | 
|---|
| 10 | ); | 
|---|
| 11 |  | 
|---|
| 12 | struct num_error { | 
|---|
| 13 | VTABLE_FIELD(num_error); | 
|---|
| 14 | char * msg; | 
|---|
| 15 | int num; | 
|---|
| 16 | }; | 
|---|
| 17 |  | 
|---|
| 18 | const char * num_error_msg(num_error * this) { | 
|---|
| 19 | if ( ! this->msg ) { | 
|---|
| 20 | static const char * base = "Num Error with code: X"; | 
|---|
| 21 | this->msg = (char *)malloc(22); | 
|---|
| 22 | for (int i = 0 ; (this->msg[i] = base[i]) ; ++i); | 
|---|
| 23 | } | 
|---|
| 24 | this->msg[21] = '0' + this->num; | 
|---|
| 25 | return this->msg; | 
|---|
| 26 | } | 
|---|
| 27 | void ?{}(num_error & this, int num) { | 
|---|
| 28 | VTABLE_INIT(this, num_error); | 
|---|
| 29 | this.msg = 0; | 
|---|
| 30 | this.num = num; | 
|---|
| 31 | } | 
|---|
| 32 | void ?{}(num_error & this, num_error & other) { | 
|---|
| 33 | this.virtual_table = other.virtual_table; | 
|---|
| 34 | this.msg = 0; | 
|---|
| 35 | this.num = other.num; | 
|---|
| 36 | } | 
|---|
| 37 | void ^?{}(num_error & this) { | 
|---|
| 38 | if( this.msg ) free( this.msg ); | 
|---|
| 39 | } | 
|---|
| 40 | int num_error_code( num_error * this ) { | 
|---|
| 41 | return this->num; | 
|---|
| 42 | } | 
|---|
| 43 |  | 
|---|
| 44 | VTABLE_INSTANCE(num_error)( | 
|---|
| 45 | num_error_msg, | 
|---|
| 46 | num_error_code, | 
|---|
| 47 | ); | 
|---|
| 48 |  | 
|---|
| 49 | void caught_num_error(int expect, num_error * actual) { | 
|---|
| 50 | printf("Caught num_error: expected=%d actual=%d.\n", expect, actual->num); | 
|---|
| 51 | } | 
|---|
| 52 |  | 
|---|
| 53 | int main(int argc, char * argv[]) { | 
|---|
| 54 | num_error exc = 2; | 
|---|
| 55 |  | 
|---|
| 56 | try { | 
|---|
| 57 | throw exc; | 
|---|
| 58 | } catch (num_error * error ; 3 == error->virtual_table->code( error )) { | 
|---|
| 59 | caught_num_error(3, error); | 
|---|
| 60 | } catch (num_error * error ; 2 == error->virtual_table->code( error )) { | 
|---|
| 61 | caught_num_error(2, error); | 
|---|
| 62 | } | 
|---|
| 63 |  | 
|---|
| 64 | try { | 
|---|
| 65 | throwResume exc; | 
|---|
| 66 | } catchResume (num_error * error ; 3 == error->virtual_table->code( error )) { | 
|---|
| 67 | caught_num_error(3, error); | 
|---|
| 68 | } catchResume (num_error * error ; 2 == error->virtual_table->code( error )) { | 
|---|
| 69 | caught_num_error(2, error); | 
|---|
| 70 | } | 
|---|
| 71 | } | 
|---|