source: src/libcfa/iostream.c@ 87d13cd

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors deferred_resn demangler enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new with_gc
Last change on this file since 87d13cd was 87d13cd, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago

fix conflicit in iostream.c

  • Property mode set to 100644
File size: 10.6 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.c --
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 : Tue Mar 21 22:05:57 2017
13// Update Count : 348
14//
15
16#include "iostream"
17
18extern "C" {
19#include <stdio.h>
20#include <string.h> // strlen
21#include <float.h> // DBL_DIG, LDBL_DIG
22#include <complex.h> // creal, cimag
23}
24
25forall( dtype ostype | ostream( ostype ) )
26ostype * ?|?( ostype * os, char c ) {
27 fmt( os, "%c", c );
28 sepOff( os );
29 return os;
30} // ?|?
31
32forall( dtype ostype | ostream( ostype ) )
33ostype * ?|?( ostype * os, signed char c ) {
34 fmt( os, "%hhd", c );
35 sepOff( os );
36 return os;
37} // ?|?
38
39forall( dtype ostype | ostream( ostype ) )
40ostype * ?|?( ostype * os, unsigned char c ) {
41 fmt( os, "%hhu", c );
42 sepOff( os );
43 return os;
44} // ?|?
45
46forall( dtype ostype | ostream( ostype ) )
47ostype * ?|?( ostype * os, short int si ) {
48 if ( sepPrt( os ) ) fmt( os, "%s", sepGetCur( os ) );
49 fmt( os, "%hd", si );
50 return os;
51} // ?|?
52
53forall( dtype ostype | ostream( ostype ) )
54ostype * ?|?( ostype * os, unsigned short int usi ) {
55 if ( sepPrt( os ) ) fmt( os, "%s", sepGetCur( os ) );
56 fmt( os, "%hu", usi );
57 return os;
58} // ?|?
59
60forall( dtype ostype | ostream( ostype ) )
61ostype * ?|?( ostype * os, int i ) {
62 if ( sepPrt( os ) ) fmt( os, "%s", sepGetCur( os ) );
63 fmt( os, "%d", i );
64 return os;
65} // ?|?
66
67forall( dtype ostype | ostream( ostype ) )
68ostype * ?|?( ostype * os, unsigned int ui ) {
69 if ( sepPrt( os ) ) fmt( os, "%s", sepGetCur( os ) );
70 fmt( os, "%u", ui );
71 return os;
72} // ?|?
73
74forall( dtype ostype | ostream( ostype ) )
75ostype * ?|?( ostype * os, long int li ) {
76 if ( sepPrt( os ) ) fmt( os, "%s", sepGetCur( os ) );
77 fmt( os, "%ld", li );
78 return os;
79} // ?|?
80
81forall( dtype ostype | ostream( ostype ) )
82ostype * ?|?( ostype * os, unsigned long int uli ) {
83 if ( sepPrt( os ) ) fmt( os, "%s", sepGetCur( os ) );
84 fmt( os, "%lu", uli );
85 return os;
86} // ?|?
87
88forall( dtype ostype | ostream( ostype ) )
89ostype * ?|?( ostype * os, long long int lli ) {
90 if ( sepPrt( os ) ) fmt( os, "%s", sepGetCur( os ) );
91 fmt( os, "%lld", lli );
92 return os;
93} // ?|?
94
95forall( dtype ostype | ostream( ostype ) )
96ostype * ?|?( ostype * os, unsigned long long int ulli ) {
97 if ( sepPrt( os ) ) fmt( os, "%s", sepGetCur( os ) );
98 fmt( os, "%llu", ulli );
99 return os;
100} // ?|?
101
102forall( dtype ostype | ostream( ostype ) )
103ostype * ?|?( ostype * os, float f ) {
104 if ( sepPrt( os ) ) fmt( os, "%s", sepGetCur( os ) );
105 fmt( os, "%g", f );
106 return os;
107} // ?|?
108
109forall( dtype ostype | ostream( ostype ) )
110ostype * ?|?( ostype * os, double d ) {
111 if ( sepPrt( os ) ) fmt( os, "%s", sepGetCur( os ) );
112 fmt( os, "%.*lg", DBL_DIG, d );
113 return os;
114} // ?|?
115
116forall( dtype ostype | ostream( ostype ) )
117ostype * ?|?( ostype * os, long double ld ) {
118 if ( sepPrt( os ) ) fmt( os, "%s", sepGetCur( os ) );
119 fmt( os, "%.*Lg", LDBL_DIG, ld );
120 return os;
121} // ?|?
122
123forall( dtype ostype | ostream( ostype ) )
124ostype * ?|?( ostype * os, float _Complex fc ) {
125 os | crealf( fc );
126 _Bool temp = sepDisable( os ); // disable separators within complex value
127 if ( cimagf( fc ) >= 0 ) os | '+'; // negative value prints '-'
128 os | cimagf( fc ) | 'i';
129 sepReset( os, temp ); // reset separator
130 return os;
131} // ?|?
132
133forall( dtype ostype | ostream( ostype ) )
134ostype * ?|?( ostype * os, double _Complex dc ) {
135 os | creal( dc );
136 _Bool temp = sepDisable( os ); // disable separators within complex value
137 if ( cimag( dc ) >= 0 ) os | '+'; // negative value prints '-'
138 os | cimag( dc ) | 'i';
139 sepReset( os, temp ); // reset separator
140 return os;
141} // ?|?
142
143forall( dtype ostype | ostream( ostype ) )
144ostype * ?|?( ostype * os, long double _Complex ldc ) {
145 os | creall( ldc );
146 _Bool temp = sepDisable( os ); // disable separators within complex value
147 if ( cimagl( ldc ) >= 0 ) os | '+'; // negative value prints '-'
148 os | cimagl( ldc ) | 'i';
149 sepReset( os, temp ); // reset separator
150 return os;
151} // ?|?
152
153forall( dtype ostype | ostream( ostype ) )
154ostype * ?|?( ostype * os, const char * cp ) {
155 enum { Open = 1, Close, OpenClose };
156 static const unsigned char mask[256] = {
157 // opening delimiters, no space after
158 ['('] : Open, ['['] : Open, ['{'] : Open,
159 ['$'] : Open, ['='] : Open, [(unsigned char)'£'] : Open, [(unsigned char)'¥'] : Open,
160 [(unsigned char)'¡'] : Open, [(unsigned char)'¿'] : Open, [(unsigned char)'«'] : Open,
161 // closing delimiters, no space before
162 [','] : Close, ['.'] : Close, [':'] : Close, [';'] : Close, ['!'] : Close, ['?'] : Close,
163 ['%'] : Close, [(unsigned char)'¢'] : Close, [(unsigned char)'»'] : Close,
164 [')'] : Close, [']'] : Close, ['}'] : Close,
165 // opening-closing delimiters, no space before or after
166 ['\''] : OpenClose, ['`'] : OpenClose, ['"'] : OpenClose,
167 [' '] : OpenClose, ['\f'] : OpenClose, ['\n'] : OpenClose, ['\r'] : OpenClose, ['\t'] : OpenClose, ['\v'] : OpenClose, // isspace
168 }; // mask
169
170 if ( cp[0] == '\0' ) { sepOff( os ); return os; } // null string => no separator
171
172 // first character IS NOT spacing or closing punctuation => add left separator
173 unsigned char ch = cp[0]; // must make unsigned
174 if ( sepPrt( os ) && mask[ ch ] != Close && mask[ ch ] != OpenClose ) {
175 fmt( os, "%s", sepGetCur( os ) );
176 } // if
177
178 // if string starts line, must reset to determine open state because separator is off
179 sepReset( os ); // reset separator
180
181 // last character IS spacing or opening punctuation => turn off separator for next item
182 unsigned int len = strlen( cp ), posn = len - 1;
183 ch = cp[posn]; // must make unsigned
184 if ( sepPrt( os ) && mask[ ch ] != Open && mask[ ch ] != OpenClose ) {
185 sepOn( os );
186 } else {
187 sepOff( os );
188 } // if
189 return write( os, cp, len );
190} // ?|?
191
192forall( dtype ostype | ostream( ostype ) )
193ostype * ?|?( ostype * os, const void * p ) {
194 if ( sepPrt( os ) ) fmt( os, "%s", sepGetCur( os ) );
195 fmt( os, "%p", p );
196 return os;
197} // ?|?
198
199
200// tuples
201forall( dtype ostype, otype T, ttype Params | ostream( ostype ) | writeable( T ) | { ostype * ?|?( ostype *, Params ); } )
202ostype * ?|?( ostype * os, T arg, Params rest ) {
203 sepSetCur( os, sepGetTuple( os ) ); // switch to tuple separator
204 os | arg; // print first argument
205 os | rest; // print remaining arguments
206 sepSetCur( os, sepGet( os ) ); // switch to regular separator
207} // ?|?
208
209
210// manipulators
211forall( dtype ostype | ostream( ostype ) )
212ostype * ?|?( ostype * os, ostype * (* manip)( ostype * ) ) {
213 return manip( os );
214} // ?|?
215
216forall( dtype ostype | ostream( ostype ) )
217ostype * endl( ostype * os ) {
218 os | '\n';
219 flush( os );
220 sepOff( os );
221 return os;
222} // endl
223
224forall( dtype ostype | ostream( ostype ) )
225ostype * sepOn( ostype * os ) {
226 sepOn( os );
227 return os;
228} // sepOn
229
230forall( dtype ostype | ostream( ostype ) )
231ostype * sepOff( ostype * os ) {
232 sepOff( os );
233 return os;
234} // sepOff
235
236forall( dtype ostype | ostream( ostype ) )
237ostype * sepEnable( ostype * os ) {
238 sepEnable( os );
239 return os;
240} // sepEnable
241
242forall( dtype ostype | ostream( ostype ) )
243ostype * sepDisable( ostype * os ) {
244 sepDisable( os );
245 return os;
246} // sepDisable
247
248//---------------------------------------
249
250forall( otype elttype | writeable( elttype ), otype iteratortype | iterator( iteratortype, elttype ), dtype ostype | ostream( ostype ) )
251void write( iteratortype begin, iteratortype end, ostype * os ) {
252 void print( elttype i ) { os | i; }
253 for_each( begin, end, print );
254} // ?|?
255
256forall( otype elttype | writeable( elttype ), otype iteratortype | iterator( iteratortype, elttype ), dtype ostype | ostream( ostype ) )
257void write_reverse( iteratortype begin, iteratortype end, ostype * os ) {
258 void print( elttype i ) { os | i; }
259 for_each_reverse( begin, end, print );
260} // ?|?
261
262//---------------------------------------
263
264forall( dtype istype | istream( istype ) )
265istype * ?|?( istype * is, char * c ) {
266 fmt( is, "%c", c );
267 return is;
268} // ?|?
269
270forall( dtype istype | istream( istype ) )
271istype * ?|?( istype * is, short int * si ) {
272 fmt( is, "%hd", si );
273 return is;
274} // ?|?
275
276forall( dtype istype | istream( istype ) )
277istype * ?|?( istype * is, unsigned short int * usi ) {
278 fmt( is, "%hu", usi );
279 return is;
280} // ?|?
281
282forall( dtype istype | istream( istype ) )
283istype * ?|?( istype * is, int * i ) {
284 fmt( is, "%d", i );
285 return is;
286} // ?|?
287
288forall( dtype istype | istream( istype ) )
289istype * ?|?( istype * is, unsigned int * ui ) {
290 fmt( is, "%u", ui );
291 return is;
292} // ?|?
293
294forall( dtype istype | istream( istype ) )
295istype * ?|?( istype * is, long int * li ) {
296 fmt( is, "%ld", li );
297 return is;
298} // ?|?
299
300forall( dtype istype | istream( istype ) )
301istype * ?|?( istype * is, unsigned long int * ulli ) {
302 fmt( is, "%lu", ulli );
303 return is;
304} // ?|?
305
306forall( dtype istype | istream( istype ) )
307istype * ?|?( istype * is, long long int * lli ) {
308 fmt( is, "%lld", lli );
309 return is;
310} // ?|?
311
312forall( dtype istype | istream( istype ) )
313istype * ?|?( istype * is, unsigned long long int * ulli ) {
314 fmt( is, "%llu", ulli );
315 return is;
316} // ?|?
317
318
319forall( dtype istype | istream( istype ) )
320istype * ?|?( istype * is, float * f ) {
321 fmt( is, "%f", f );
322 return is;
323} // ?|?
324
325forall( dtype istype | istream( istype ) )
326istype * ?|?( istype * is, double * d ) {
327 fmt( is, "%lf", d );
328 return is;
329} // ?|?
330
331forall( dtype istype | istream( istype ) )
332istype * ?|?( istype * is, long double * ld ) {
333 fmt( is, "%Lf", ld );
334 return is;
335} // ?|?
336
337
338forall( dtype istype | istream( istype ) )
339istype * ?|?( istype * is, float _Complex * fc ) {
340 float re, im;
341 fmt( is, "%g%gi", &re, &im );
342 *fc = re + im * _Complex_I;
343 return is;
344} // ?|?
345
346forall( dtype istype | istream( istype ) )
347istype * ?|?( istype * is, double _Complex * dc ) {
348 double re, im;
349 fmt( is, "%lf%lfi", &re, &im );
350 *dc = re + im * _Complex_I;
351 return is;
352} // ?|?
353
354forall( dtype istype | istream( istype ) )
355istype * ?|?( istype * is, long double _Complex * ldc ) {
356 long double re, im;
357 fmt( is, "%Lf%Lfi", &re, &im );
358 *ldc = re + im * _Complex_I;
359 return is;
360} // ?|?
361
362_Istream_cstrUC cstr( char * str ) { return (_Istream_cstrUC){ str }; }
363forall( dtype istype | istream( istype ) )
364istype * ?|?( istype * is, _Istream_cstrUC cstr ) {
365 fmt( is, "%s", cstr.s );
366 return is;
367} // cstr
368
369_Istream_cstrC cstr( char * str, int size ) { return (_Istream_cstrC){ str, size }; }
370forall( dtype istype | istream( istype ) )
371istype * ?|?( istype * is, _Istream_cstrC cstr ) {
372 char buf[16];
373 sprintf( buf, "%%%ds", cstr.size );
374 fmt( is, buf, cstr.s );
375 return is;
376} // cstr
377
378// Local Variables: //
379// tab-width: 4 //
380// compile-command: "cfa iostream.c" //
381// End: //
Note: See TracBrowser for help on using the repository browser.