source: libcfa/src/iostream.hfa @ d3c3261

Last change on this file since d3c3261 was 0a2e0e21, checked in by Peter A. Buhr <pabuhr@…>, 12 months 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
[51b7345]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
[51b7345]73
[4e06c1e]74// implement writable for intrinsic types
[51b7345]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
[51b7345]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
[51b7345]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
[51b7345]337
[8a97248]338forall( T )
339trait readable {
[fd54fef]340        forall( istype & | istream( istype ) ) istype & ?|?( istype &, T );
[86f384b]341}; // readable
[51b7345]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 ***********************************
[51b7345]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
[10a97ad]489
[200fcb3]490#include <time_t.hfa>                                                                   // Duration (constructors) / Time (constructors)
[10a97ad]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
[10a97ad]498
[86bd7c1f]499// Local Variables: //
500// tab-width: 4 //
501// End: //
Note: See TracBrowser for help on using the repository browser.