source: libcfa/src/iostream.cfa@ 950c58e

Last change on this file since 950c58e was 686912c, checked in by Peter A. Buhr <pabuhr@…>, 2 years ago

third attempt at input manipulators for strings

  • Property mode set to 100644
File size: 37.3 KB
Line 
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//
7// iostream.cfa --
8//
9// Author : Peter A. Buhr
10// Created On : Wed May 27 17:56:53 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Thu Aug 31 11:27:56 2023
13// Update Count : 1545
14//
15
16#include "iostream.hfa"
17
18#include <stdio.h>
19#include <stdbool.h> // true/false
20#include <stdint.h> // UINT64_MAX
21#include <float.h> // DBL_DIG, LDBL_DIG
22#include <complex.h> // creal, cimag
23//#include <stdio.h>
24
25extern "C" {
26extern size_t strlen (const char *__s) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__pure__)) __attribute__ ((__nonnull__ (1)));
27extern int strcmp (const char *__s1, const char *__s2) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__pure__)) __attribute__ ((__nonnull__ (1, 2)));
28extern char *strcpy (char *__restrict __dest, const char *__restrict __src) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__nonnull__ (1, 2)));
29extern void *memcpy (void *__restrict __dest, const void *__restrict __src, size_t __n) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__nonnull__ (1, 2)));
30} // extern "C"
31
32#include "math.hfa" // isfinite, floor, ceiling_div
33#include "bitmanip.hfa" // high1
34
35#pragma GCC visibility push(default)
36
37
38// *********************************** ostream ***********************************
39
40
41forall( ostype & | basic_ostream( ostype ) ) {
42 ostype & ?|?( ostype & os, bool b ) {
43 if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
44 fmt( os, "%s", b ? "true" : "false" );
45 return os;
46 } // ?|?
47 OSTYPE_VOID_IMPL( bool )
48
49 ostype & ?|?( ostype & os, char c ) {
50 fmt( os, "%c", c );
51 if ( c == '\n' ) setNL$( os, true );
52 return nosep( os );
53 } // ?|?
54 OSTYPE_VOID_IMPL( char )
55
56 ostype & ?|?( ostype & os, signed char sc ) {
57 if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
58 fmt( os, "%'hhd", sc );
59 return os;
60 } // ?|?
61 OSTYPE_VOID_IMPL( signed char )
62
63 ostype & ?|?( ostype & os, unsigned char usc ) {
64 if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
65 fmt( os, "%'hhu", usc );
66 return os;
67 } // ?|?
68 OSTYPE_VOID_IMPL( unsigned char )
69
70 ostype & ?|?( ostype & os, short int si ) {
71 if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
72 fmt( os, "%'hd", si );
73 return os;
74 } // ?|?
75 OSTYPE_VOID_IMPL( short int )
76
77 ostype & ?|?( ostype & os, unsigned short int usi ) {
78 if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
79 fmt( os, "%'hu", usi );
80 return os;
81 } // ?|?
82 OSTYPE_VOID_IMPL( unsigned short int )
83
84 ostype & ?|?( ostype & os, int i ) {
85 if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
86 fmt( os, "%'d", i );
87 return os;
88 } // ?|?
89 OSTYPE_VOID_IMPL( int )
90
91 ostype & ?|?( ostype & os, unsigned int ui ) {
92 if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
93 fmt( os, "%'u", ui );
94 return os;
95 } // ?|?
96 OSTYPE_VOID_IMPL( unsigned int )
97
98 ostype & ?|?( ostype & os, long int li ) {
99 if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
100 fmt( os, "%'ld", li );
101 return os;
102 } // ?|?
103 OSTYPE_VOID_IMPL( long int )
104
105 ostype & ?|?( ostype & os, unsigned long int uli ) {
106 if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
107 fmt( os, "%'lu", uli );
108 return os;
109 } // ?|?
110 OSTYPE_VOID_IMPL( unsigned long int )
111
112 ostype & ?|?( ostype & os, long long int lli ) {
113 if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
114 fmt( os, "%'lld", lli );
115 return os;
116 } // ?|?
117 OSTYPE_VOID_IMPL( long long int )
118
119 ostype & ?|?( ostype & os, unsigned long long int ulli ) {
120 if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
121 fmt( os, "%'llu", ulli );
122 return os;
123 } // ?|?
124 OSTYPE_VOID_IMPL( unsigned long long int )
125
126 #if defined( __SIZEOF_INT128__ )
127 // UINT64_MAX 18_446_744_073_709_551_615_ULL
128 #define P10_UINT64 10_000_000_000_000_000_000_ULL // 19 zeroes
129
130 static inline void base10_128( ostype & os, unsigned int128 val ) {
131 #if defined(__GNUC__) && __GNUC_PREREQ(7,0) // gcc version >= 7
132 if ( val > P10_UINT64 ) {
133 #else
134 if ( (uint64_t)(val >> 64) != 0 || (uint64_t)val > P10_UINT64 ) { // patch gcc 5 & 6 -O3 bug
135 #endif // __GNUC_PREREQ(7,0)
136 base10_128( os, val / P10_UINT64 ); // recursive
137 fmt( os, "%.19lu", (uint64_t)(val % P10_UINT64) );
138 } else {
139 fmt( os, "%lu", (uint64_t)val );
140 } // if
141 } // base10_128
142
143 static inline void base10_128( ostype & os, int128 val ) {
144 if ( val < 0 ) {
145 fmt( os, "-" ); // leading negative sign
146 val = -val;
147 } // if
148 base10_128( os, (unsigned int128)val ); // print zero/positive value
149 } // base10_128
150
151 ostype & ?|?( ostype & os, int128 llli ) {
152 if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
153 base10_128( os, llli );
154 return os;
155 } // ?|?
156 OSTYPE_VOID_IMPL( int128 )
157
158 ostype & ?|?( ostype & os, unsigned int128 ullli ) {
159 if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
160 base10_128( os, ullli );
161 return os;
162 } // ?|?
163 OSTYPE_VOID_IMPL( unsigned int128 )
164 #endif // __SIZEOF_INT128__
165
166 #define PRINT_WITH_DP( os, format, val, ... ) \
167 { \
168 enum { size = 48 }; \
169 char buf[size]; \
170 int len = snprintf( buf, size, format, ##__VA_ARGS__, val ); \
171 fmt( os, "%s", buf ); \
172 if ( isfinite( val ) ) { /* if number, print decimal point when no fraction or exponent */ \
173 for ( i; 0 ~ @ ) { \
174 if ( i == len ) { fmt( os, "." ); break; } \
175 if ( buf[i] == '.' || buf[i] == 'e' || buf[i] == 'E' || \
176 buf[i] == 'p' || buf[i] == 'P' ) break; /* decimal point or scientific ? */ \
177 } /* for */ \
178 } /* if */ \
179 }
180
181 ostype & ?|?( ostype & os, float f ) {
182 if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
183 PRINT_WITH_DP( os, "%'g", f );
184 return os;
185 } // ?|?
186 OSTYPE_VOID_IMPL( float )
187
188 ostype & ?|?( ostype & os, double d ) {
189 if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
190 PRINT_WITH_DP( os, "%'.*lg", d, DBL_DIG );
191 return os;
192 } // ?|?
193 OSTYPE_VOID_IMPL( double )
194
195 ostype & ?|?( ostype & os, long double ld ) {
196 if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
197 PRINT_WITH_DP( os, "%'.*Lg", ld, LDBL_DIG );
198 return os;
199 } // ?|?
200 OSTYPE_VOID_IMPL( long double )
201
202 ostype & ?|?( ostype & os, float _Complex fc ) {
203 if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
204// os | crealf( fc ) | nonl;
205 PRINT_WITH_DP( os, "%'g", crealf( fc ) );
206 PRINT_WITH_DP( os, "%'+g", cimagf( fc ) );
207 fmt( os, "i" );
208 return os;
209 } // ?|?
210 OSTYPE_VOID_IMPL( float _Complex )
211
212 ostype & ?|?( ostype & os, double _Complex dc ) {
213 if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
214// os | creal( dc ) | nonl;
215 PRINT_WITH_DP( os, "%'.*lg", creal( dc ), DBL_DIG );
216 PRINT_WITH_DP( os, "%'+.*lg", cimag( dc ), DBL_DIG );
217 fmt( os, "i" );
218 return os;
219 } // ?|?
220 OSTYPE_VOID_IMPL( double _Complex )
221
222 ostype & ?|?( ostype & os, long double _Complex ldc ) {
223 if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
224// os | creall( ldc ) || nonl;
225 PRINT_WITH_DP( os, "%'.*Lg", creall( ldc ), LDBL_DIG );
226 PRINT_WITH_DP( os, "%'+.*Lg", cimagl( ldc ), LDBL_DIG );
227 fmt( os, "i" );
228 return os;
229 } // ?|?
230 OSTYPE_VOID_IMPL( long double _Complex )
231
232 ostype & ?|?( ostype & os, const char s[] ) {
233 enum { Open = 1, Close, OpenClose };
234 static const unsigned char mask[256] @= { // 256 covers all Latin-1 characters
235 // opening delimiters, no space after
236 ['('] : Open, ['['] : Open, ['{'] : Open,
237 ['='] : Open, ['$'] : Open, [(unsigned char)'£'] : Open, [(unsigned char)'¥'] : Open,
238 [(unsigned char)'¡'] : Open, [(unsigned char)'¿'] : Open, [(unsigned char)'«'] : Open,
239 // closing delimiters, no space before
240 [','] : Close, ['.'] : Close, [';'] : Close, ['!'] : Close, ['?'] : Close,
241 ['%'] : Close, [(unsigned char)'¢'] : Close, [(unsigned char)'»'] : Close,
242 [')'] : Close, [']'] : Close, ['}'] : Close,
243 // opening-closing delimiters, no space before or after
244 ['\''] : OpenClose, ['`'] : OpenClose, ['"'] : OpenClose, [':'] : OpenClose,
245 [' '] : OpenClose, ['\f'] : OpenClose, ['\n'] : OpenClose, ['\r'] : OpenClose, ['\t'] : OpenClose, ['\v'] : OpenClose, // isspace
246 }; // mask
247
248 if ( s == 0p ) { fmt( os, "%s", "0p" ); return os; } // null pointer
249 if ( s[0] == '\0' ) { nosep( os ); return os; } // null string => no leading/trailing separator
250
251 // first character IS NOT spacing or closing punctuation => add left separator
252 unsigned char ch = s[0]; // must make unsigned
253 if ( sepPrt$( os ) && mask[ ch ] != Close && mask[ ch ] != OpenClose ) {
254 fmt( os, "%s", sepGetCur$( os ) );
255 } // if
256
257 // if string starts line, must reset to determine open state because separator is off
258 sepReset$( os ); // reset separator
259
260 // last character IS spacing or opening punctuation => turn off separator for next item
261 int len = strlen( s );
262 ch = s[len - 1]; // must make unsigned
263 fmt( os, "%s", s ); // fmt resets seperator, but reset it again
264 if ( sepPrt$( os ) && mask[ ch ] != Open && mask[ ch ] != OpenClose ) {
265 sep( os );
266 } else {
267 nosep( os );
268 } // if
269 if ( ch == '\n' ) setNL$( os, true ); // check *AFTER* sepPrt$ call above as it resets NL flag
270 return os;
271// return write( os, s, len );
272 } // ?|?
273 OSTYPE_VOID_IMPL( const char * )
274
275// ostype & ?|?( ostype & os, const char16_t s[] ) {
276// if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
277// fmt( os, "%ls", s );
278// return os;
279// } // ?|?
280
281// #if ! ( __ARM_ARCH_ISA_ARM == 1 && __ARM_32BIT_STATE == 1 ) // char32_t == wchar_t => ambiguous
282// ostype & ?|?( ostype & os, const char32_t s[] ) {
283// if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
284// fmt( os, "%ls", s );
285// return os;
286// } // ?|?
287// #endif // ! ( __ARM_ARCH_ISA_ARM == 1 && __ARM_32BIT_STATE == 1 )
288
289// ostype & ?|?( ostype & os, const wchar_t s[] ) {
290// if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
291// fmt( os, "%ls", s );
292// return os;
293// } // ?|?
294
295 ostype & ?|?( ostype & os, const void * p ) {
296 if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
297 fmt( os, "%p", p );
298 return os;
299 } // ?|?
300 OSTYPE_VOID_IMPL( const void * )
301
302 // manipulators
303 ostype & ?|?( ostype & os, ostype & (* manip)( ostype & ) ) {
304 return manip( os );
305 } // ?|?
306 void ?|?( ostype & os, ostype & (* manip)( ostype & ) ) {
307 manip( os );
308 if ( getPrt$( os ) ) ends( os ); // something printed ?
309 setPrt$( os, false ); // turn off
310 } // ?|?
311
312 ostype & nl( ostype & os ) {
313 (ostype &)(os | '\n');
314 setPrt$( os, false ); // turn off
315 setNL$( os, true );
316 return nosep( os ); // prepare for next line
317 } // nl
318
319 ostype & nonl( ostype & os ) {
320 setPrt$( os, false ); // turn off
321 return os;
322 } // nonl
323
324 ostype & nlOn( ostype & os ) {
325 nlOn( os ); // call void returning
326 return os;
327 } // nlOn
328
329 ostype & nlOff( ostype & os ) {
330 nlOff( os ); // call void returning
331 return os;
332 } // nlOff
333
334 ostype & sepVal( ostype & os ) {
335 return (ostype &)(os | sepGet( os ));
336 } // sepVal
337
338 ostype & sepTupleVal( ostype & os ) {
339 return os | sepGetTuple( os );
340 } // sepTupleVal
341
342 ostype & sep( ostype & os ) {
343 sep( os ); // call void returning
344 return os;
345 } // sep
346
347 ostype & nosep( ostype & os ) {
348 nosep( os ); // call void returning
349 return os;
350 } // nosep
351
352 ostype & sepOn( ostype & os ) {
353 sepOn( os ); // call void returning
354 return os;
355 } // sepOn
356
357 ostype & sepOff( ostype & os ) {
358 sepOff( os ); // call void returning
359 return os;
360 } // sepOff
361} // distribution
362
363// tuples
364forall( ostype &, T, Params... | writeable( T, ostype ) | { ostype & ?|?( ostype &, Params ); } ) {
365 ostype & ?|?( ostype & os, T arg, Params rest ) {
366 (ostype &)(os | arg); // print first argument
367 sepSetCur$( os, sepGetTuple( os ) ); // switch to tuple separator
368 (ostype &)(os | rest); // print remaining arguments
369 sepSetCur$( os, sepGet( os ) ); // switch to regular separator
370 return os;
371 } // ?|?
372 void ?|?( ostype & os, T arg, Params rest ) {
373 // (ostype &)(?|?( os, arg, rest )); ends( os );
374 (ostype &)(os | arg); // print first argument
375 sepSetCur$( os, sepGetTuple( os ) ); // switch to tuple separator
376 (ostype &)(os | rest); // print remaining arguments
377 sepSetCur$( os, sepGet( os ) ); // switch to regular separator
378 ends( os );
379 } // ?|?
380} // distribution
381
382// writes the range [begin, end) to the given stream
383forall( ostype &, elt_type | writeable( elt_type, ostype ), iterator_type | iterator( iterator_type, elt_type ) ) {
384 void write( iterator_type begin, iterator_type end, ostype & os ) {
385 void print( elt_type i ) { os | i; }
386 for_each( begin, end, print );
387 } // ?|?
388
389 void write_reverse( iterator_type begin, iterator_type end, ostype & os ) {
390 void print( elt_type i ) { os | i; }
391 for_each_reverse( begin, end, print );
392 } // ?|?
393} // distribution
394
395// *********************************** manipulators ***********************************
396
397// *********************************** integral ***********************************
398
399static const char * shortbin[] = { "0", "1", "10", "11", "100", "101", "110", "111", "1000", "1001", "1010", "1011", "1100", "1101", "1110", "1111" };
400static const char * longbin[] = { "0000", "0001", "0010", "0011", "0100", "0101", "0110", "0111", "1000", "1001", "1010", "1011", "1100", "1101", "1110", "1111" };
401
402// Default prefix for non-decimal prints is 0b, 0, 0x.
403#define INTEGRAL_FMT_IMPL( T, IFMTNP, IFMTP ) \
404forall( ostype & | basic_ostream( ostype ) ) { \
405 ostype & ?|?( ostype & os, _Ostream_Manip(T) f ) { \
406 if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) ); \
407\
408 if ( f.base == 'b' || f.base == 'B' ) { /* bespoke binary format */ \
409 int bits = high1( f.val ); /* position of most significant bit */ \
410 if ( bits == 0 ) bits = 1; /* 0 value => force one bit to print */ \
411 int spaces; \
412 if ( ! f.flags.left ) { /* right justified ? */ \
413 /* Note, base prefix then zero padding or spacing then prefix. */ \
414 if ( f.flags.pc ) { \
415 spaces = f.wd - f.pc; \
416 if ( ! f.flags.nobsdp ) { spaces -= 2; } /* base prefix takes space */ \
417 if ( spaces > 0 ) fmt( os, "%*s", spaces, " " ); /* space pad */ \
418 if ( ! f.flags.nobsdp ) { fmt( os, "0%c", f.base ); } \
419 spaces = f.pc - bits; \
420 if ( spaces > 0 ) fmt( os, "%0*d", spaces, 0 ); /* zero pad */ \
421 } else { \
422 spaces = f.wd - bits; \
423 if ( ! f.flags.nobsdp ) { spaces -= 2; } /* base prefix takes space */ \
424 if ( f.flags.pad0 ) { \
425 if ( ! f.flags.nobsdp ) { fmt( os, "0%c", f.base ); } \
426 if ( spaces > 0 ) fmt( os, "%0*d", spaces, 0 ); /* zero pad */ \
427 } else { \
428 if ( spaces > 0 ) fmt( os, "%*s", spaces, " " ); /* space pad */ \
429 if ( ! f.flags.nobsdp ) { fmt( os, "0%c", f.base ); } \
430 } /* if */ \
431 } /* if */ \
432 } else { \
433 if ( ! f.flags.nobsdp ) fmt( os, "0%c", f.base ); \
434 if ( f.flags.pc ) { \
435 spaces = f.pc - bits; \
436 if ( spaces > 0 ) fmt( os, "%0*d", spaces, 0 ); /* zero pad */ \
437 spaces = f.wd - f.pc; \
438 } else { /* pad0 flag ignored with left flag */ \
439 spaces = f.wd - bits; \
440 } /* if */ \
441 if ( ! f.flags.nobsdp ) { spaces -= 2; } /* base prefix takes space */ \
442 } /* if */ \
443 int shift = floor( bits - 1, 4 ); \
444 typeof( f.val ) temp = f.val; \
445 fmt( os, "%s", shortbin[(temp >> shift) & 0xf] ); \
446 for () { \
447 shift -= 4; \
448 if ( shift < 0 ) break; \
449 temp = f.val; \
450 fmt( os, "%s", longbin[(temp >> shift) & 0xf] ); \
451 } /* for */ \
452 if ( f.flags.left && spaces > 0 ) fmt( os, "%*s", spaces, " " ); \
453 return os; \
454 } /* if */ \
455\
456 char fmtstr[sizeof(IFMTP)]; /* sizeof includes '\0' */ \
457 if ( ! f.flags.pc ) memcpy( &fmtstr, IFMTNP, sizeof(IFMTNP) ); \
458 else memcpy( &fmtstr, IFMTP, sizeof(IFMTP) ); \
459 int star = 5; /* position before first '*' */ \
460\
461 /* Insert flags into spaces before '*', from right to left. */ \
462 if ( ! f.flags.nobsdp ) { fmtstr[star] = '#'; star -= 1; } \
463 if ( f.flags.left ) { fmtstr[star] = '-'; star -= 1; } \
464 if ( f.flags.sign ) { fmtstr[star] = '+'; star -= 1; } \
465 if ( f.flags.pad0 && ! f.flags.pc ) { fmtstr[star] = '0'; star -= 1; } \
466 fmtstr[star] = '\''; star -= 1; /* locale */ \
467 fmtstr[star] = '%'; \
468\
469 /* Special case printing 0 in hexadecimal as printf does not put the base. */ \
470 if ( (f.base == 'x' | f.base == 'X') && ! f.flags.nobsdp && f.val == 0 ) { \
471 fmt( os, f.base == 'x' ? "0x" : "0X" ); \
472 f.wd -= 2; \
473 if ( f.wd < 0 ) f.wd = 1; \
474 } /* if */ \
475\
476 if ( ! f.flags.pc ) { /* no precision */ \
477 fmtstr[sizeof(IFMTNP)-2] = f.base; /* sizeof includes '\0' */ \
478 /* printf( "%s %c\n", &fmtstr[star], f.base ); */ \
479 fmt( os, &fmtstr[star], f.wd, f.val ); \
480 } else { /* precision */ \
481 fmtstr[sizeof(IFMTP)-2] = f.base; /* sizeof includes '\0' */ \
482 /* printf( "%s %c\n", &fmtstr[star], f.base ); */ \
483 fmt( os, &fmtstr[star], f.wd, f.pc, f.val ); \
484 } /* if */ \
485 return os; \
486 } /* ?|? */ \
487 OSTYPE_VOID_IMPL( _Ostream_Manip(T) ) \
488} // distribution
489
490INTEGRAL_FMT_IMPL( signed char, " *hh ", " *.*hh " )
491INTEGRAL_FMT_IMPL( unsigned char, " *hh ", " *.*hh " )
492INTEGRAL_FMT_IMPL( signed short int, " *h ", " *.*h " )
493INTEGRAL_FMT_IMPL( unsigned short int, " *h ", " *.*h " )
494INTEGRAL_FMT_IMPL( signed int, " * ", " *.* " )
495INTEGRAL_FMT_IMPL( unsigned int, " * ", " *.* " )
496INTEGRAL_FMT_IMPL( signed long int, " *l ", " *.*l " )
497INTEGRAL_FMT_IMPL( unsigned long int, " *l ", " *.*l " )
498INTEGRAL_FMT_IMPL( signed long long int, " *ll ", " *.*ll " )
499INTEGRAL_FMT_IMPL( unsigned long long int, " *ll ", " *.*ll " )
500
501
502#if defined( __SIZEOF_INT128__ )
503// Default prefix for non-decimal prints is 0b, 0, 0x.
504forall( ostype & | basic_ostream( ostype ) )
505static inline void base_128( ostype & os, unsigned int128 val, unsigned int128 power, _Ostream_Manip(uint64_t) & f, unsigned int maxdig, unsigned int bits, unsigned int cnt = 0 ) {
506 int wd = 1; // f.wd is never 0 because 0 implies left-pad
507 if ( val > power ) { // subdivide value into printable 64-bit values
508 base_128( os, val / power, power, f, maxdig, bits, cnt + 1 ); // recursive
509 f.val = val % power;
510 if ( cnt == 1 && f.flags.left ) { wd = f.wd; f.wd = maxdig; } // copy f.wd and reset for printing middle chunk
511 // printf( "R val:%#lx(%lu) wd:%u pc:%u base:%c neg:%d pc:%d left:%d nobsdp:%d sign:%d pad0:%d\n",
512 // f.val, f.val, f.wd, f.pc, f.base, f.flags.neg, f.flags.pc, f.flags.left, f.flags.nobsdp, f.flags.sign, f.flags.pad0 );
513 (ostype &)(os | f);
514 if ( cnt == 1 ) {
515 if ( f.flags.left ) { wd -= maxdig; f.wd = wd < 0 ? 1 : wd; } // update and restore f.wd for printing end chunk
516 nosep( os ); // no seperator between chunks
517 } // if
518 } else { // print start chunk
519 f.val = val;
520 // f.pc is unsigned => use wd
521 if ( f.flags.pc && f.pc > maxdig * cnt ) { wd = f.pc - maxdig * cnt; f.pc = wd < 0 ? 0 : wd; }
522 else { f.flags.pc = false; f.pc = 0; }
523
524 if ( ! f.flags.left ) { // right justify
525 wd = f.wd - maxdig * cnt;
526 f.wd = wd < 0 ? 1 : wd;
527 wd = maxdig;
528 } else { // left justify
529 if ( cnt != 0 ) { // value >= 2^64 ?
530 unsigned int dig, bs = 0;
531 // compute size of prefix digits and base
532 if ( f.base == 'd' || f.base == 'u' ) { // no base prefix
533 dig = ceil( log10( f.val ) ); // use floating-point
534 if ( f.base == 'd' && (f.flags.neg || f.flags.sign) ) bs = 1; // sign ?
535 } else {
536 dig = ceiling_div( high1( f.val ), bits );
537 if ( ! f.flags.nobsdp ) { // base prefix ?
538 if ( f.base == 'o' ) {
539 // 0 prefix for octal is not added for precision with leading zero
540 if ( f.pc <= dig ) bs = 1; // 1 character prefix
541 } else bs = 2; // 2 character prefix
542 } // if
543 } // if
544 wd = f.wd - (f.pc > dig ? f.pc : dig) - bs; // precision > leading digits ?
545 if ( wd < 0 ) wd = 1;
546 f.wd = 1;
547 } // if
548 // all manipulators handled implicitly for value < 2^64
549 } // if
550 // prior checks ensure wd not negative
551
552 if ( f.flags.neg ) f.val = -f.val;
553 // printf( "L val:%#lx(%lu) wd:%u pc:%u base:%c neg:%d pc:%d left:%d nobsdp:%d sign:%d pad0:%d\n",
554 // f.val, f.val, f.wd, f.pc, f.base, f.flags.neg, f.flags.pc, f.flags.left, f.flags.nobsdp, f.flags.sign, f.flags.pad0 );
555 (ostype &)(os | f);
556
557 // remaining middle and end chunks are padded with 0s on the left
558 if ( ! f.flags.left ) { f.flags.pad0 = true; f.flags.pc = false; } // left pad with 0s
559 else { f.pc = maxdig; f.flags.pc = true; } // left pad with precision
560
561 if ( cnt != 0 ) nosep( os ); // no seperator between chunks
562 f.wd = wd; // reset f.wd for next chunk
563 f.flags.sign = false; // no leading +/- sign
564 f.flags.nobsdp = true; // no leading base prefix
565 } // if
566} // base_128
567
568#define INTEGRAL_FMT_IMPL128( T ) \
569forall( ostype & | basic_ostream( ostype ) ) { \
570 ostype & ?|?( ostype & os, _Ostream_Manip(T) f ) { \
571 _Ostream_Manip(uint64_t) fmt; \
572 fmt.[wd, pc, base, all] = f.[wd, pc, base, all]; \
573 if ( f.base == 'b' | f.base == 'B' ) { \
574 base_128( os, f.val, (unsigned int128)1 << 64, fmt, 64, 1 ); \
575 } else if ( f.base == 'o' ) { \
576 base_128( os, f.val, (unsigned int128)1 << 63, fmt, 21, 3 ); \
577 } else if ( f.base == 'd' || f.base == 'u' ) { \
578 if ( f.base == 'd' && f.val < 0 ) { f.val = -f.val; fmt.flags.neg = true; } \
579 base_128( os, f.val, (unsigned int128)10_000_000_000_000_000_000UL, fmt, 19, 0 ); \
580 } else { \
581 base_128( os, f.val, (unsigned int128)1 << 64, fmt, 16, 4 ); \
582 } /* if */ \
583 return os; \
584 } /* ?|? */ \
585 OSTYPE_VOID_IMPL( _Ostream_Manip(T) ) \
586} // distribution
587
588INTEGRAL_FMT_IMPL128( int128 )
589INTEGRAL_FMT_IMPL128( unsigned int128 )
590#endif // __SIZEOF_INT128__
591
592// *********************************** floating point ***********************************
593
594static const char *suffixes[] = {
595 "y", "z", "a", "f", "p", "n", "u", "m", "",
596 "K", "M", "G", "T", "P", "E", "Z", "Y"
597};
598#define SUFFIXES_START (-24) /* Smallest power for which there is a suffix defined. */
599#define SUFFIXES_END (SUFFIXES_START + (int)((sizeof(suffixes) / sizeof(char *) - 1) * 3))
600
601#define PRINT_WITH_DP2( os, format, ... ) \
602 { \
603 if ( ! f.flags.eng ) { \
604 len = snprintf( buf, size, format, ##__VA_ARGS__ ); \
605 if ( isfinite( f.val ) && ! f.flags.nobsdp ) { /* if number, print decimal point when no fraction or exponent */ \
606 for ( i = 0; i < len && buf[i] != '.' && buf[i] != 'e' && buf[i] != 'E' && \
607 buf[i] != 'p' && buf[i] != 'P'; i += 1 ); /* decimal point or scientific ? */ \
608 if ( i == len ) { \
609 if ( ! f.flags.left ) { \
610 buf[i] = '.'; buf[i + 1] = '\0'; \
611 if ( buf[0] == ' ' ) bufbeg = 1; /* decimal point within width */ \
612 } else { \
613 for ( i = 0; i < len && buf[i] != ' '; i += 1 ); /* trailing blank ? */ \
614 buf[i] = '.'; \
615 if ( i == len ) buf[i + 1] = '\0'; \
616 } /* if */ \
617 } /* if */ \
618 } /* if */ \
619 } else { \
620 int exp10, len2; \
621 eng( f.val, f.pc, exp10 ); /* changes arguments */ \
622 /* printf( "%g %d %d %d %s\n", f.val, f.wd, f.pc, exp10, format ); */ \
623 if ( ! f.flags.left && f.wd > 1 ) { \
624 /* Exponent size: 'e', optional minus sign, number of digits: log10(0) => undefined */ \
625 f.wd -= 1 + (exp10 < 0 ? 1 : 0) + lrint( floor( exp10 == 0 ? 0 : log10( abs( exp10 ) ) ) ) + 1; \
626 if ( f.wd < 1 ) f.wd = 1; \
627 } /* if */ \
628 len = snprintf( buf, size, format, ##__VA_ARGS__ ); \
629 if ( f.flags.left ) { \
630 for ( len -= 1; len > 0 && buf[len] == ' '; len -= 1 ); \
631 len += 1; \
632 } /* if */ \
633 if ( ! f.flags.nobsdp || (exp10 < SUFFIXES_START) || (exp10 > SUFFIXES_END) ) { \
634 len2 = snprintf( &buf[len], size - len, "e%d", (int)exp10 /* ambiguity with function exp10 */ ); \
635 } else { \
636 len2 = snprintf( &buf[len], size - len, "%s", suffixes[(exp10 - SUFFIXES_START) / 3] ); \
637 } /* if */ \
638 if ( f.flags.left && len + len2 < f.wd ) buf[len + len2] = ' '; \
639 } /* if */ \
640 fmt( os, "%s", &buf[bufbeg] ); \
641 }
642
643#define FLOATING_POINT_FMT_IMPL( T, DFMTNP, DFMTP ) \
644forall( ostype & | basic_ostream( ostype ) ) { \
645 static void eng( T &value, int & pc, int & exp10 ) { \
646 exp10 = lrint( floor( log10( abs( value ) ) ) ); /* round to desired precision */ \
647 if ( exp10 < 0 ) exp10 -= 2; \
648 exp10 = floor( exp10, 3 ); \
649 value *= pow( 10.0, -exp10 ); \
650 if ( pc <= 3 ) pc = 3; \
651 } /* eng */ \
652\
653 ostype & ?|?( ostype & os, _Ostream_Manip(T) f ) { \
654 enum { size = 48 }; \
655 char buf[size]; \
656 int bufbeg = 0, i, len; \
657\
658 if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) ); \
659 char fmtstr[sizeof(DFMTP) + 8]; /* sizeof includes '\0' */ \
660 if ( ! f.flags.pc ) memcpy( &fmtstr, DFMTNP, sizeof(DFMTNP) ); \
661 else memcpy( &fmtstr, DFMTP, sizeof(DFMTP) ); \
662 int star = 5; /* position before first '*' */ \
663\
664 /* Insert flags into spaces before '*', from right to left. */ \
665 if ( f.flags.left ) { fmtstr[star] = '-'; star -= 1; } \
666 if ( f.flags.sign ) { fmtstr[star] = '+'; star -= 1; } \
667 if ( f.flags.pad0 ) { fmtstr[star] = '0'; star -= 1; } \
668 fmtstr[star] = '\''; star -= 1; /* locale */ \
669 fmtstr[star] = '%'; \
670\
671 if ( ! f.flags.pc ) { /* no precision */ \
672 fmtstr[sizeof(DFMTNP)-2] = f.base; /* sizeof includes '\0' */ \
673 /* printf( "%g %d %s\n", f.val, f.wd, &fmtstr[star] ); */ \
674 PRINT_WITH_DP2( os, &fmtstr[star], f.wd, f.val ) \
675 } else { /* precision */ \
676 fmtstr[sizeof(DFMTP)-2] = f.base; /* sizeof includes '\0' */ \
677 /* printf( "%g %d %d %s\n", f.val, f.wd, f.pc, &fmtstr[star] ); */ \
678 PRINT_WITH_DP2( os, &fmtstr[star], f.wd, f.pc, f.val ) \
679 } /* if */ \
680 return os; \
681 } /* ?|? */ \
682\
683 OSTYPE_VOID_IMPL( _Ostream_Manip(T) ) \
684} // distribution
685
686FLOATING_POINT_FMT_IMPL( double, " * ", " *.* " )
687FLOATING_POINT_FMT_IMPL( long double, " *L ", " *.*L " )
688
689// *********************************** character ***********************************
690
691forall( ostype & | basic_ostream( ostype ) ) {
692 ostype & ?|?( ostype & os, _Ostream_Manip(char) f ) {
693 if ( f.base != 'c' ) { // bespoke binary/octal/hex format
694 _Ostream_Manip(unsigned char) fmtuc @= { f.val, f.wd, f.pc, f.base, {'\0'} };
695 fmtuc.flags.pc = f.flags.pc;
696 fmtuc.flags.nobsdp = f.flags.nobsdp;
697// os | fmtuc | nonl;
698 (ostype &)(os | fmtuc);
699 return os;
700 } // if
701
702 if ( sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
703
704 #define CFMTNP "% * "
705 char fmtstr[sizeof(CFMTNP)]; // sizeof includes '\0'
706 memcpy( &fmtstr, CFMTNP, sizeof(CFMTNP) );
707 int star = 1; // position before first '*'
708
709 // Insert flags into spaces before '*', from right to left.
710 if ( f.flags.left ) { fmtstr[star] = '-'; star -= 1; }
711 fmtstr[star] = '%';
712
713 fmtstr[sizeof(CFMTNP)-2] = f.base; // sizeof includes '\0'
714 // printf( "%d %s\n", f.wd, &fmtstr[star] );
715 fmt( os, &fmtstr[star], f.wd, f.val );
716 return os;
717 } // ?|?
718 OSTYPE_VOID_IMPL( _Ostream_Manip(char) )
719} // distribution
720
721// *********************************** C string ***********************************
722
723forall( ostype & | basic_ostream( ostype ) ) {
724 ostype & ?|?( ostype & os, _Ostream_Manip(const char *) f ) {
725 if ( ! f.val ) return os; // null pointer ?
726
727 if ( f.base != 's' ) { // bespoke binary/octal/hex format
728 _Ostream_Manip(unsigned char) fmtuc @= { 0, f.wd, f.pc, f.base, {'\0'} };
729 fmtuc.flags.pc = f.flags.pc;
730 fmtuc.flags.nobsdp = f.flags.nobsdp;
731 for ( i; 0 ~ @ : @; f.val[i] != '\0' ) {
732 fmtuc.val = f.val[i];
733// os | fmtuc | nonl;
734 (ostype &)(os | fmtuc);
735 } // for
736 return os;
737 } // if
738
739 if ( f.val[0] != '\0' && // null string => no leading separator
740 sepPrt$( os ) ) fmt( os, "%s", sepGetCur$( os ) );
741
742 #define SFMTNP "% * "
743 #define SFMTP "% *.* "
744 char fmtstr[sizeof(SFMTP)]; // sizeof includes '\0'
745 if ( ! f.flags.pc ) memcpy( &fmtstr, SFMTNP, sizeof(SFMTNP) );
746 else memcpy( &fmtstr, SFMTP, sizeof(SFMTP) );
747 int star = 1; // position before first '*'
748
749 // Insert flags into spaces before '*', from right to left.
750 if ( f.flags.left ) { fmtstr[star] = '-'; star -= 1; }
751 fmtstr[star] = '%';
752
753 if ( ! f.flags.pc ) { // no precision
754 // printf( "%d %s\n", f.wd, &fmtstr[star] );
755 fmtstr[sizeof(SFMTNP)-2] = f.base; // sizeof includes '\0'
756 fmt( os, &fmtstr[star], f.wd, f.val );
757 } else { // precision
758 fmtstr[sizeof(SFMTP)-2] = f.base; // sizeof includes '\0'
759 // printf( "%d %d %s\n", f.wd, f.pc, &fmtstr[star] );
760 fmt( os, &fmtstr[star], f.wd, f.pc, f.val );
761 } // if
762 if ( f.val[0] == '\0' ) { nosep( os ); } // null string => no trailing separator
763 return os;
764 } // ?|?
765 OSTYPE_VOID_IMPL( _Ostream_Manip(const char *) )
766} // distribution
767
768
769// *********************************** istream ***********************************
770
771
772forall( istype & | basic_istream( istype ) ) {
773 istype & ?|?( istype & is, bool & b ) {
774 char val[6];
775 fmt( is, "%5s", val );
776 if ( strcmp( val, "true" ) == 0 ) b = true;
777 else if ( strcmp( val, "false" ) == 0 ) b = false;
778 else {
779 fprintf( stderr, "invalid Boolean constant\n" );
780 abort(); // cannot use abort stream
781 } // if
782 return is;
783 } // ?|?
784 ISTYPE_VOID_IMPL( bool & )
785
786 istype & ?|?( istype & is, char & c ) {
787 char temp;
788 for () {
789 fmt( is, "%c", &temp ); // must pass pointer through varg to fmt
790 // do not overwrite parameter with newline unless appropriate
791 if ( temp != '\n' || getANL$( is ) ) { c = temp; break; }
792 if ( eof( is ) ) break;
793 } // for
794 return is;
795 } // ?|?
796 ISTYPE_VOID_IMPL( char & )
797
798 istype & ?|?( istype & is, signed char & sc ) {
799 fmt( is, "%hhi", &sc );
800 return is;
801 } // ?|?
802 ISTYPE_VOID_IMPL( signed char & )
803
804 istype & ?|?( istype & is, unsigned char & usc ) {
805 fmt( is, "%hhi", &usc );
806 return is;
807 } // ?|?
808 ISTYPE_VOID_IMPL( unsigned char & )
809
810 istype & ?|?( istype & is, short int & si ) {
811 fmt( is, "%hi", &si );
812 return is;
813 } // ?|?
814 ISTYPE_VOID_IMPL( short int & )
815
816 istype & ?|?( istype & is, unsigned short int & usi ) {
817 fmt( is, "%hi", &usi );
818 return is;
819 } // ?|?
820 ISTYPE_VOID_IMPL( unsigned short int & )
821
822 istype & ?|?( istype & is, int & i ) {
823 fmt( is, "%i", &i );
824 return is;
825 } // ?|?
826 ISTYPE_VOID_IMPL( int & )
827
828 istype & ?|?( istype & is, unsigned int & ui ) {
829 fmt( is, "%i", &ui );
830 return is;
831 } // ?|?
832 ISTYPE_VOID_IMPL( unsigned int & )
833
834 istype & ?|?( istype & is, long int & li ) {
835 fmt( is, "%li", &li );
836 return is;
837 } // ?|?
838 ISTYPE_VOID_IMPL( long int & )
839
840 istype & ?|?( istype & is, unsigned long int & ulli ) {
841 fmt( is, "%li", &ulli );
842 return is;
843 } // ?|?
844 ISTYPE_VOID_IMPL( unsigned long int & )
845
846 istype & ?|?( istype & is, long long int & lli ) {
847 fmt( is, "%lli", &lli );
848 return is;
849 } // ?|?
850 ISTYPE_VOID_IMPL( long long int & )
851
852 istype & ?|?( istype & is, unsigned long long int & ulli ) {
853 fmt( is, "%lli", &ulli );
854 return is;
855 } // ?|?
856 ISTYPE_VOID_IMPL( unsigned long long int & )
857
858 #if defined( __SIZEOF_INT128__ )
859 istype & ?|?( istype & is, int128 & llli ) {
860 return (istype &)(is | (unsigned int128 &)llli);
861 } // ?|?
862 ISTYPE_VOID_IMPL( int128 & )
863
864 istype & ?|?( istype & is, unsigned int128 & ullli ) {
865 char s[40];
866 bool sign = false;
867
868 if ( fmt( is, " %[-]", s ) == 1 ) sign = true; // skip whitespace, negative sign ?
869 // If the input is too large, the value returned is undefined. If there is no input, no value is returned
870 if ( fmt( is, "%39[0-9]%*[0-9]", s ) == 1 ) { // take first 39 characters, ignore remaining
871 ullli = 0;
872 for ( i; 0 ~ @ : @; s[i] != '\0' ) {
873 ullli = ullli * 10 + s[i] - '0';
874 } // for
875 if ( sign ) ullli = -ullli;
876 } else if ( sign ) ungetc( is, '-' ); // return minus when no digits
877 return is;
878 } // ?|?
879 ISTYPE_VOID_IMPL( unsigned int128 & )
880 #endif // __SIZEOF_INT128__
881
882 istype & ?|?( istype & is, float & f ) {
883 fmt( is, "%f", &f );
884 return is;
885 } // ?|?
886 ISTYPE_VOID_IMPL( float & )
887
888 istype & ?|?( istype & is, double & d ) {
889 fmt( is, "%lf", &d );
890 return is;
891 } // ?|?
892 ISTYPE_VOID_IMPL( double & )
893
894 istype & ?|?( istype & is, long double & ld ) {
895 fmt( is, "%Lf", &ld );
896 return is;
897 } // ?|?
898 ISTYPE_VOID_IMPL( long double & )
899
900 istype & ?|?( istype & is, float _Complex & fc ) {
901 float re, im;
902 fmt( is, "%f%fi", &re, &im );
903 fc = re + im * _Complex_I;
904 return is;
905 } // ?|?
906 ISTYPE_VOID_IMPL( float _Complex & )
907
908 istype & ?|?( istype & is, double _Complex & dc ) {
909 double re, im;
910 fmt( is, "%lf%lfi", &re, &im );
911 dc = re + im * _Complex_I;
912 return is;
913 } // ?|?
914 ISTYPE_VOID_IMPL( double _Complex & )
915
916 istype & ?|?( istype & is, long double _Complex & ldc ) {
917 long double re, im;
918 fmt( is, "%Lf%Lfi", &re, &im );
919 ldc = re + im * _Complex_I;
920 return is;
921 } // ?|?
922 ISTYPE_VOID_IMPL( long double _Complex & )
923
924 // istype & ?|?( istype & is, const char fmt[] ) {
925 // fmt( is, fmt, "" );
926 // return is;
927 // } // ?|?
928
929 // istype & ?|?( istype & is, char s[] ) {
930 // fmt( is, "%s", s );
931 // return is;
932 // } // ?|?
933 // ISTYPE_VOID_IMPL( char * )
934
935 // manipulators
936 istype & ?|?( istype & is, istype & (* manip)( istype & ) ) {
937 return manip( is );
938 } // ?|?
939
940 void ?|?( istype & is, istype & (* manip)( istype & ) ) {
941 manip( is ); ends( is );
942 } // ?|?
943
944 istype & nl( istype & is ) {
945 fmt( is, "%*[^\n]" ); // ignore characters to newline
946 if ( ! eof( is ) && getANL$( is ) ) fmt( is, "%*c" ); // read newline
947 return is;
948 } // nl
949
950 istype & nlOn( istype & is ) {
951 nlOn( is ); // call void returning
952 return is;
953 } // nlOn
954
955 istype & nlOff( istype & is ) {
956 nlOff( is ); // call void returning
957 return is;
958 } // nlOff
959} // distribution
960
961// *********************************** manipulators ***********************************
962
963forall( istype & | basic_istream( istype ) ) {
964 istype & ?|?( istype & is, _Istream_Cstr f ) {
965 // skip
966 if ( ! f.s ) {
967 // printf( "skip %s %d\n", f.scanset, f.wd );
968 if ( f.wd == -1 ) fmt( is, f.scanset, "" ); // no input arguments
969 else for ( f.wd ) fmt( is, "%*c" );
970 return is;
971 } // if
972
973 const char * scanset = f.scanset;
974 if ( f.flags.delimit ) scanset = f.delimit; // getline ?
975
976 size_t len = 0;
977 if ( scanset ) len = strlen( scanset );
978 char fmtstr[len + 16];
979 int start = 1;
980 fmtstr[0] = '%';
981 if ( f.flags.ignore ) { fmtstr[1] = '*'; start += 1; }
982 if ( f.wd != -1 ) { start += sprintf( &fmtstr[start], "%d", f.wd ); }
983
984 if ( ! scanset ) {
985 // %s, %*s, %ws, %*ws
986 fmtstr[start] = 's'; fmtstr[start + 1] = '\0';
987 // printf( "cstr %s\n", fmtstr );
988 } else {
989 // incl %[xxx], %*[xxx], %w[xxx], %*w[xxx]
990 // excl %[^xxx], %*[^xxx], %w[^xxx], %*w[^xxx]
991 fmtstr[start] = '['; start += 1;
992 if ( f.flags.inex ) { fmtstr[start] = '^'; start += 1; }
993 strcpy( &fmtstr[start], scanset ); // copy includes '\0'
994 len += start;
995 fmtstr[len] = ']'; fmtstr[len + 1] = '\0';
996 // printf( "incl/excl %s\n", fmtstr );
997 } // if
998
999 int check = f.wd - 1;
1000 if ( ! f.flags.rwd ) f.s[check] = '\0'; // insert sentinel
1001 len = fmt( is, fmtstr, f.s );
1002 //fprintf( stderr, "KK %s %zd %d %c %s\n", fmtstr, len, check, f.s[check], f.s );
1003
1004 if ( ! f.flags.rwd && f.s[check] != '\0' ) // sentinel overwritten ?
1005 throw (cstring_length){ &cstring_length_vt };
1006
1007 if ( f.flags.delimit ) { // getline ?
1008 if ( len == 0 ) f.s[0] = '\0'; // empty read => argument unchanged => set empty
1009 if ( ! eof( is ) ) fmt( is, "%*c" ); // ignore delimiter
1010 } //if
1011 return is;
1012 } // ?|?
1013 ISTYPE_VOID_IMPL( _Istream_Cstr )
1014
1015 istype & ?|?( istype & is, _Istream_Char f ) {
1016 fmt( is, "%*c" ); // argument variable unused
1017 return is;
1018 } // ?|?
1019 ISTYPE_VOID_IMPL( _Istream_Char )
1020} // distribution
1021
1022#define INPUT_FMT_IMPL( T, CODE ) \
1023forall( istype & | basic_istream( istype ) ) { \
1024 istype & ?|?( istype & is, _Istream_Manip(T) f ) { \
1025 enum { size = 16 }; \
1026 char fmtstr[size]; \
1027 if ( f.wd == -1 ) { \
1028 snprintf( fmtstr, size, "%%%s%s", f.ignore ? "*" : "", CODE ); \
1029 } else { \
1030 snprintf( fmtstr, size, "%%%s%d%s", f.ignore ? "*" : "", f.wd, CODE ); \
1031 } /* if */ \
1032 /* printf( "%d %s %p\n", f.wd, fmtstr, &f.val ); */ \
1033 fmt( is, fmtstr, &f.val ); \
1034 return is; \
1035 } /* ?|? */ \
1036 ISTYPE_VOID_IMPL( _Istream_Manip(T) ) \
1037} // distribution
1038
1039INPUT_FMT_IMPL( signed char, "hhi" )
1040INPUT_FMT_IMPL( unsigned char, "hhi" )
1041INPUT_FMT_IMPL( signed short int, "hi" )
1042INPUT_FMT_IMPL( unsigned short int, "hi" )
1043INPUT_FMT_IMPL( signed int, "i" )
1044INPUT_FMT_IMPL( unsigned int, "i" )
1045INPUT_FMT_IMPL( signed long int, "li" )
1046INPUT_FMT_IMPL( unsigned long int, "li" )
1047INPUT_FMT_IMPL( signed long long int, "lli" )
1048INPUT_FMT_IMPL( unsigned long long int, "lli" )
1049
1050INPUT_FMT_IMPL( float, "f" )
1051INPUT_FMT_IMPL( double, "lf" )
1052INPUT_FMT_IMPL( long double, "Lf" )
1053
1054forall( istype & | basic_istream( istype ) ) {
1055 istype & ?|?( istype & is, _Istream_Manip(float _Complex) fc ) {
1056 float re, im;
1057 _Istream_Manip(float) fmtuc @= { re, fc.wd, fc.ignore };
1058 is | fmtuc;
1059 &fmtuc.val = &im;
1060 is | fmtuc;
1061 if ( ! fc.ignore ) fc.val = re + im * _Complex_I; // re/im are uninitialized for ignore
1062 return is;
1063 } // ?|?
1064 ISTYPE_VOID_IMPL( _Istream_Manip(float _Complex) )
1065
1066 istype & ?|?( istype & is, _Istream_Manip(double _Complex) dc ) {
1067 double re, im;
1068 _Istream_Manip(double) fmtuc @= { re, dc.wd, dc.ignore };
1069 is | fmtuc;
1070 &fmtuc.val = &im;
1071 is | fmtuc;
1072 if ( ! dc.ignore ) dc.val = re + im * _Complex_I; // re/im are uninitialized for ignore
1073 return is;
1074 } // ?|?
1075 ISTYPE_VOID_IMPL( _Istream_Manip(double _Complex) )
1076
1077 istype & ?|?( istype & is, _Istream_Manip(long double _Complex) ldc ) {
1078 long double re, im;
1079 _Istream_Manip(long double) fmtuc @= { re, ldc.wd, ldc.ignore };
1080 is | fmtuc;
1081 &fmtuc.val = &im;
1082 is | fmtuc;
1083 if ( ! ldc.ignore ) ldc.val = re + im * _Complex_I; // re/im are uninitialized for ignore
1084 return is;
1085 } // ?|?
1086 ISTYPE_VOID_IMPL( _Istream_Manip(long double _Complex) )
1087} // distribution
1088
1089
1090// Local Variables: //
1091// tab-width: 4 //
1092// compile-command: "cfa iostream.cfa" //
1093// End: //
Note: See TracBrowser for help on using the repository browser.