source: libcfa/src/iostream.hfa@ 2cb15b0

Last change on this file since 2cb15b0 was 0a2e0e21, checked in by Peter A. Buhr <pabuhr@…>, 2 years ago

add FIX-ME comment for forall-void routine in iostream

  • Property mode set to 100644
File size: 21.0 KB
RevLine 
[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
[0a2e0e21]12// Last Modified On : Wed Jul 19 14:25:52 2023
13// Update Count : 463
[86bd7c1f]14//
15
[53a6c2a]16#pragma once
[51b73452]17
[58b6d1b]18#include "iterator.hfa"
[e56cfdb0]19
[3c573e9]20
[8d321f9]21// *********************************** ostream ***********************************
[3c573e9]22
23
[8a97248]24forall( ostype & )
25trait basic_ostream {
[9ebd778]26 // private
[6c5d92f]27 bool sepPrt$( ostype & ); // get separator state (on/off)
28 void sepReset$( ostype & ); // set separator state to default state
29 void sepReset$( ostype &, bool ); // set separator and default state
30 const char * sepGetCur$( ostype & ); // get current separator string
31 void sepSetCur$( ostype &, const char [] ); // set current separator string
32 bool getNL$( ostype & ); // check newline
33 void setNL$( ostype &, bool ); // saw newline
34 bool getANL$( ostype & ); // get auto newline (on/off)
35 bool getPrt$( ostype & ); // get fmt called in output cascade
36 void setPrt$( ostype &, bool ); // set fmt called in output cascade
[9ebd778]37 // public
[200fcb3]38 void nlOn( ostype & ); // turn auto-newline state on
39 void nlOff( ostype & ); // turn auto-newline state off
[09687aa]40
[f5d9c37]41 void sep( ostype & ); // turn separator state on
42 void nosep( ostype & ); // turn separator state off
43 bool sepOn( ostype & ); // set default state to on, and return previous state
44 bool sepOff( ostype & ); // set default state to off, and return previous state
[09687aa]45 const char * sepGet( ostype & ); // get separator string
[e3fea42]46 void sepSet( ostype &, const char [] ); // set separator to string (15 character maximum)
[09687aa]47 const char * sepGetTuple( ostype & ); // get tuple separator string
[e3fea42]48 void sepSetTuple( ostype &, const char [] ); // set tuple separator to string (15 character maximum)
[09687aa]49
[85d8153]50 void ends( ostype & ); // end of output statement
51 int fmt( ostype &, const char format[], ... ) __attribute__(( format(printf, 2, 3) ));
52}; // basic_ostream
[a0bd9a2]53
[8a97248]54forall( ostype & | basic_ostream( ostype ) )
55trait ostream {
[85d8153]56 bool fail( ostype & ); // operation failed?
[00e9be9]57 void clear( ostype & );
58 int flush( ostype & );
[85d8153]59 void open( ostype &, const char name[], const char mode[] );
60 void close( ostype & );
[e3fea42]61 ostype & write( ostype &, const char [], size_t );
[86f384b]62}; // ostream
[90c3b1c]63
[8a97248]64// forall( T )
65// trait writeable {
[fd54fef]66// forall( ostype & | ostream( ostype ) ) ostype & ?|?( ostype &, T );
[e1780a2]67// }; // writeable
68
[8a97248]69forall( T, ostype & | ostream( ostype ) )
[dc9dd94]70trait writeable {
[09687aa]71 ostype & ?|?( ostype &, T );
[86f384b]72}; // writeable
[51b73452]73
[4e06c1e]74// implement writable for intrinsic types
[51b73452]75
[94d2544]76#define OSTYPE_VOID( T ) void ?|?( ostype &, T )
77#define OSTYPE_VOID_IMPL( T ) \
78 void ?|?( ostype & os, T t ) { \
79 (ostype &)(os | t); ends( os ); \
80 } // ?|?
81
[85d8153]82forall( ostype & | basic_ostream( ostype ) ) {
[93c2e0a]83 ostype & ?|?( ostype &, bool );
[94d2544]84 OSTYPE_VOID( bool );
[1e6e08de]85
[3ce0d440]86 ostype & ?|?( ostype &, char );
[94d2544]87 OSTYPE_VOID( char );
[3ce0d440]88 ostype & ?|?( ostype &, signed char );
[94d2544]89 OSTYPE_VOID( signed char );
[3ce0d440]90 ostype & ?|?( ostype &, unsigned char );
[94d2544]91 OSTYPE_VOID( unsigned char );
[09687aa]92
[3ce0d440]93 ostype & ?|?( ostype &, short int );
[94d2544]94 OSTYPE_VOID( short int );
[3ce0d440]95 ostype & ?|?( ostype &, unsigned short int );
[94d2544]96 OSTYPE_VOID( unsigned short int );
[3ce0d440]97 ostype & ?|?( ostype &, int );
[94d2544]98 OSTYPE_VOID( int );
[3ce0d440]99 ostype & ?|?( ostype &, unsigned int );
[94d2544]100 OSTYPE_VOID( unsigned int );
[3ce0d440]101 ostype & ?|?( ostype &, long int );
[94d2544]102 OSTYPE_VOID( long int );
[3ce0d440]103 ostype & ?|?( ostype &, long long int );
[94d2544]104 OSTYPE_VOID( long long int );
[3ce0d440]105 ostype & ?|?( ostype &, unsigned long int );
[94d2544]106 OSTYPE_VOID( unsigned long int );
[3ce0d440]107 ostype & ?|?( ostype &, unsigned long long int );
[94d2544]108 OSTYPE_VOID( unsigned long long int );
[ef3ac46]109 #if defined( __SIZEOF_INT128__ )
[bd5b443]110 ostype & ?|?( ostype &, int128 );
[94d2544]111 OSTYPE_VOID( int128 );
[bd5b443]112 ostype & ?|?( ostype &, unsigned int128 );
[94d2544]113 OSTYPE_VOID( unsigned int128 );
[ef3ac46]114 #endif // __SIZEOF_INT128__
[09687aa]115
[65240bb]116 ostype & ?|?( ostype &, float );
[94d2544]117 OSTYPE_VOID( float );
[3ce0d440]118 ostype & ?|?( ostype &, double );
[94d2544]119 OSTYPE_VOID( double );
[3ce0d440]120 ostype & ?|?( ostype &, long double );
[94d2544]121 OSTYPE_VOID( long double );
[09687aa]122
[3ce0d440]123 ostype & ?|?( ostype &, float _Complex );
[94d2544]124 OSTYPE_VOID( float _Complex );
[3ce0d440]125 ostype & ?|?( ostype &, double _Complex );
[94d2544]126 OSTYPE_VOID( double _Complex );
[3ce0d440]127 ostype & ?|?( ostype &, long double _Complex );
[94d2544]128 OSTYPE_VOID( long double _Complex );
[09687aa]129
[e3fea42]130 ostype & ?|?( ostype &, const char [] );
[94d2544]131 OSTYPE_VOID( const char [] );
[3ce0d440]132 // ostype & ?|?( ostype &, const char16_t * );
[ef3ac46]133 #if ! ( __ARM_ARCH_ISA_ARM == 1 && __ARM_32BIT_STATE == 1 ) // char32_t == wchar_t => ambiguous
[3ce0d440]134 // ostype & ?|?( ostype &, const char32_t * );
[ef3ac46]135 #endif // ! ( __ARM_ARCH_ISA_ARM == 1 && __ARM_32BIT_STATE == 1 )
[3ce0d440]136 // ostype & ?|?( ostype &, const wchar_t * );
137 ostype & ?|?( ostype &, const void * );
[94d2544]138 OSTYPE_VOID( const void * );
[3ce0d440]139
[0a2e0e21]140 // FIX-ME: does not work so using macros
[c635047]141 // forall( T | { ostype & ?|?( ostype &, T ); } )
142 // void ?|?( ostype & os, T );
143
[3ce0d440]144 // manipulators
145 ostype & ?|?( ostype &, ostype & (*)( ostype & ) );
[94d2544]146 OSTYPE_VOID( ostype & (*)( ostype & ) );
[f5d9c37]147
[200fcb3]148 ostype & nl( ostype & );
149 ostype & nonl( ostype & );
[f5d9c37]150 ostype & nlOn( ostype & );
151 ostype & nlOff( ostype & );
152
153 ostype & sepVal( ostype & );
154 ostype & sepTupleVal( ostype & );
[3ce0d440]155 ostype & sep( ostype & );
[f5d9c37]156 ostype & nosep( ostype & );
[3ce0d440]157 ostype & sepOn( ostype & );
158 ostype & sepOff( ostype & );
[85d8153]159} // distribution
160
[c443d1d]161// tuples
[fd54fef]162forall( ostype &, T, Params... | writeable( T, ostype ) | { ostype & ?|?( ostype &, Params ); } ) {
[200fcb3]163 ostype & ?|?( ostype & os, T arg, Params rest );
164 void ?|?( ostype & os, T arg, Params rest );
165} // distribution
[c443d1d]166
[e56cfdb0]167// writes the range [begin, end) to the given stream
[fd54fef]168forall( ostype &, elt_type | writeable( elt_type, ostype ), iterator_type | iterator( iterator_type, elt_type ) ) {
[200fcb3]169 void write( iterator_type begin, iterator_type end, ostype & os );
170 void write_reverse( iterator_type begin, iterator_type end, ostype & os );
171} // distribution
[51b73452]172
[8d321f9]173// *********************************** manipulators ***********************************
[3c573e9]174
[a0bd9a2]175struct _Ostream_Flags {
[dc9dd94]176 unsigned char eng:1; // engineering notation
177 unsigned char neg:1; // val is negative
178 unsigned char pc:1; // precision specified
179 unsigned char left:1; // left justify
180 unsigned char nobsdp:1; // base prefix / decimal point
181 unsigned char sign:1; // plus / minus sign
182 unsigned char pad0:1; // zero pad
[a0bd9a2]183};
184
[fd54fef]185forall( T )
[3c573e9]186struct _Ostream_Manip {
187 T val; // polymorphic base-type
[424dfc4]188 int wd, pc; // width, precision: signed for computations
[3c573e9]189 char base; // numeric base / floating-point style
190 union {
191 unsigned char all;
[a0bd9a2]192 _Ostream_Flags flags;
[3c573e9]193 };
194}; // _Ostream_Manip
195
[8d321f9]196// *********************************** integral ***********************************
[3c573e9]197
[61c7239]198// See 6.7.9. 19) The initialization shall occur in initializer list order, each initializer provided for a particular
199// subobject overriding any previously listed initializer for the same subobject; ***all subobjects that are not
200// initialized explicitly shall be initialized implicitly the same as objects that have static storage duration.***
201
[94d2544]202#define INTEGRAL_FMT_DECL( T, CODE ) \
[3c573e9]203static inline { \
[61c7239]204 _Ostream_Manip(T) bin( T val ) { return (_Ostream_Manip(T))@{ val, 1, 0, 'b', { .all : 0 } }; } \
205 _Ostream_Manip(T) oct( T val ) { return (_Ostream_Manip(T))@{ val, 1, 0, 'o', { .all : 0 } }; } \
206 _Ostream_Manip(T) hex( T val ) { return (_Ostream_Manip(T))@{ val, 1, 0, 'x', { .all : 0 } }; } \
[891b827]207 _Ostream_Manip(T) wd( unsigned int w, T val ) { return (_Ostream_Manip(T))@{ val, w, 0, CODE, { .all : 0 } }; } \
[424dfc4]208 _Ostream_Manip(T) wd( unsigned int w, unsigned int pc, T val ) { return (_Ostream_Manip(T))@{ val, w, pc, CODE, { .flags.pc : true } }; } \
[891b827]209 _Ostream_Manip(T) & wd( unsigned int w, _Ostream_Manip(T) & fmt ) { fmt.wd = w; return fmt; } \
[424dfc4]210 _Ostream_Manip(T) & wd( unsigned int w, unsigned int pc, _Ostream_Manip(T) & fmt ) { fmt.wd = w; fmt.pc = pc; fmt.flags.pc = true; return fmt; } \
[3c573e9]211 _Ostream_Manip(T) & left( _Ostream_Manip(T) & fmt ) { fmt.flags.left = true; return fmt; } \
212 _Ostream_Manip(T) & upcase( _Ostream_Manip(T) & fmt ) { if ( fmt.base == 'x' || fmt.base == 'b' ) fmt.base -= 32; /* upper case */ return fmt; } \
213 _Ostream_Manip(T) & nobase( _Ostream_Manip(T) & fmt ) { fmt.flags.nobsdp = true; return fmt; } \
214 _Ostream_Manip(T) & pad0( _Ostream_Manip(T) & fmt ) { fmt.flags.pad0 = true; return fmt; } \
[61c7239]215 _Ostream_Manip(T) sign( T val ) { return (_Ostream_Manip(T))@{ val, 1, 0, CODE, { .flags.sign : true } }; } \
[3c573e9]216 _Ostream_Manip(T) & sign( _Ostream_Manip(T) & fmt ) { fmt.flags.sign = true; return fmt; } \
[04396aa]217} /* distribution */ \
[85d8153]218forall( ostype & | basic_ostream( ostype ) ) { \
[3c573e9]219 ostype & ?|?( ostype & os, _Ostream_Manip(T) f ); \
[c635047]220 OSTYPE_VOID( _Ostream_Manip(T) ); \
[61c7239]221} // ?|?
[3c573e9]222
[94d2544]223INTEGRAL_FMT_DECL( signed char, 'd' )
224INTEGRAL_FMT_DECL( unsigned char, 'u' )
225INTEGRAL_FMT_DECL( signed short int, 'd' )
226INTEGRAL_FMT_DECL( unsigned short int, 'u' )
227INTEGRAL_FMT_DECL( signed int, 'd' )
228INTEGRAL_FMT_DECL( unsigned int, 'u' )
229INTEGRAL_FMT_DECL( signed long int, 'd' )
230INTEGRAL_FMT_DECL( unsigned long int, 'u' )
231INTEGRAL_FMT_DECL( signed long long int, 'd' )
232INTEGRAL_FMT_DECL( unsigned long long int, 'u' )
[bd5b443]233#if defined( __SIZEOF_INT128__ )
[94d2544]234INTEGRAL_FMT_DECL( int128, 'd' )
235INTEGRAL_FMT_DECL( unsigned int128, 'u' )
[2b22b5c4]236#endif // __SIZEOF_INT128__
[3c573e9]237
[8d321f9]238// *********************************** floating point ***********************************
[3c573e9]239
240// Default suffix for values with no fraction is "."
[94d2544]241#define FLOATING_POINT_FMT_DECL( T ) \
[3c573e9]242static inline { \
[61c7239]243 _Ostream_Manip(T) hex( T val ) { return (_Ostream_Manip(T))@{ val, 1, 0, 'a', { .all : 0 } }; } \
244 _Ostream_Manip(T) sci( T val ) { return (_Ostream_Manip(T))@{ val, 1, 0, 'e', { .all : 0 } }; } \
[fd4c009]245 _Ostream_Manip(T) eng( T val ) { return (_Ostream_Manip(T))@{ val, 1, 0, 'g', { .flags.eng : true } }; } \
246 _Ostream_Manip(T) wd( unsigned int w, T val ) { return (_Ostream_Manip(T))@{ val, w, 0, 'g', { .all : 0 } }; } \
[424dfc4]247 _Ostream_Manip(T) wd( unsigned int w, unsigned int pc, T val ) { return (_Ostream_Manip(T))@{ val, w, pc, 'f', { .flags.pc : true } }; } \
248 _Ostream_Manip(T) ws( unsigned int w, unsigned int pc, T val ) { return (_Ostream_Manip(T))@{ val, w, pc, 'g', { .flags.pc : true } }; } \
[fd4c009]249 _Ostream_Manip(T) & wd( unsigned int w, _Ostream_Manip(T) & fmt ) { if ( fmt.flags.eng ) fmt.base = 'f'; fmt.wd = w; return fmt; } \
[424dfc4]250 _Ostream_Manip(T) & wd( unsigned int w, unsigned int pc, _Ostream_Manip(T) & fmt ) { if ( fmt.flags.eng ) fmt.base = 'f'; fmt.wd = w; fmt.pc = pc; fmt.flags.pc = true; return fmt; } \
251 _Ostream_Manip(T) & ws( unsigned int w, unsigned int pc, _Ostream_Manip(T) & fmt ) { fmt.wd = w; fmt.pc = pc; fmt.flags.pc = true; return fmt; } \
[3c573e9]252 _Ostream_Manip(T) & left( _Ostream_Manip(T) & fmt ) { fmt.flags.left = true; return fmt; } \
[61c7239]253 _Ostream_Manip(T) upcase( T val ) { return (_Ostream_Manip(T))@{ val, 1, 0, 'G', { .all : 0 } }; } \
[3c573e9]254 _Ostream_Manip(T) & upcase( _Ostream_Manip(T) & fmt ) { fmt.base -= 32; /* upper case */ return fmt; } \
255 _Ostream_Manip(T) & pad0( _Ostream_Manip(T) & fmt ) { fmt.flags.pad0 = true; return fmt; } \
[61c7239]256 _Ostream_Manip(T) sign( T val ) { return (_Ostream_Manip(T))@{ val, 1, 0, 'g', { .flags.sign : true } }; } \
[3c573e9]257 _Ostream_Manip(T) & sign( _Ostream_Manip(T) & fmt ) { fmt.flags.sign = true; return fmt; } \
[61c7239]258 _Ostream_Manip(T) nodp( T val ) { return (_Ostream_Manip(T))@{ val, 1, 0, 'g', { .flags.nobsdp : true } }; } \
[3c573e9]259 _Ostream_Manip(T) & nodp( _Ostream_Manip(T) & fmt ) { fmt.flags.nobsdp = true; return fmt; } \
[fd4c009]260 _Ostream_Manip(T) unit( T val ) { return (_Ostream_Manip(T))@{ val, 1, 0, 'g', { .flags.nobsdp : true } }; } \
261 _Ostream_Manip(T) & unit( _Ostream_Manip(T) & fmt ) { fmt.flags.nobsdp = true; return fmt; } \
[04396aa]262} /* distribution */ \
[85d8153]263forall( ostype & | basic_ostream( ostype ) ) { \
[3c573e9]264 ostype & ?|?( ostype & os, _Ostream_Manip(T) f ); \
[c635047]265 OSTYPE_VOID( _Ostream_Manip(T) ); \
[61c7239]266} // ?|?
[3c573e9]267
[94d2544]268FLOATING_POINT_FMT_DECL( double )
269FLOATING_POINT_FMT_DECL( long double )
[3c573e9]270
[8d321f9]271// *********************************** character ***********************************
[3c573e9]272
273static inline {
[04396aa]274 _Ostream_Manip(char) bin( char c ) { return (_Ostream_Manip(char))@{ c, 1, 0, 'b', { .all : 0 } }; }
275 _Ostream_Manip(char) oct( char c ) { return (_Ostream_Manip(char))@{ c, 1, 0, 'o', { .all : 0 } }; }
276 _Ostream_Manip(char) hex( char c ) { return (_Ostream_Manip(char))@{ c, 1, 0, 'x', { .all : 0 } }; }
277 _Ostream_Manip(char) wd( unsigned int w, char c ) { return (_Ostream_Manip(char))@{ c, w, 0, 'c', { .all : 0 } }; }
[891b827]278 _Ostream_Manip(char) & wd( unsigned int w, _Ostream_Manip(char) & fmt ) { fmt.wd = w; return fmt; }
[3c573e9]279 _Ostream_Manip(char) & left( _Ostream_Manip(char) & fmt ) { fmt.flags.left = true; return fmt; }
280 _Ostream_Manip(char) & upcase( _Ostream_Manip(char) & fmt ) { if ( fmt.base == 'x' || fmt.base == 'b' ) fmt.base -= 32; /* upper case */ return fmt; }
281 _Ostream_Manip(char) & nobase( _Ostream_Manip(char) & fmt ) { fmt.flags.nobsdp = true; return fmt; }
282} // distribution
[85d8153]283forall( ostype & | basic_ostream( ostype ) ) {
[3c573e9]284 ostype & ?|?( ostype & os, _Ostream_Manip(char) f );
[c635047]285 OSTYPE_VOID( _Ostream_Manip(char) ); \
[61c7239]286} // ?|?
[3c573e9]287
[8d321f9]288// *********************************** C string ***********************************
[3c573e9]289
290static inline {
[e3fea42]291 _Ostream_Manip(const char *) bin( const char s[] ) { return (_Ostream_Manip(const char *))@{ s, 1, 0, 'b', { .all : 0 } }; }
292 _Ostream_Manip(const char *) oct( const char s[] ) { return (_Ostream_Manip(const char *))@{ s, 1, 0, 'o', { .all : 0 } }; }
293 _Ostream_Manip(const char *) hex( const char s[] ) { return (_Ostream_Manip(const char *))@{ s, 1, 0, 'x', { .all : 0 } }; }
294 _Ostream_Manip(const char *) wd( unsigned int w, const char s[] ) { return (_Ostream_Manip(const char *))@{ s, w, 0, 's', { .all : 0 } }; }
[424dfc4]295 _Ostream_Manip(const char *) wd( unsigned int w, unsigned int pc, const char s[] ) { return (_Ostream_Manip(const char *))@{ s, w, pc, 's', { .flags.pc : true } }; }
[891b827]296 _Ostream_Manip(const char *) & wd( unsigned int w, _Ostream_Manip(const char *) & fmt ) { fmt.wd = w; return fmt; }
[424dfc4]297 _Ostream_Manip(const char *) & wd( unsigned int w, unsigned int pc, _Ostream_Manip(const char *) & fmt ) { fmt.wd = w; fmt.pc = pc; fmt.flags.pc = true; return fmt; }
[3c573e9]298 _Ostream_Manip(const char *) & left( _Ostream_Manip(const char *) & fmt ) { fmt.flags.left = true; return fmt; }
299 _Ostream_Manip(const char *) & nobase( _Ostream_Manip(const char *) & fmt ) { fmt.flags.nobsdp = true; return fmt; }
300} // distribution
[85d8153]301forall( ostype & | basic_ostream( ostype ) ) {
[3c573e9]302 ostype & ?|?( ostype & os, _Ostream_Manip(const char *) f );
[c635047]303 OSTYPE_VOID( _Ostream_Manip(const char *) ); \
[61c7239]304} // ?|?
[3c573e9]305
306
[8d321f9]307// *********************************** istream ***********************************
[3c573e9]308
[51b73452]309
[94d2544]310#define ISTYPE_VOID( T ) void ?|?( istype &, T )
311#define ISTYPE_VOID_IMPL( T ) \
[c635047]312 void ?|?( istype & is, T t ) { \
[94d2544]313 (istype &)(is | t); ends( is ); \
314 } // ?|?
315
[8a97248]316forall( istype & )
317trait basic_istream {
[c8371b5]318 // private
319 bool getANL$( istype & ); // get scan newline (on/off)
320 // public
[0efb269]321 void nlOn( istype & ); // read newline
322 void nlOff( istype & ); // scan newline
[e474cf09]323 void ends( istype & os ); // end of output statement
[ef3ac46]324 int fmt( istype &, const char format[], ... ) __attribute__(( format(scanf, 2, 3) ));
325 istype & ungetc( istype &, char );
[00e9be9]326 bool eof( istype & );
[ef3ac46]327}; // basic_istream
328
[8a97248]329forall( istype & | basic_istream( istype ) )
330trait istream {
[ef3ac46]331 bool fail( istype & );
[00e9be9]332 void clear( istype & );
[e3fea42]333 void open( istype & is, const char name[] );
[09687aa]334 void close( istype & is );
[00e9be9]335 istype & read( istype &, char [], size_t );
[86f384b]336}; // istream
[51b73452]337
[8a97248]338forall( T )
339trait readable {
[fd54fef]340 forall( istype & | istream( istype ) ) istype & ?|?( istype &, T );
[86f384b]341}; // readable
[51b73452]342
[ef3ac46]343forall( istype & | basic_istream( istype ) ) {
[93c2e0a]344 istype & ?|?( istype &, bool & );
[94d2544]345 ISTYPE_VOID( bool & );
[3ce0d440]346
347 istype & ?|?( istype &, char & );
[94d2544]348 ISTYPE_VOID( char & );
[3ce0d440]349 istype & ?|?( istype &, signed char & );
[94d2544]350 ISTYPE_VOID( signed char & );
[3ce0d440]351 istype & ?|?( istype &, unsigned char & );
[94d2544]352 ISTYPE_VOID( unsigned char & );
[3ce0d440]353
354 istype & ?|?( istype &, short int & );
[94d2544]355 ISTYPE_VOID( short int & );
[3ce0d440]356 istype & ?|?( istype &, unsigned short int & );
[94d2544]357 ISTYPE_VOID( unsigned short int & );
[3ce0d440]358 istype & ?|?( istype &, int & );
[94d2544]359 ISTYPE_VOID( int & );
[3ce0d440]360 istype & ?|?( istype &, unsigned int & );
[94d2544]361 ISTYPE_VOID( unsigned int & );
[3ce0d440]362 istype & ?|?( istype &, long int & );
[94d2544]363 ISTYPE_VOID( long int & );
[3ce0d440]364 istype & ?|?( istype &, unsigned long int & );
[94d2544]365 ISTYPE_VOID( unsigned long int & );
[21baa40]366 istype & ?|?( istype &, long long int & );
[94d2544]367 ISTYPE_VOID( long long int & );
[3ce0d440]368 istype & ?|?( istype &, unsigned long long int & );
[94d2544]369 ISTYPE_VOID( unsigned long long int & );
[ef3ac46]370 #if defined( __SIZEOF_INT128__ )
[21baa40]371 istype & ?|?( istype &, int128 & );
[94d2544]372 ISTYPE_VOID( int128 & );
[21baa40]373 istype & ?|?( istype &, unsigned int128 & );
[94d2544]374 ISTYPE_VOID( unsigned int128 & );
[ef3ac46]375 #endif // __SIZEOF_INT128__
[3ce0d440]376
377 istype & ?|?( istype &, float & );
[94d2544]378 ISTYPE_VOID( float & );
[3ce0d440]379 istype & ?|?( istype &, double & );
[94d2544]380 ISTYPE_VOID( double & );
[3ce0d440]381 istype & ?|?( istype &, long double & );
[94d2544]382 ISTYPE_VOID( long double & );
[3ce0d440]383
384 istype & ?|?( istype &, float _Complex & );
[94d2544]385 ISTYPE_VOID( float _Complex & );
[3ce0d440]386 istype & ?|?( istype &, double _Complex & );
[94d2544]387 ISTYPE_VOID( double _Complex & );
[3ce0d440]388 istype & ?|?( istype &, long double _Complex & );
[94d2544]389 ISTYPE_VOID( long double _Complex & );
[3ce0d440]390
[e3fea42]391// istype & ?|?( istype &, const char [] );
[e474cf09]392 istype & ?|?( istype &, char [] );
[c635047]393 ISTYPE_VOID( char * );
[61c7239]394
[3ce0d440]395 // manipulators
396 istype & ?|?( istype &, istype & (*)( istype & ) );
[94d2544]397 ISTYPE_VOID( istype & (*)( istype & ) );
[200fcb3]398 istype & nl( istype & is );
[3c5dee4]399 istype & nlOn( istype & );
400 istype & nlOff( istype & );
[ef3ac46]401} // distribution
402
[8d321f9]403// *********************************** manipulators ***********************************
[51b73452]404
[3c573e9]405struct _Istream_Cstr {
[61c7239]406 char * s;
407 const char * scanset;
[3c573e9]408 int wd; // width
[61c7239]409 union {
410 unsigned char all;
411 struct {
412 unsigned char ignore:1; // do not change input argument
413 unsigned char inex:1; // include/exclude characters in scanset
414 } flags;
415 };
416}; // _Istream_Cstr
417
[04396aa]418static inline {
[e3fea42]419 _Istream_Cstr skip( const char scanset[] ) { return (_Istream_Cstr){ 0p, scanset, -1, { .all : 0 } }; }
[424dfc4]420 _Istream_Cstr skip( unsigned int n ) { return (_Istream_Cstr){ 0p, 0p, n, { .all : 0 } }; }
[e3fea42]421 _Istream_Cstr incl( const char scanset[], char * s ) { return (_Istream_Cstr){ s, scanset, -1, { .flags.inex : false } }; }
422 _Istream_Cstr & incl( const char scanset[], _Istream_Cstr & fmt ) { fmt.scanset = scanset; fmt.flags.inex = false; return fmt; }
423 _Istream_Cstr excl( const char scanset[], char * s ) { return (_Istream_Cstr){ s, scanset, -1, { .flags.inex : true } }; }
424 _Istream_Cstr & excl( const char scanset[], _Istream_Cstr & fmt ) { fmt.scanset = scanset; fmt.flags.inex = true; return fmt; }
[b81fd95]425 _Istream_Cstr ignore( char s[] ) { return (_Istream_Cstr)@{ s, 0p, -1, { .flags.ignore : true } }; }
[04396aa]426 _Istream_Cstr & ignore( _Istream_Cstr & fmt ) { fmt.flags.ignore = true; return fmt; }
[e3fea42]427 _Istream_Cstr wdi( unsigned int w, char s[] ) { return (_Istream_Cstr)@{ s, 0p, w, { .all : 0 } }; }
[dc5072f]428 _Istream_Cstr & wdi( unsigned int w, _Istream_Cstr & fmt ) { fmt.wd = w; return fmt; }
[04396aa]429} // distribution
[ef3ac46]430forall( istype & | basic_istream( istype ) ) {
[e474cf09]431 istype & ?|?( istype & is, _Istream_Cstr f );
[c635047]432 ISTYPE_VOID( _Istream_Cstr );
[e474cf09]433}
[86a8be5]434
435struct _Istream_Char {
436 bool ignore; // do not change input argument
437}; // _Istream_Char
438
[04396aa]439static inline {
[2c60c644]440 _Istream_Char ignore( const char ) { return (_Istream_Char)@{ true }; }
[04396aa]441 _Istream_Char & ignore( _Istream_Char & fmt ) { fmt.ignore = true; return fmt; }
442} // distribution
[ef3ac46]443forall( istype & | basic_istream( istype ) ) {
[e474cf09]444 istype & ?|?( istype & is, _Istream_Char f );
[c635047]445 ISTYPE_VOID( _Istream_Char );
[e474cf09]446}
[3c573e9]447
[fd54fef]448forall( T & | sized( T ) )
[3c573e9]449struct _Istream_Manip {
450 T & val; // polymorphic base-type
451 int wd; // width
[61c7239]452 bool ignore; // do not change input argument
[3c573e9]453}; // _Istream_Manip
454
[94d2544]455#define INPUT_FMT_DECL( T ) \
[04396aa]456static inline { \
457 _Istream_Manip(T) ignore( const T & val ) { return (_Istream_Manip(T))@{ (T &)val, -1, true }; } \
458 _Istream_Manip(T) & ignore( _Istream_Manip(T) & fmt ) { fmt.ignore = true; return fmt; } \
459 _Istream_Manip(T) wdi( unsigned int w, T & val ) { return (_Istream_Manip(T))@{ val, w, false }; } \
[dc5072f]460 _Istream_Manip(T) & wdi( unsigned int w, _Istream_Manip(T) & fmt ) { fmt.wd = w; return fmt; } \
[04396aa]461} /* distribution */ \
[ef3ac46]462forall( istype & | basic_istream( istype ) ) { \
[3c573e9]463 istype & ?|?( istype & is, _Istream_Manip(T) f ); \
[c635047]464 ISTYPE_VOID( _Istream_Manip(T) ); \
[61c7239]465} // ?|?
[3c573e9]466
[94d2544]467INPUT_FMT_DECL( signed char )
468INPUT_FMT_DECL( unsigned char )
469INPUT_FMT_DECL( signed short int )
470INPUT_FMT_DECL( unsigned short int )
471INPUT_FMT_DECL( signed int )
472INPUT_FMT_DECL( unsigned int )
473INPUT_FMT_DECL( signed long int )
474INPUT_FMT_DECL( unsigned long int )
475INPUT_FMT_DECL( signed long long int )
476INPUT_FMT_DECL( unsigned long long int )
477
478INPUT_FMT_DECL( float )
479INPUT_FMT_DECL( double )
480INPUT_FMT_DECL( long double )
481
482INPUT_FMT_DECL( float _Complex )
483INPUT_FMT_DECL( double _Complex )
484INPUT_FMT_DECL( long double _Complex )
[3c573e9]485
486
[8d321f9]487// *********************************** time ***********************************
[3c573e9]488
[10a97adb]489
[200fcb3]490#include <time_t.hfa> // Duration (constructors) / Time (constructors)
[10a97adb]491
[fd54fef]492forall( ostype & | ostream( ostype ) ) {
[200fcb3]493 ostype & ?|?( ostype & os, Duration dur );
[c635047]494 OSTYPE_VOID( Duration );
[200fcb3]495 ostype & ?|?( ostype & os, Time time );
[c635047]496 OSTYPE_VOID( Time );
[200fcb3]497} // distribution
[10a97adb]498
[86bd7c1f]499// Local Variables: //
500// tab-width: 4 //
501// End: //
Note: See TracBrowser for help on using the repository browser.