[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 | // |
---|
[3c573e9] | 7 | // iostream.hfa -- |
---|
[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 |
---|
[65240bb] | 12 | // Last Modified On : Fri Jul 12 12:08:38 2019 |
---|
| 13 | // Update Count : 334 |
---|
[86bd7c1f] | 14 | // |
---|
| 15 | |
---|
[53a6c2a] | 16 | #pragma once |
---|
[51b7345] | 17 | |
---|
[58b6d1b] | 18 | #include "iterator.hfa" |
---|
[e56cfdb0] | 19 | |
---|
[3c573e9] | 20 | |
---|
[65240bb] | 21 | //*********************************** ostream *********************************** |
---|
[3c573e9] | 22 | |
---|
| 23 | |
---|
[4040425] | 24 | trait ostream( dtype ostype ) { |
---|
[9ebd778] | 25 | // private |
---|
[9d362a0] | 26 | bool sepPrt( ostype & ); // get separator state (on/off) |
---|
[09687aa] | 27 | void sepReset( ostype & ); // set separator state to default state |
---|
[93c2e0a] | 28 | void sepReset( ostype &, bool ); // set separator and default state |
---|
[09687aa] | 29 | const char * sepGetCur( ostype & ); // get current separator string |
---|
| 30 | void sepSetCur( ostype &, const char * ); // set current separator string |
---|
[200fcb3] | 31 | bool getNL( ostype & ); // check newline |
---|
[93c2e0a] | 32 | void setNL( ostype &, bool ); // saw newline |
---|
[9d362a0] | 33 | bool getANL( ostype & ); // get auto newline (on/off) |
---|
| 34 | bool getPrt( ostype & ); // get fmt called in output cascade |
---|
| 35 | void setPrt( ostype &, bool ); // set fmt called in output cascade |
---|
[9ebd778] | 36 | // public |
---|
[09687aa] | 37 | void sepOn( ostype & ); // turn separator state on |
---|
| 38 | void sepOff( ostype & ); // turn separator state off |
---|
[93c2e0a] | 39 | bool sepDisable( ostype & ); // set default state to off, and return previous state |
---|
[200fcb3] | 40 | bool sepEnable( ostype & ); // set default state to on, and return previous state |
---|
| 41 | void nlOn( ostype & ); // turn auto-newline state on |
---|
| 42 | void nlOff( ostype & ); // turn auto-newline state off |
---|
[09687aa] | 43 | |
---|
| 44 | const char * sepGet( ostype & ); // get separator string |
---|
| 45 | void sepSet( ostype &, const char * ); // set separator to string (15 character maximum) |
---|
| 46 | const char * sepGetTuple( ostype & ); // get tuple separator string |
---|
| 47 | void sepSetTuple( ostype &, const char * ); // set tuple separator to string (15 character maximum) |
---|
| 48 | |
---|
[65240bb] | 49 | void ends( ostype & os ); // end of output statement |
---|
[09687aa] | 50 | int fail( ostype & ); |
---|
| 51 | int flush( ostype & ); |
---|
| 52 | void open( ostype & os, const char * name, const char * mode ); |
---|
| 53 | void close( ostype & os ); |
---|
[7c919446] | 54 | ostype & write( ostype &, const char *, size_t ); |
---|
[c4b072c] | 55 | int fmt( ostype &, const char format[], ... ) __attribute__(( format(printf, 2, 3) )); |
---|
[86f384b] | 56 | }; // ostream |
---|
[90c3b1c] | 57 | |
---|
[e1780a2] | 58 | // trait writeable( otype T ) { |
---|
[09687aa] | 59 | // forall( dtype ostype | ostream( ostype ) ) ostype & ?|?( ostype &, T ); |
---|
[e1780a2] | 60 | // }; // writeable |
---|
| 61 | |
---|
| 62 | trait writeable( otype T, dtype ostype | ostream( ostype ) ) { |
---|
[09687aa] | 63 | ostype & ?|?( ostype &, T ); |
---|
[86f384b] | 64 | }; // writeable |
---|
[51b7345] | 65 | |
---|
[4e06c1e] | 66 | // implement writable for intrinsic types |
---|
[51b7345] | 67 | |
---|
[3ce0d440] | 68 | forall( dtype ostype | ostream( ostype ) ) { |
---|
[17a1b21] | 69 | ostype & ?|?( ostype &, zero_t ); |
---|
| 70 | void ?|?( ostype &, zero_t ); |
---|
| 71 | ostype & ?|?( ostype &, one_t ); |
---|
| 72 | void ?|?( ostype &, one_t ); |
---|
| 73 | |
---|
[93c2e0a] | 74 | ostype & ?|?( ostype &, bool ); |
---|
[5ea5b28] | 75 | void ?|?( ostype &, bool ); |
---|
[1e6e08de] | 76 | |
---|
[3ce0d440] | 77 | ostype & ?|?( ostype &, char ); |
---|
[5ea5b28] | 78 | void ?|?( ostype &, char ); |
---|
[3ce0d440] | 79 | ostype & ?|?( ostype &, signed char ); |
---|
[5ea5b28] | 80 | void ?|?( ostype &, signed char ); |
---|
[3ce0d440] | 81 | ostype & ?|?( ostype &, unsigned char ); |
---|
[5ea5b28] | 82 | void ?|?( ostype &, unsigned char ); |
---|
[09687aa] | 83 | |
---|
[3ce0d440] | 84 | ostype & ?|?( ostype &, short int ); |
---|
[5ea5b28] | 85 | void ?|?( ostype &, short int ); |
---|
[3ce0d440] | 86 | ostype & ?|?( ostype &, unsigned short int ); |
---|
[5ea5b28] | 87 | void ?|?( ostype &, unsigned short int ); |
---|
[3ce0d440] | 88 | ostype & ?|?( ostype &, int ); |
---|
[5ea5b28] | 89 | void ?|?( ostype &, int ); |
---|
[3ce0d440] | 90 | ostype & ?|?( ostype &, unsigned int ); |
---|
[5ea5b28] | 91 | void ?|?( ostype &, unsigned int ); |
---|
[3ce0d440] | 92 | ostype & ?|?( ostype &, long int ); |
---|
[5ea5b28] | 93 | void ?|?( ostype &, long int ); |
---|
[3ce0d440] | 94 | ostype & ?|?( ostype &, long long int ); |
---|
[5ea5b28] | 95 | void ?|?( ostype &, long long int ); |
---|
[3ce0d440] | 96 | ostype & ?|?( ostype &, unsigned long int ); |
---|
[5ea5b28] | 97 | void ?|?( ostype &, unsigned long int ); |
---|
[3ce0d440] | 98 | ostype & ?|?( ostype &, unsigned long long int ); |
---|
[5ea5b28] | 99 | void ?|?( ostype &, unsigned long long int ); |
---|
[09687aa] | 100 | |
---|
[65240bb] | 101 | ostype & ?|?( ostype &, float ); |
---|
| 102 | void ?|?( ostype &, float ); |
---|
[3ce0d440] | 103 | ostype & ?|?( ostype &, double ); |
---|
[5ea5b28] | 104 | void ?|?( ostype &, double ); |
---|
[3ce0d440] | 105 | ostype & ?|?( ostype &, long double ); |
---|
[5ea5b28] | 106 | void ?|?( ostype &, long double ); |
---|
[09687aa] | 107 | |
---|
[3ce0d440] | 108 | ostype & ?|?( ostype &, float _Complex ); |
---|
[5ea5b28] | 109 | void ?|?( ostype &, float _Complex ); |
---|
[3ce0d440] | 110 | ostype & ?|?( ostype &, double _Complex ); |
---|
[5ea5b28] | 111 | void ?|?( ostype &, double _Complex ); |
---|
[3ce0d440] | 112 | ostype & ?|?( ostype &, long double _Complex ); |
---|
[5ea5b28] | 113 | void ?|?( ostype &, long double _Complex ); |
---|
[09687aa] | 114 | |
---|
[3ce0d440] | 115 | ostype & ?|?( ostype &, const char * ); |
---|
[5ea5b28] | 116 | void ?|?( ostype &, const char * ); |
---|
[3ce0d440] | 117 | // ostype & ?|?( ostype &, const char16_t * ); |
---|
[0db817e] | 118 | #if ! ( __ARM_ARCH_ISA_ARM == 1 && __ARM_32BIT_STATE == 1 ) // char32_t == wchar_t => ambiguous |
---|
[3ce0d440] | 119 | // ostype & ?|?( ostype &, const char32_t * ); |
---|
[0db817e] | 120 | #endif // ! ( __ARM_ARCH_ISA_ARM == 1 && __ARM_32BIT_STATE == 1 ) |
---|
[3ce0d440] | 121 | // ostype & ?|?( ostype &, const wchar_t * ); |
---|
| 122 | ostype & ?|?( ostype &, const void * ); |
---|
[5ea5b28] | 123 | void ?|?( ostype &, const void * ); |
---|
[3ce0d440] | 124 | |
---|
| 125 | // manipulators |
---|
| 126 | ostype & ?|?( ostype &, ostype & (*)( ostype & ) ); |
---|
[200fcb3] | 127 | void ?|?( ostype &, ostype & (*)( ostype & ) ); |
---|
| 128 | ostype & nl( ostype & ); |
---|
| 129 | ostype & nonl( ostype & ); |
---|
[3ce0d440] | 130 | ostype & sep( ostype & ); |
---|
| 131 | ostype & sepTuple( ostype & ); |
---|
| 132 | ostype & sepOn( ostype & ); |
---|
| 133 | ostype & sepOff( ostype & ); |
---|
| 134 | ostype & sepDisable( ostype & ); |
---|
| 135 | ostype & sepEnable( ostype & ); |
---|
[200fcb3] | 136 | ostype & nlOn( ostype & ); |
---|
| 137 | ostype & nlOff( ostype & ); |
---|
[3ce0d440] | 138 | } // distribution |
---|
[cf16f94] | 139 | |
---|
[c443d1d] | 140 | // tuples |
---|
[200fcb3] | 141 | forall( dtype ostype, otype T, ttype Params | writeable( T, ostype ) | { ostype & ?|?( ostype &, Params ); } ) { |
---|
| 142 | ostype & ?|?( ostype & os, T arg, Params rest ); |
---|
| 143 | void ?|?( ostype & os, T arg, Params rest ); |
---|
| 144 | } // distribution |
---|
[c443d1d] | 145 | |
---|
[e56cfdb0] | 146 | // writes the range [begin, end) to the given stream |
---|
[200fcb3] | 147 | forall( dtype ostype, otype elt_type | writeable( elt_type, ostype ), otype iterator_type | iterator( iterator_type, elt_type ) ) { |
---|
| 148 | void write( iterator_type begin, iterator_type end, ostype & os ); |
---|
| 149 | void write_reverse( iterator_type begin, iterator_type end, ostype & os ); |
---|
| 150 | } // distribution |
---|
[51b7345] | 151 | |
---|
[65240bb] | 152 | //*********************************** manipulators *********************************** |
---|
[3c573e9] | 153 | |
---|
| 154 | forall( otype T ) |
---|
| 155 | struct _Ostream_Manip { |
---|
| 156 | T val; // polymorphic base-type |
---|
[891b827] | 157 | unsigned int wd, pc; // width, precision |
---|
[3c573e9] | 158 | char base; // numeric base / floating-point style |
---|
| 159 | union { |
---|
| 160 | unsigned char all; |
---|
| 161 | struct { |
---|
| 162 | unsigned char pc:1; // precision specified |
---|
| 163 | unsigned char left:1; // left justify |
---|
| 164 | unsigned char nobsdp:1; // base prefix / decimal point |
---|
| 165 | unsigned char sign:1; // plus / minus sign |
---|
| 166 | unsigned char pad0:1; // zero pad |
---|
| 167 | } flags; |
---|
| 168 | }; |
---|
| 169 | }; // _Ostream_Manip |
---|
| 170 | |
---|
[65240bb] | 171 | //*********************************** integral *********************************** |
---|
[3c573e9] | 172 | |
---|
[61c7239] | 173 | // See 6.7.9. 19) The initialization shall occur in initializer list order, each initializer provided for a particular |
---|
| 174 | // subobject overriding any previously listed initializer for the same subobject; ***all subobjects that are not |
---|
| 175 | // initialized explicitly shall be initialized implicitly the same as objects that have static storage duration.*** |
---|
| 176 | |
---|
[3c573e9] | 177 | #define IntegralFMTDecl( T, CODE ) \ |
---|
| 178 | static inline { \ |
---|
[61c7239] | 179 | _Ostream_Manip(T) bin( T val ) { return (_Ostream_Manip(T))@{ val, 1, 0, 'b', { .all : 0 } }; } \ |
---|
| 180 | _Ostream_Manip(T) oct( T val ) { return (_Ostream_Manip(T))@{ val, 1, 0, 'o', { .all : 0 } }; } \ |
---|
| 181 | _Ostream_Manip(T) hex( T val ) { return (_Ostream_Manip(T))@{ val, 1, 0, 'x', { .all : 0 } }; } \ |
---|
[891b827] | 182 | _Ostream_Manip(T) wd( unsigned int w, T val ) { return (_Ostream_Manip(T))@{ val, w, 0, CODE, { .all : 0 } }; } \ |
---|
| 183 | _Ostream_Manip(T) wd( unsigned int w, unsigned char pc, T val ) { return (_Ostream_Manip(T))@{ val, w, pc, CODE, { .flags.pc : true } }; } \ |
---|
| 184 | _Ostream_Manip(T) & wd( unsigned int w, _Ostream_Manip(T) & fmt ) { fmt.wd = w; return fmt; } \ |
---|
| 185 | _Ostream_Manip(T) & wd( unsigned int w, unsigned char pc, _Ostream_Manip(T) & fmt ) { fmt.wd = w; fmt.pc = pc; fmt.flags.pc = true; return fmt; } \ |
---|
[3c573e9] | 186 | _Ostream_Manip(T) & left( _Ostream_Manip(T) & fmt ) { fmt.flags.left = true; return fmt; } \ |
---|
| 187 | _Ostream_Manip(T) & upcase( _Ostream_Manip(T) & fmt ) { if ( fmt.base == 'x' || fmt.base == 'b' ) fmt.base -= 32; /* upper case */ return fmt; } \ |
---|
| 188 | _Ostream_Manip(T) & nobase( _Ostream_Manip(T) & fmt ) { fmt.flags.nobsdp = true; return fmt; } \ |
---|
| 189 | _Ostream_Manip(T) & pad0( _Ostream_Manip(T) & fmt ) { fmt.flags.pad0 = true; return fmt; } \ |
---|
[61c7239] | 190 | _Ostream_Manip(T) sign( T val ) { return (_Ostream_Manip(T))@{ val, 1, 0, CODE, { .flags.sign : true } }; } \ |
---|
[3c573e9] | 191 | _Ostream_Manip(T) & sign( _Ostream_Manip(T) & fmt ) { fmt.flags.sign = true; return fmt; } \ |
---|
[04396aa] | 192 | } /* distribution */ \ |
---|
[3c573e9] | 193 | forall( dtype ostype | ostream( ostype ) ) { \ |
---|
| 194 | ostype & ?|?( ostype & os, _Ostream_Manip(T) f ); \ |
---|
| 195 | void ?|?( ostype & os, _Ostream_Manip(T) f ); \ |
---|
[61c7239] | 196 | } // ?|? |
---|
[3c573e9] | 197 | |
---|
| 198 | IntegralFMTDecl( signed char, 'd' ) |
---|
| 199 | IntegralFMTDecl( unsigned char, 'u' ) |
---|
| 200 | IntegralFMTDecl( signed short int, 'd' ) |
---|
| 201 | IntegralFMTDecl( unsigned short int, 'u' ) |
---|
| 202 | IntegralFMTDecl( signed int, 'd' ) |
---|
| 203 | IntegralFMTDecl( unsigned int, 'u' ) |
---|
| 204 | IntegralFMTDecl( signed long int, 'd' ) |
---|
| 205 | IntegralFMTDecl( unsigned long int, 'u' ) |
---|
| 206 | IntegralFMTDecl( signed long long int, 'd' ) |
---|
| 207 | IntegralFMTDecl( unsigned long long int, 'u' ) |
---|
| 208 | |
---|
[65240bb] | 209 | //*********************************** floating point *********************************** |
---|
[3c573e9] | 210 | |
---|
| 211 | // Default suffix for values with no fraction is "." |
---|
| 212 | #define FloatingPointFMTDecl( T ) \ |
---|
| 213 | static inline { \ |
---|
[61c7239] | 214 | _Ostream_Manip(T) hex( T val ) { return (_Ostream_Manip(T))@{ val, 1, 0, 'a', { .all : 0 } }; } \ |
---|
| 215 | _Ostream_Manip(T) sci( T val ) { return (_Ostream_Manip(T))@{ val, 1, 0, 'e', { .all : 0 } }; } \ |
---|
[891b827] | 216 | _Ostream_Manip(T) wd( unsigned int w, T val ) { return (_Ostream_Manip(T))@{ val, w, 0, 'f', { .all : 0 } }; } \ |
---|
| 217 | _Ostream_Manip(T) wd( unsigned int w, unsigned char pc, T val ) { return (_Ostream_Manip(T))@{ val, w, pc, 'f', { .flags.pc : true } }; } \ |
---|
| 218 | _Ostream_Manip(T) ws( unsigned int w, unsigned char pc, T val ) { return (_Ostream_Manip(T))@{ val, w, pc, 'g', { .flags.pc : true } }; } \ |
---|
| 219 | _Ostream_Manip(T) & wd( unsigned int w, _Ostream_Manip(T) & fmt ) { fmt.wd = w; return fmt; } \ |
---|
| 220 | _Ostream_Manip(T) & wd( unsigned int w, unsigned char pc, _Ostream_Manip(T) & fmt ) { fmt.wd = w; fmt.pc = pc; fmt.flags.pc = true; return fmt; } \ |
---|
[3c573e9] | 221 | _Ostream_Manip(T) & left( _Ostream_Manip(T) & fmt ) { fmt.flags.left = true; return fmt; } \ |
---|
[61c7239] | 222 | _Ostream_Manip(T) upcase( T val ) { return (_Ostream_Manip(T))@{ val, 1, 0, 'G', { .all : 0 } }; } \ |
---|
[3c573e9] | 223 | _Ostream_Manip(T) & upcase( _Ostream_Manip(T) & fmt ) { fmt.base -= 32; /* upper case */ return fmt; } \ |
---|
| 224 | _Ostream_Manip(T) & pad0( _Ostream_Manip(T) & fmt ) { fmt.flags.pad0 = true; return fmt; } \ |
---|
[61c7239] | 225 | _Ostream_Manip(T) sign( T val ) { return (_Ostream_Manip(T))@{ val, 1, 0, 'g', { .flags.sign : true } }; } \ |
---|
[3c573e9] | 226 | _Ostream_Manip(T) & sign( _Ostream_Manip(T) & fmt ) { fmt.flags.sign = true; return fmt; } \ |
---|
[61c7239] | 227 | _Ostream_Manip(T) nodp( T val ) { return (_Ostream_Manip(T))@{ val, 1, 0, 'g', { .flags.nobsdp : true } }; } \ |
---|
[3c573e9] | 228 | _Ostream_Manip(T) & nodp( _Ostream_Manip(T) & fmt ) { fmt.flags.nobsdp = true; return fmt; } \ |
---|
[04396aa] | 229 | } /* distribution */ \ |
---|
[3c573e9] | 230 | forall( dtype ostype | ostream( ostype ) ) { \ |
---|
| 231 | ostype & ?|?( ostype & os, _Ostream_Manip(T) f ); \ |
---|
| 232 | void ?|?( ostype & os, _Ostream_Manip(T) f ); \ |
---|
[61c7239] | 233 | } // ?|? |
---|
[3c573e9] | 234 | |
---|
| 235 | FloatingPointFMTDecl( double ) |
---|
| 236 | FloatingPointFMTDecl( long double ) |
---|
| 237 | |
---|
[65240bb] | 238 | //*********************************** character *********************************** |
---|
[3c573e9] | 239 | |
---|
| 240 | static inline { |
---|
[04396aa] | 241 | _Ostream_Manip(char) bin( char c ) { return (_Ostream_Manip(char))@{ c, 1, 0, 'b', { .all : 0 } }; } |
---|
| 242 | _Ostream_Manip(char) oct( char c ) { return (_Ostream_Manip(char))@{ c, 1, 0, 'o', { .all : 0 } }; } |
---|
| 243 | _Ostream_Manip(char) hex( char c ) { return (_Ostream_Manip(char))@{ c, 1, 0, 'x', { .all : 0 } }; } |
---|
| 244 | _Ostream_Manip(char) wd( unsigned int w, char c ) { return (_Ostream_Manip(char))@{ c, w, 0, 'c', { .all : 0 } }; } |
---|
[891b827] | 245 | _Ostream_Manip(char) & wd( unsigned int w, _Ostream_Manip(char) & fmt ) { fmt.wd = w; return fmt; } |
---|
[3c573e9] | 246 | _Ostream_Manip(char) & left( _Ostream_Manip(char) & fmt ) { fmt.flags.left = true; return fmt; } |
---|
| 247 | _Ostream_Manip(char) & upcase( _Ostream_Manip(char) & fmt ) { if ( fmt.base == 'x' || fmt.base == 'b' ) fmt.base -= 32; /* upper case */ return fmt; } |
---|
| 248 | _Ostream_Manip(char) & nobase( _Ostream_Manip(char) & fmt ) { fmt.flags.nobsdp = true; return fmt; } |
---|
| 249 | } // distribution |
---|
| 250 | forall( dtype ostype | ostream( ostype ) ) { |
---|
| 251 | ostype & ?|?( ostype & os, _Ostream_Manip(char) f ); |
---|
| 252 | void ?|?( ostype & os, _Ostream_Manip(char) f ); |
---|
[61c7239] | 253 | } // ?|? |
---|
[3c573e9] | 254 | |
---|
[65240bb] | 255 | //*********************************** C string *********************************** |
---|
[3c573e9] | 256 | |
---|
| 257 | static inline { |
---|
[04396aa] | 258 | _Ostream_Manip(const char *) bin( const char * s ) { return (_Ostream_Manip(const char *))@{ s, 1, 0, 'b', { .all : 0 } }; } |
---|
| 259 | _Ostream_Manip(const char *) oct( const char * s ) { return (_Ostream_Manip(const char *))@{ s, 1, 0, 'o', { .all : 0 } }; } |
---|
| 260 | _Ostream_Manip(const char *) hex( const char * s ) { return (_Ostream_Manip(const char *))@{ s, 1, 0, 'x', { .all : 0 } }; } |
---|
| 261 | _Ostream_Manip(const char *) wd( unsigned int w, const char * s ) { return (_Ostream_Manip(const char *))@{ s, w, 0, 's', { .all : 0 } }; } |
---|
| 262 | _Ostream_Manip(const char *) wd( unsigned int w, unsigned char pc, const char * s ) { return (_Ostream_Manip(const char *))@{ s, w, pc, 's', { .flags.pc : true } }; } |
---|
[891b827] | 263 | _Ostream_Manip(const char *) & wd( unsigned int w, _Ostream_Manip(const char *) & fmt ) { fmt.wd = w; return fmt; } |
---|
| 264 | _Ostream_Manip(const char *) & wd( unsigned int w, unsigned char pc, _Ostream_Manip(const char *) & fmt ) { fmt.wd = w; fmt.pc = pc; fmt.flags.pc = true; return fmt; } |
---|
[3c573e9] | 265 | _Ostream_Manip(const char *) & left( _Ostream_Manip(const char *) & fmt ) { fmt.flags.left = true; return fmt; } |
---|
| 266 | _Ostream_Manip(const char *) & nobase( _Ostream_Manip(const char *) & fmt ) { fmt.flags.nobsdp = true; return fmt; } |
---|
| 267 | } // distribution |
---|
| 268 | forall( dtype ostype | ostream( ostype ) ) { |
---|
| 269 | ostype & ?|?( ostype & os, _Ostream_Manip(const char *) f ); |
---|
| 270 | void ?|?( ostype & os, _Ostream_Manip(const char *) f ); |
---|
[61c7239] | 271 | } // ?|? |
---|
[3c573e9] | 272 | |
---|
| 273 | |
---|
[65240bb] | 274 | //*********************************** istream *********************************** |
---|
[3c573e9] | 275 | |
---|
[51b7345] | 276 | |
---|
[4040425] | 277 | trait istream( dtype istype ) { |
---|
[0efb269] | 278 | void nlOn( istype & ); // read newline |
---|
| 279 | void nlOff( istype & ); // scan newline |
---|
| 280 | bool getANL( istype & ); // get scan newline (on/off) |
---|
[09687aa] | 281 | int fail( istype & ); |
---|
| 282 | int eof( istype & ); |
---|
| 283 | void open( istype & is, const char * name ); |
---|
| 284 | void close( istype & is ); |
---|
[9428d52] | 285 | istype & read( istype &, char *, size_t ); |
---|
[09687aa] | 286 | istype & ungetc( istype &, char ); |
---|
[c4b072c] | 287 | int fmt( istype &, const char format[], ... ) __attribute__(( format(scanf, 2, 3) )); |
---|
[86f384b] | 288 | }; // istream |
---|
[51b7345] | 289 | |
---|
[4040425] | 290 | trait readable( otype T ) { |
---|
[09687aa] | 291 | forall( dtype istype | istream( istype ) ) istype & ?|?( istype &, T ); |
---|
[86f384b] | 292 | }; // readable |
---|
[51b7345] | 293 | |
---|
[3ce0d440] | 294 | forall( dtype istype | istream( istype ) ) { |
---|
[93c2e0a] | 295 | istype & ?|?( istype &, bool & ); |
---|
[3ce0d440] | 296 | |
---|
| 297 | istype & ?|?( istype &, char & ); |
---|
| 298 | istype & ?|?( istype &, signed char & ); |
---|
| 299 | istype & ?|?( istype &, unsigned char & ); |
---|
| 300 | |
---|
| 301 | istype & ?|?( istype &, short int & ); |
---|
| 302 | istype & ?|?( istype &, unsigned short int & ); |
---|
| 303 | istype & ?|?( istype &, int & ); |
---|
| 304 | istype & ?|?( istype &, unsigned int & ); |
---|
| 305 | istype & ?|?( istype &, long int & ); |
---|
| 306 | istype & ?|?( istype &, long long int & ); |
---|
| 307 | istype & ?|?( istype &, unsigned long int & ); |
---|
| 308 | istype & ?|?( istype &, unsigned long long int & ); |
---|
| 309 | |
---|
| 310 | istype & ?|?( istype &, float & ); |
---|
| 311 | istype & ?|?( istype &, double & ); |
---|
| 312 | istype & ?|?( istype &, long double & ); |
---|
| 313 | |
---|
| 314 | istype & ?|?( istype &, float _Complex & ); |
---|
| 315 | istype & ?|?( istype &, double _Complex & ); |
---|
| 316 | istype & ?|?( istype &, long double _Complex & ); |
---|
| 317 | |
---|
[dc5072f] | 318 | // istype & ?|?( istype &, const char * ); |
---|
[04396aa] | 319 | istype & ?|?( istype &, char * ); |
---|
[61c7239] | 320 | |
---|
[3ce0d440] | 321 | // manipulators |
---|
| 322 | istype & ?|?( istype &, istype & (*)( istype & ) ); |
---|
[200fcb3] | 323 | istype & nl( istype & is ); |
---|
[3c5dee4] | 324 | istype & nlOn( istype & ); |
---|
| 325 | istype & nlOff( istype & ); |
---|
[3ce0d440] | 326 | } // distribution |
---|
[44574f2] | 327 | |
---|
[65240bb] | 328 | //*********************************** manipulators *********************************** |
---|
[51b7345] | 329 | |
---|
[3c573e9] | 330 | struct _Istream_Cstr { |
---|
[61c7239] | 331 | char * s; |
---|
| 332 | const char * scanset; |
---|
[3c573e9] | 333 | int wd; // width |
---|
[61c7239] | 334 | union { |
---|
| 335 | unsigned char all; |
---|
| 336 | struct { |
---|
| 337 | unsigned char ignore:1; // do not change input argument |
---|
| 338 | unsigned char inex:1; // include/exclude characters in scanset |
---|
| 339 | } flags; |
---|
| 340 | }; |
---|
| 341 | }; // _Istream_Cstr |
---|
| 342 | |
---|
[04396aa] | 343 | static inline { |
---|
| 344 | _Istream_Cstr skip( unsigned int n ) { return (_Istream_Cstr){ 0p, 0p, n, { .all : 0 } }; } |
---|
| 345 | _Istream_Cstr skip( const char * scanset ) { return (_Istream_Cstr){ 0p, scanset, -1, { .all : 0 } }; } |
---|
| 346 | _Istream_Cstr incl( const char * scanset, char * s ) { return (_Istream_Cstr){ s, scanset, -1, { .flags.inex : false } }; } |
---|
| 347 | _Istream_Cstr & incl( const char * scanset, _Istream_Cstr & fmt ) { fmt.scanset = scanset; fmt.flags.inex = false; return fmt; } |
---|
| 348 | _Istream_Cstr excl( const char * scanset, char * s ) { return (_Istream_Cstr){ s, scanset, -1, { .flags.inex : true } }; } |
---|
| 349 | _Istream_Cstr & excl( const char * scanset, _Istream_Cstr & fmt ) { fmt.scanset = scanset; fmt.flags.inex = true; return fmt; } |
---|
| 350 | _Istream_Cstr ignore( const char * s ) { return (_Istream_Cstr)@{ s, 0p, -1, { .flags.ignore : true } }; } |
---|
| 351 | _Istream_Cstr & ignore( _Istream_Cstr & fmt ) { fmt.flags.ignore = true; return fmt; } |
---|
[dc5072f] | 352 | _Istream_Cstr wdi( unsigned int w, char * s ) { return (_Istream_Cstr)@{ s, 0p, w, { .all : 0 } }; } |
---|
| 353 | _Istream_Cstr & wdi( unsigned int w, _Istream_Cstr & fmt ) { fmt.wd = w; return fmt; } |
---|
[04396aa] | 354 | } // distribution |
---|
[86a8be5] | 355 | forall( dtype istype | istream( istype ) ) istype & ?|?( istype & is, _Istream_Cstr f ); |
---|
| 356 | |
---|
| 357 | struct _Istream_Char { |
---|
| 358 | bool ignore; // do not change input argument |
---|
| 359 | }; // _Istream_Char |
---|
| 360 | |
---|
[04396aa] | 361 | static inline { |
---|
| 362 | _Istream_Char ignore( const char c ) { return (_Istream_Char)@{ true }; } |
---|
| 363 | _Istream_Char & ignore( _Istream_Char & fmt ) { fmt.ignore = true; return fmt; } |
---|
| 364 | } // distribution |
---|
[86a8be5] | 365 | forall( dtype istype | istream( istype ) ) istype & ?|?( istype & is, _Istream_Char f ); |
---|
[3c573e9] | 366 | |
---|
| 367 | forall( otype T ) |
---|
| 368 | struct _Istream_Manip { |
---|
| 369 | T & val; // polymorphic base-type |
---|
| 370 | int wd; // width |
---|
[61c7239] | 371 | bool ignore; // do not change input argument |
---|
[3c573e9] | 372 | }; // _Istream_Manip |
---|
| 373 | |
---|
| 374 | #define InputFMTDecl( T ) \ |
---|
[04396aa] | 375 | static inline { \ |
---|
| 376 | _Istream_Manip(T) ignore( const T & val ) { return (_Istream_Manip(T))@{ (T &)val, -1, true }; } \ |
---|
| 377 | _Istream_Manip(T) & ignore( _Istream_Manip(T) & fmt ) { fmt.ignore = true; return fmt; } \ |
---|
| 378 | _Istream_Manip(T) wdi( unsigned int w, T & val ) { return (_Istream_Manip(T))@{ val, w, false }; } \ |
---|
[dc5072f] | 379 | _Istream_Manip(T) & wdi( unsigned int w, _Istream_Manip(T) & fmt ) { fmt.wd = w; return fmt; } \ |
---|
[04396aa] | 380 | } /* distribution */ \ |
---|
[3c573e9] | 381 | forall( dtype istype | istream( istype ) ) { \ |
---|
| 382 | istype & ?|?( istype & is, _Istream_Manip(T) f ); \ |
---|
[61c7239] | 383 | } // ?|? |
---|
[3c573e9] | 384 | |
---|
| 385 | InputFMTDecl( signed char ) |
---|
| 386 | InputFMTDecl( unsigned char ) |
---|
| 387 | InputFMTDecl( signed short int ) |
---|
| 388 | InputFMTDecl( unsigned short int ) |
---|
| 389 | InputFMTDecl( signed int ) |
---|
| 390 | InputFMTDecl( unsigned int ) |
---|
| 391 | InputFMTDecl( signed long int ) |
---|
| 392 | InputFMTDecl( unsigned long int ) |
---|
| 393 | InputFMTDecl( signed long long int ) |
---|
| 394 | InputFMTDecl( unsigned long long int ) |
---|
| 395 | |
---|
| 396 | InputFMTDecl( float ) |
---|
| 397 | InputFMTDecl( double ) |
---|
| 398 | InputFMTDecl( long double ) |
---|
| 399 | |
---|
| 400 | InputFMTDecl( float _Complex ) |
---|
| 401 | InputFMTDecl( double _Complex ) |
---|
| 402 | InputFMTDecl( long double _Complex ) |
---|
| 403 | |
---|
| 404 | |
---|
[65240bb] | 405 | //*********************************** time *********************************** |
---|
[3c573e9] | 406 | |
---|
[10a97adb] | 407 | |
---|
[200fcb3] | 408 | #include <time_t.hfa> // Duration (constructors) / Time (constructors) |
---|
[10a97adb] | 409 | |
---|
[200fcb3] | 410 | forall( dtype ostype | ostream( ostype ) ) { |
---|
| 411 | ostype & ?|?( ostype & os, Duration dur ); |
---|
| 412 | void ?|?( ostype & os, Duration dur ); |
---|
| 413 | ostype & ?|?( ostype & os, Time time ); |
---|
| 414 | void ?|?( ostype & os, Time time ); |
---|
| 415 | } // distribution |
---|
[10a97adb] | 416 | |
---|
[86bd7c1f] | 417 | // Local Variables: // |
---|
| 418 | // tab-width: 4 // |
---|
| 419 | // End: // |
---|