[86bd7c1f] | 1 | // |
---|
| 2 | // Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo |
---|
| 3 | // |
---|
| 4 | // The contents of this file are covered under the licence agreement in the |
---|
| 5 | // file "LICENCE" distributed with Cforall. |
---|
| 6 | // |
---|
[bb82c03] | 7 | // iostream -- |
---|
[86bd7c1f] | 8 | // |
---|
[90c3b1c] | 9 | // Author : Peter A. Buhr |
---|
[86bd7c1f] | 10 | // Created On : Wed May 27 17:56:53 2015 |
---|
| 11 | // Last Modified By : Peter A. Buhr |
---|
[86f384b] | 12 | // Last Modified On : Sun Jul 2 08:42:56 2017 |
---|
| 13 | // Update Count : 110 |
---|
[86bd7c1f] | 14 | // |
---|
| 15 | |
---|
[90c3b1c] | 16 | #ifndef __IOSTREAM_H__ |
---|
| 17 | #define __IOSTREAM_H__ |
---|
[51b7345] | 18 | |
---|
[d3b7937] | 19 | #include "iterator" |
---|
[e56cfdb0] | 20 | |
---|
[4040425] | 21 | trait ostream( dtype ostype ) { |
---|
[9ebd778] | 22 | // private |
---|
[3849857] | 23 | _Bool sepPrt( ostype * ); // return separator state (on/off) |
---|
| 24 | void sepReset( ostype * ); // set separator state to default state |
---|
| 25 | void sepReset( ostype *, _Bool ); // set separator and default state |
---|
[829c907] | 26 | const char * sepGetCur( ostype * ); // get current separator string |
---|
| 27 | void sepSetCur( ostype *, const char * ); // set current separator string |
---|
[86f384b] | 28 | _Bool lastSepOn( ostype * ); // last manipulator is setOn (context sensitive) |
---|
[9ebd778] | 29 | // public |
---|
| 30 | void sepOn( ostype * ); // turn separator state on |
---|
| 31 | void sepOff( ostype * ); // turn separator state off |
---|
| 32 | _Bool sepDisable( ostype * ); // set default state to off, and return previous state |
---|
| 33 | _Bool sepEnable( ostype * ); // set default state to on, and return previous state |
---|
| 34 | |
---|
[bb82c03] | 35 | const char * sepGet( ostype * ); // get separator string |
---|
[829c907] | 36 | void sepSet( ostype *, const char * ); // set separator to string (15 character maximum) |
---|
| 37 | const char * sepGetTuple( ostype * ); // get tuple separator string |
---|
| 38 | void sepSetTuple( ostype *, const char * ); // set tuple separator to string (15 character maximum) |
---|
[3849857] | 39 | |
---|
[86bd7c1f] | 40 | int fail( ostype * ); |
---|
[6ba0659] | 41 | int flush( ostype * ); |
---|
[90c3b1c] | 42 | void open( ostype * os, const char * name, const char * mode ); |
---|
| 43 | void close( ostype * os ); |
---|
| 44 | ostype * write( ostype *, const char *, unsigned long int ); |
---|
[829c907] | 45 | int fmt( ostype *, const char fmt[], ... ); |
---|
[86f384b] | 46 | }; // ostream |
---|
[90c3b1c] | 47 | |
---|
[4040425] | 48 | trait writeable( otype T ) { |
---|
[cf16f94] | 49 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, T ); |
---|
[86f384b] | 50 | }; // writeable |
---|
[51b7345] | 51 | |
---|
[4e06c1e] | 52 | // implement writable for intrinsic types |
---|
[51b7345] | 53 | |
---|
[cf16f94] | 54 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, char ); |
---|
[1630f18] | 55 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, signed char ); |
---|
| 56 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, unsigned char ); |
---|
[90c3b1c] | 57 | |
---|
| 58 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, short int ); |
---|
| 59 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, unsigned short int ); |
---|
[cf16f94] | 60 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, int ); |
---|
[784deab] | 61 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, unsigned int ); |
---|
| 62 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, long int ); |
---|
| 63 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, long long int ); |
---|
| 64 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, unsigned long int ); |
---|
| 65 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, unsigned long long int ); |
---|
[90c3b1c] | 66 | |
---|
[d3b7937] | 67 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, float ); // FIX ME: should not be required |
---|
[cf16f94] | 68 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, double ); |
---|
[784deab] | 69 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, long double ); |
---|
[90c3b1c] | 70 | |
---|
[d3b7937] | 71 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, float _Complex ); |
---|
| 72 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, double _Complex ); |
---|
| 73 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, long double _Complex ); |
---|
[90c3b1c] | 74 | |
---|
[cf16f94] | 75 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, const char * ); |
---|
| 76 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, const void * ); |
---|
| 77 | |
---|
[c443d1d] | 78 | // tuples |
---|
| 79 | forall( dtype ostype, otype T, ttype Params | ostream( ostype ) | writeable( T ) | { ostype * ?|?( ostype *, Params ); } ) ostype * ?|?( ostype * os, T arg, Params rest ); |
---|
| 80 | |
---|
[4e06c1e] | 81 | // manipulators |
---|
[c443d1d] | 82 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, ostype * (*)( ostype * ) ); |
---|
[cf16f94] | 83 | forall( dtype ostype | ostream( ostype ) ) ostype * endl( ostype * ); |
---|
[90c3b1c] | 84 | forall( dtype ostype | ostream( ostype ) ) ostype * sepOn( ostype * ); |
---|
| 85 | forall( dtype ostype | ostream( ostype ) ) ostype * sepOff( ostype * ); |
---|
[53ba273] | 86 | forall( dtype ostype | ostream( ostype ) ) ostype * sepDisable( ostype * ); |
---|
| 87 | forall( dtype ostype | ostream( ostype ) ) ostype * sepEnable( ostype * ); |
---|
[e56cfdb0] | 88 | |
---|
| 89 | // writes the range [begin, end) to the given stream |
---|
[4040425] | 90 | forall( otype elt_type | writeable( elt_type ), otype iterator_type | iterator( iterator_type, elt_type ), dtype os_type | ostream( os_type ) ) |
---|
[e56cfdb0] | 91 | void write( iterator_type begin, iterator_type end, os_type *os ); |
---|
| 92 | |
---|
[4040425] | 93 | forall( otype elt_type | writeable( elt_type ), otype iterator_type | iterator( iterator_type, elt_type ), dtype os_type | ostream( os_type ) ) |
---|
[e56cfdb0] | 94 | void write_reverse( iterator_type begin, iterator_type end, os_type *os ); |
---|
[51b7345] | 95 | |
---|
[6ba0659] | 96 | //--------------------------------------- |
---|
[51b7345] | 97 | |
---|
[4040425] | 98 | trait istream( dtype istype ) { |
---|
[86bd7c1f] | 99 | int fail( istype * ); |
---|
| 100 | int eof( istype * ); |
---|
[90c3b1c] | 101 | void open( istype * is, const char * name, const char * mode ); |
---|
| 102 | void close( istype * is ); |
---|
| 103 | istype * read( istype *, char *, unsigned long int ); |
---|
[6ba0659] | 104 | istype * ungetc( istype *, char ); |
---|
[829c907] | 105 | int fmt( istype *, const char fmt[], ... ); |
---|
[86f384b] | 106 | }; // istream |
---|
[51b7345] | 107 | |
---|
[4040425] | 108 | trait readable( otype T ) { |
---|
[cf16f94] | 109 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, T ); |
---|
[86f384b] | 110 | }; // readable |
---|
[51b7345] | 111 | |
---|
[90c3b1c] | 112 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, char * ); |
---|
| 113 | |
---|
| 114 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, short int * ); |
---|
| 115 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, unsigned short int * ); |
---|
| 116 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, int * ); |
---|
| 117 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, unsigned int * ); |
---|
| 118 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, long int * ); |
---|
| 119 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, long long int * ); |
---|
| 120 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, unsigned long int * ); |
---|
| 121 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, unsigned long long int * ); |
---|
| 122 | |
---|
| 123 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, float * ); |
---|
| 124 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, double * ); |
---|
| 125 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, long double * ); |
---|
| 126 | |
---|
| 127 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, float _Complex * ); |
---|
| 128 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, double _Complex * ); |
---|
| 129 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, long double _Complex * ); |
---|
| 130 | |
---|
[53ba273] | 131 | struct _Istream_cstrUC { char * s; }; |
---|
| 132 | _Istream_cstrUC cstr( char * ); |
---|
| 133 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, _Istream_cstrUC ); |
---|
[51b7345] | 134 | |
---|
[53ba273] | 135 | struct _Istream_cstrC { char * s; int size; }; |
---|
| 136 | _Istream_cstrC cstr( char *, int size ); |
---|
| 137 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, _Istream_cstrC ); |
---|
[51b7345] | 138 | |
---|
[17e5e2b] | 139 | #endif // __IOSTREAM_H |
---|
| 140 | |
---|
[86bd7c1f] | 141 | // Local Variables: // |
---|
[d3b7937] | 142 | // mode: c // |
---|
[86bd7c1f] | 143 | // tab-width: 4 // |
---|
| 144 | // End: // |
---|