[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 | // |
---|
[d3b7937] | 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 |
---|
[4040425] | 12 | // Last Modified On : Wed Mar 2 18:05:27 2016 |
---|
| 13 | // Update Count : 85 |
---|
[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 ) { |
---|
[90c3b1c] | 22 | _Bool sepPrt( ostype * ); |
---|
| 23 | void sepOn( ostype * ); |
---|
| 24 | void sepOff( ostype * ); |
---|
| 25 | void sepSet( ostype *, const char * ); |
---|
| 26 | const char * sepGet( ostype * ); |
---|
| 27 | void sepDisable( ostype * ); |
---|
| 28 | void sepEnable( ostype * ); |
---|
[86bd7c1f] | 29 | int fail( ostype * ); |
---|
[6ba0659] | 30 | int flush( ostype * ); |
---|
[90c3b1c] | 31 | void open( ostype * os, const char * name, const char * mode ); |
---|
| 32 | void close( ostype * os ); |
---|
| 33 | ostype * write( ostype *, const char *, unsigned long int ); |
---|
| 34 | int prtfmt( ostype *, const char fmt[], ... ); |
---|
[51b7345] | 35 | }; |
---|
[90c3b1c] | 36 | |
---|
[4040425] | 37 | trait writeable( otype T ) { |
---|
[cf16f94] | 38 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, T ); |
---|
[51b7345] | 39 | }; |
---|
| 40 | |
---|
| 41 | // implement writable for some intrinsic types |
---|
| 42 | |
---|
[cf16f94] | 43 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, char ); |
---|
[90c3b1c] | 44 | |
---|
| 45 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, short int ); |
---|
| 46 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, unsigned short int ); |
---|
[cf16f94] | 47 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, int ); |
---|
[784deab] | 48 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, unsigned int ); |
---|
| 49 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, long int ); |
---|
| 50 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, long long int ); |
---|
| 51 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, unsigned long int ); |
---|
| 52 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, unsigned long long int ); |
---|
[90c3b1c] | 53 | |
---|
[d3b7937] | 54 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, float ); // FIX ME: should not be required |
---|
[cf16f94] | 55 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, double ); |
---|
[784deab] | 56 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, long double ); |
---|
[90c3b1c] | 57 | |
---|
[d3b7937] | 58 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, float _Complex ); |
---|
| 59 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, double _Complex ); |
---|
| 60 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, long double _Complex ); |
---|
[90c3b1c] | 61 | |
---|
[cf16f94] | 62 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, const char * ); |
---|
| 63 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, const void * ); |
---|
| 64 | |
---|
[90c3b1c] | 65 | forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, ostype * (*)( ostype * ) ); |
---|
[cf16f94] | 66 | forall( dtype ostype | ostream( ostype ) ) ostype * endl( ostype * ); |
---|
[90c3b1c] | 67 | forall( dtype ostype | ostream( ostype ) ) ostype * sepOn( ostype * ); |
---|
| 68 | forall( dtype ostype | ostream( ostype ) ) ostype * sepOff( ostype * ); |
---|
[e56cfdb0] | 69 | |
---|
| 70 | // writes the range [begin, end) to the given stream |
---|
[4040425] | 71 | forall( otype elt_type | writeable( elt_type ), otype iterator_type | iterator( iterator_type, elt_type ), dtype os_type | ostream( os_type ) ) |
---|
[e56cfdb0] | 72 | void write( iterator_type begin, iterator_type end, os_type *os ); |
---|
| 73 | |
---|
[4040425] | 74 | forall( otype elt_type | writeable( elt_type ), otype iterator_type | iterator( iterator_type, elt_type ), dtype os_type | ostream( os_type ) ) |
---|
[e56cfdb0] | 75 | void write_reverse( iterator_type begin, iterator_type end, os_type *os ); |
---|
[51b7345] | 76 | |
---|
[6ba0659] | 77 | //--------------------------------------- |
---|
[51b7345] | 78 | |
---|
[4040425] | 79 | trait istream( dtype istype ) { |
---|
[86bd7c1f] | 80 | int fail( istype * ); |
---|
| 81 | int eof( istype * ); |
---|
[90c3b1c] | 82 | void open( istype * is, const char * name, const char * mode ); |
---|
| 83 | void close( istype * is ); |
---|
| 84 | istype * read( istype *, char *, unsigned long int ); |
---|
[6ba0659] | 85 | istype * ungetc( istype *, char ); |
---|
[90c3b1c] | 86 | int scanfmt( istype *, const char fmt[], ... ); |
---|
[51b7345] | 87 | }; |
---|
| 88 | |
---|
[4040425] | 89 | trait readable( otype T ) { |
---|
[cf16f94] | 90 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, T ); |
---|
[51b7345] | 91 | }; |
---|
| 92 | |
---|
[90c3b1c] | 93 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, char * ); |
---|
| 94 | |
---|
| 95 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, short int * ); |
---|
| 96 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, unsigned short int * ); |
---|
| 97 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, int * ); |
---|
| 98 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, unsigned int * ); |
---|
| 99 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, long int * ); |
---|
| 100 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, long long int * ); |
---|
| 101 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, unsigned long int * ); |
---|
| 102 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, unsigned long long int * ); |
---|
| 103 | |
---|
| 104 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, float * ); |
---|
| 105 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, double * ); |
---|
| 106 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, long double * ); |
---|
| 107 | |
---|
| 108 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, float _Complex * ); |
---|
| 109 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, double _Complex * ); |
---|
| 110 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, long double _Complex * ); |
---|
| 111 | |
---|
| 112 | struct _Istream_str1 { char * s; }; |
---|
| 113 | _Istream_str1 str( char * ); |
---|
| 114 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, _Istream_str1 ); |
---|
[51b7345] | 115 | |
---|
[90c3b1c] | 116 | struct _Istream_str2 { char * s; int size; }; |
---|
| 117 | _Istream_str2 str( char *, int size ); |
---|
| 118 | forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, _Istream_str2 ); |
---|
[51b7345] | 119 | |
---|
[90c3b1c] | 120 | #endif // __IOSTREAM_H__ |
---|
[86bd7c1f] | 121 | |
---|
| 122 | // Local Variables: // |
---|
[d3b7937] | 123 | // mode: c // |
---|
[86bd7c1f] | 124 | // tab-width: 4 // |
---|
| 125 | // End: // |
---|