source: libcfa/src/iostream.hfa @ fa6ca1a

ADTast-experimental
Last change on this file since fa6ca1a was 8a97248, checked in by Peter A. Buhr <pabuhr@…>, 21 months ago

switch from old trait syntax to new trait syntax using forall clause

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