Changeset 48ec19a for tests/exceptions/defaults.cfa

Timestamp:

Jun 26, 2023, 10:51:47 AM (2 years ago)

Author:

caparson <caparson@…>

Branches:

master

Children:

917e1fd

Parents:

adc73a5 (diff), 1fbf481 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• tests/exceptions/defaults.cfa (modified) (6 diffs)

tests/exceptions/defaults.cfa

@@ -1 +1 @@
 // Tests for providing new default operations.
 
+#include <fstream.hfa>
 #include <string.h>
 
@@ -35 +36 @@
                 throwResume (log_message){&log_vt, "Should be printed.\n"};
         } catchResume (log_message * this) {
-                printf("%s", this->virtual_table->msg(this));
+                sout | this->virtual_table->msg(this) | nonl;
         }
         // But we don't have to:
@@ -44 +45 @@
 exception jump {};
 void defaultTerminationHandler(jump &) {
-        printf("jump default handler.\n");
+        sout | "jump default handler.";
 }
 
@@ -53 +54 @@
                 throw (jump){&jump_vt};
         } catch (jump * this) {
-                printf("jump catch handler.\n");
+                sout | "jump catch handler.";
         }
         throw (jump){&jump_vt};
@@ -75 +76 @@
                 throw (first){&first_vt};
         } catch (unhandled_exception * t) {
-                printf("Catch unhandled_exception.\n");
+                sout | "Catch unhandled_exception.";
         }
 }
@@ -84 +85 @@
 void cross_test(void) {
         void defaultTerminationHandler(first &) {
-                printf("cross terminate default\n");
+                sout | "cross terminate default";
                 throw (second){&second_vt};
         }
         void defaultResumptionHandler(first &) {
-                printf("cross resume default\n");
+                sout | "cross resume default";
                 throwResume (second){&second_vt};
         }
         try {
-                printf("cross terminate throw\n");
+                sout | "cross terminate throw";
                 throw (first){&first_vt};
         } catch (second *) {
-                printf("cross terminate catch\n");
+                sout | "cross terminate catch";
         }
         try {
-                printf("cross resume throw\n");
+                sout | "cross resume throw";
                 throwResume (first){&first_vt};
         } catchResume (second *) {
-                printf("cross resume catch\n");
+                sout | "cross resume catch";
         }
 }