Changeset 3ac5fd8 for doc/user/user.tex

Timestamp:

Aug 17, 2024, 3:15:21 PM (4 days ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

df2e00f

Parents:

afb15cf

Message:

first attempt changing end-of-file to an exception

File:

• doc/user/user.tex (modified) (3 diffs)

doc/user/user.tex

@@ -11 +11 @@
 %% Created On       : Wed Apr  6 14:53:29 2016
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Fri Jul 26 06:56:11 2024
-%% Update Count     : 6955
+%% Last Modified On : Thu Aug 15 22:23:30 2024
+%% Update Count     : 6957
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -4656 +4656 @@
 \VRef[Figure]{f:CFACommand-LineProcessing} demonstrates the file operations by showing the idiomatic \CFA command-line processing and copying an input file to an output file.
 Note, a stream variable may be copied because it is a reference to an underlying stream data-structures.
-\Textbf{All I/O errors are handled as exceptions}, but end-of-file is not an exception as C programmers are use to explicitly checking for it.
+\Textbf{All unusual I/O cases are handled as exceptions, including end-of-file.}
 
 \begin{figure}
@@ -4686 +4686 @@
         in | nlOn;                                                              §\C{// turn on reading newline}§
         char ch;
-        for () {                                                                §\C{// read/write characters}§
-                in | ch;
-          if ( eof( in ) ) break;                               §\C{// eof ?}§
-                out | ch;
-        } // for
+        try {
+                for () {                                                        §\C{// read/write characters}§
+                        in | ch;
+                        out | ch;
+                } // for
+        } catch( end_of_file * ) {                              §\C{// end-of-file raised}§
+        } // try
 } // main
 \end{cfa}