Changeset 0a061c0 for libcfa/src/fstream.cfa

Timestamp:

Aug 4, 2021, 4:54:14 PM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

d2cdd4f

Parents:

d83b266 (diff), 199894e (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:

• libcfa/src/fstream.cfa (modified) (7 diffs)

libcfa/src/fstream.cfa

@@ -10 +10 @@
 // Created On       : Wed May 27 17:56:53 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Jul 22 11:34:41 2021
-// Update Count     : 448
+// Last Modified On : Thu Jul 29 22:34:10 2021
+// Update Count     : 454
 //
 
@@ -142 +142 @@
 
         if ( fclose( (FILE *)(os.file$) ) == EOF ) {
-                abort | IO_MSG "close output" | nl | strerror( errno );
+                throw (Close_Failure){ os };
+                // abort | IO_MSG "close output" | nl | strerror( errno );
         } // if
         os.file$ = 0p;
@@ -149 +150 @@
 ofstream & write( ofstream & os, const char data[], size_t size ) {
         if ( fail( os ) ) {
-                abort | IO_MSG "attempt write I/O on failed stream";
+                throw (Write_Failure){ os };
+                // abort | IO_MSG "attempt write I/O on failed stream";
         } // if
 
         if ( fwrite( data, 1, size, (FILE *)(os.file$) ) != size ) {
-                abort | IO_MSG "write" | nl | strerror( errno );
+                throw (Write_Failure){ os };
+                // abort | IO_MSG "write" | nl | strerror( errno );
         } // if
         return os;
@@ -277 +280 @@
 
         if ( fclose( (FILE *)(is.file$) ) == EOF ) {
-                abort | IO_MSG "close input" | nl | strerror( errno );
+                throw (Close_Failure){ is };
+                // abort | IO_MSG "close input" | nl | strerror( errno );
         } // if
         is.file$ = 0p;
@@ -284 +288 @@
 ifstream & read( ifstream & is, char data[], size_t size ) {
         if ( fail( is ) ) {
-                abort | IO_MSG "attempt read I/O on failed stream";
+                throw (Read_Failure){ is };
+                // abort | IO_MSG "attempt read I/O on failed stream";
         } // if
 
         if ( fread( data, size, 1, (FILE *)(is.file$) ) == 0 ) {
-                abort | IO_MSG "read" | nl | strerror( errno );
+                throw (Read_Failure){ is };
+                // abort | IO_MSG "read" | nl | strerror( errno );
         } // if
         return is;
@@ -338 +344 @@
 
 
-//EHM_VIRTUAL_TABLE(Open_Failure, Open_Failure_main_table);
-static vtable(Open_Failure) Open_Failure_main_table;
+static vtable(Open_Failure) Open_Failure_vt;
 
 // exception I/O constructors
 void ?{}( Open_Failure & this, ofstream & ostream ) {
-        this.virtual_table = &Open_Failure_main_table;
+        this.virtual_table = &Open_Failure_vt;
         this.ostream = &ostream;
         this.tag = 1;
@@ -349 +354 @@
 
 void ?{}( Open_Failure & this, ifstream & istream ) {
-        this.virtual_table = &Open_Failure_main_table;
+        this.virtual_table = &Open_Failure_vt;
         this.istream = &istream;
         this.tag = 0;
 } // ?{}
 
-void throwOpen_Failure( ofstream & ostream ) {
-        Open_Failure exc = { ostream };
-}
-
-void throwOpen_Failure( ifstream & istream ) {
-        Open_Failure exc = { istream };
-}
+
+static vtable(Close_Failure) Close_Failure_vt;
+
+// exception I/O constructors
+void ?{}( Close_Failure & this, ofstream & ostream ) {
+        this.virtual_table = &Close_Failure_vt;
+        this.ostream = &ostream;
+        this.tag = 1;
+} // ?{}
+
+void ?{}( Close_Failure & this, ifstream & istream ) {
+        this.virtual_table = &Close_Failure_vt;
+        this.istream = &istream;
+        this.tag = 0;
+} // ?{}
+
+
+static vtable(Write_Failure) Write_Failure_vt;
+
+// exception I/O constructors
+void ?{}( Write_Failure & this, ofstream & ostream ) {
+        this.virtual_table = &Write_Failure_vt;
+        this.ostream = &ostream;
+        this.tag = 1;
+} // ?{}
+
+void ?{}( Write_Failure & this, ifstream & istream ) {
+        this.virtual_table = &Write_Failure_vt;
+        this.istream = &istream;
+        this.tag = 0;
+} // ?{}
+
+
+static vtable(Read_Failure) Read_Failure_vt;
+
+// exception I/O constructors
+void ?{}( Read_Failure & this, ofstream & ostream ) {
+        this.virtual_table = &Read_Failure_vt;
+        this.ostream = &ostream;
+        this.tag = 1;
+} // ?{}
+
+void ?{}( Read_Failure & this, ifstream & istream ) {
+        this.virtual_table = &Read_Failure_vt;
+        this.istream = &istream;
+        this.tag = 0;
+} // ?{}
+
+// void throwOpen_Failure( ofstream & ostream ) {
+//      Open_Failure exc = { ostream };
+// }
+
+// void throwOpen_Failure( ifstream & istream ) {
+//      Open_Failure exc = { istream };
+// }
 
 // Local Variables: //