Changeset ecfd758 for tests/exceptions/data-except.cfa

Timestamp:

Apr 9, 2021, 2:11:43 PM (3 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

b91bfde

Parents:

e07b589

Message:

Major exception update, seperating type-ids from virtual tables. The major interface changes are done. There is a regression of ?Cancelled(T) to Some?Cancelled. There is some bits of code for the new verion of the ?Cancelled(T) interface already there. Not connected yet but I just reached the limit of what I wanted to do in one commit and then spent over a day cleaning up, so it will replace Some?Cancelled in a future commit.

File:

• tests/exceptions/data-except.cfa (modified) (1 diff)

tests/exceptions/data-except.cfa

@@ -3 +3 @@
 #include <exception.hfa>
 
-DATA_EXCEPTION(paired)(
+EHM_EXCEPTION(paired)(
         int first;
         int second;
 );
 
-void ?{}(paired & this, int first, int second) {
-        VTABLE_INIT(this, paired);
-        this.first = first;
-        this.second = second;
-}
+EHM_VIRTUAL_TABLE(paired, paired_vt);
 
-const char * paired_msg(paired * this) {
-        return "paired";
-}
-
-VTABLE_INSTANCE(paired)(paired_msg);
-
-void throwPaired(int first, int second) {
-        paired exc = {first, second};
+const char * virtual_msg(paired * this) {
+        return this->virtual_table->msg(this);
 }
 
 int main(int argc, char * argv[]) {
-        paired except = {3, 13};
+        paired except = {&paired_vt, 3, 13};
 
         try {
                 throw except;
         } catch (paired * exc) {
-                printf("%s(%d, %d)\n", paired_msg(exc), exc->first, exc->second);
+                printf("%s(%d, %d)\n", virtual_msg(exc), exc->first, exc->second);
                 ++exc->first;
         }
 
-        printf("%s(%d, %d)\n", paired_msg(&except), except.first, except.second);
+        printf("%s(%d, %d)\n", virtual_msg(&except), except.first, except.second);
 
         try {
                 throwResume except;
         } catchResume (paired * exc) {
-                printf("%s(%d, %d)\n", paired_msg(exc), exc->first, exc->second);
+                printf("%s(%d, %d)\n", virtual_msg(exc), exc->first, exc->second);
                 ++exc->first;
         }
 
-        printf("%s(%d, %d)\n", paired_msg(&except), except.first, except.second);
+        printf("%s(%d, %d)\n", virtual_msg(&except), except.first, except.second);
 }