source: tests/io/eofType.cfa

// 
// Cforall Version 1.0.0 Copyright (C) 2025 University of Waterloo
//
// The contents of this file are covered under the licence agreement in the
// file "LICENCE" distributed with Cforall.
// 
// eofType.cfa -- Test for end-of-file with and without a terminating newline across multiple types.
// 
// Author           : Peter A. Buhr
// Created On       : Wed Jan 22 07:41:41 2025
// Last Modified By : Peter A. Buhr
// Last Modified On : Thu Jan 23 14:33:08 2025
// Update Count     : 9
// 

#include <fstream.hfa>                                                                  // sin/sout

void openfile( ifstream & testfile, const char * filename ) { // helper
        try {
                open( testfile, filename );
        } catch( open_failure * ex; ex->istream == &testfile ) { // input file errors
                exit | "Unable to open input file \"" | filename | "\"";
        } // try
}

// test.py provides macro IN_DIR, which is the absolute path to the current .in directory
#define xstr(s) str(s)
#define str(s) #s
// Add quotes around directory name.
#define INDIR xstr(IN_DIR)

int main() {
        ifstream testfile;
        {
                char * filenames[] = { INDIR "eofType.bool.1.txt", INDIR "eofType.bool.2.txt" };
                bool value;

                for ( i; 2 ) {
                        openfile( testfile, filenames[i] );
                        try {
                                for () {
                                        testfile | value;
                                        sout | value;
                                } // for
                        } catch( end_of_file * ) {
                                sout | "eof";
                        } // try
                        close( testfile );
                }
        }
        {
                char * filenames[] = { INDIR "eofType.char.1.txt", INDIR "eofType.char.2.txt" };
                char value;

                for ( i; 2 ) {
                        openfile( testfile, filenames[i] );
                        try {
                                for () {
                                        testfile | value;
                                        sout | value;
                                } // for
                        } catch( end_of_file * ) {
                                sout | "eof";
                        } // try
                        close( testfile );
                }
        }
        {
                char * filenames[] = { INDIR "eofType.int.1.txt", INDIR "eofType.int.2.txt" };
                int value;

                for ( i; 2 ) {
                        openfile( testfile, filenames[i] );
                        try {
                                for () {
                                        testfile | value;
                                        sout | value;
                                } // for
                        } catch( end_of_file * ) {
                                sout | "eof";
                        } // try
                        close( testfile );
                }
        }
        {
                char * filenames[] = { INDIR "eofType.double.1.txt", INDIR "eofType.double.2.txt" };
                double value;

                for ( i; 2 ) {
                        openfile( testfile, filenames[i] );
                        try {
                                for () {
                                        testfile | value;
                                        sout | value;
                                } // for
                        } catch( end_of_file * ) {
                                sout | "eof";
                        } // try
                        close( testfile );
                }
        }
        {
                char * filenames[] = { INDIR "eofType.complex.1.txt", INDIR "eofType.complex.2.txt" };
                _Complex value;

                for ( i; 2 ) {
                        openfile( testfile, filenames[i] );
                        try {
                                for () {
                                        testfile | value;
                                        sout | value;
                                } // for
                        } catch( end_of_file * ) {
                                sout | "eof";
                        } // try
                        close( testfile );
                }
        }
} // main