Changeset 42dcae7 for translator/examples/fstream.c

Timestamp:

Nov 25, 2014, 9:16:10 AM (10 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc

Children:

3848e0e

Parents:

d11f789

Message:

re-inserted remove and reorder hoisted aggregate, fixed example programs

File:

• translator/examples/fstream.c (modified) (12 diffs)

translator/examples/fstream.c

@@ -1 @@
-// "cfa -E fstream.c > fstream_out.c"
-// "cfa -c -o fstream.o fstream.c"
-
 #include "fstream.h"
 
@@ -14 +11 @@
 };
 
-ofstream * write( ofstream *os, const char *data, streamsize_type size ) {
-    if( !os->fail ) {
+ofstream *write( ofstream *os, const char *data, streamsize_type size ) {
+    if ( ! os->fail ) {
         fwrite( data, size, 1, os->file );
         os->fail = ferror( os->file );
@@ -26 +23 @@
 }
 
-static ofstream * make_ofstream() {
+static ofstream *make_ofstream() {
     ofstream *new_stream = malloc( sizeof( ofstream ) );
     new_stream->fail = 0;
@@ -32 +29 @@
 }
 
-ofstream * ofstream_stdout() {
+ofstream *ofstream_stdout() {
     ofstream *stdout_stream = make_ofstream();
     stdout_stream->file = stdout;
@@ -38 +35 @@
 }
 
-ofstream * ofstream_stderr() {
+ofstream *ofstream_stderr() {
     ofstream *stderr_stream = make_ofstream();
     stderr_stream->file = stderr;
@@ -44 +41 @@
 }
 
-ofstream * ofstream_fromfile( const char *name ) {
+ofstream *ofstream_fromfile( const char *name ) {
     ofstream *file_stream = make_ofstream();
     file_stream->file = fopen( name, "w" );
@@ -52 +49 @@
 
 void ofstream_close( ofstream *os ) {
-    if( os->file != stdout && os->file != stderr ) {
+    if ( os->file != stdout && os->file != stderr ) {
         os->fail = fclose( os->file );
     }
@@ -64 +61 @@
 };
 
-ifstream * read( ifstream *is, char *data, streamsize_type size ) {
-    if( !is->fail && !is->eof ) {
+ifstream *read( ifstream *is, char *data, streamsize_type size ) {
+    if ( ! is->fail && ! is->eof ) {
         fread( data, size, 1, is->file );
         is->fail = ferror( is->file );
@@ -74 +71 @@
   
 ifstream *unread( ifstream *is, char c ) {
-    if( !is->fail ) {
-        if( EOF == ungetc( c, is->file ) ) {
+    if ( ! is->fail ) {
+        if ( ! EOF == ungetc( c, is->file ) ) {
             is->fail = 1;
         }
@@ -90 +87 @@
 }
 
-static ifstream * make_ifstream() {
+static ifstream *make_ifstream() {
     ifstream *new_stream = malloc( sizeof( ifstream ) );
     new_stream->fail = 0;
@@ -97 +94 @@
 }
 
-ifstream * ifstream_stdin() {
+ifstream *ifstream_stdin() {
     ifstream *stdin_stream = make_ifstream();
     stdin_stream->file = stdin;
@@ -103 +100 @@
 }
 
-ifstream * ifstream_fromfile( const char *name ) {
+ifstream *ifstream_fromfile( const char *name ) {
     ifstream *file_stream = make_ifstream();
     file_stream->file = fopen( name, "r" );