source: src/libcfa/iostream.c@ 9c14ae9

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 9c14ae9 was 2c4bc81, checked in by Rob Schluntz <rschlunt@…>, 9 years ago

fix missing return warnings

  • Property mode set to 100644
File size: 10.5 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 : Mon Mar 6 20:52:02 2017
13// Update Count : 313
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 prtfmt( os, "%c", c );
28 sepOff( os );
29 return os;
30} // ?|?
31
32forall( dtype ostype | ostream( ostype ) )
33ostype * ?|?( ostype *os, signed char c ) {
34 prtfmt( os, "%hhd", c );
35 sepOff( os );
36 return os;
37} // ?|?
38
39forall( dtype ostype | ostream( ostype ) )
40ostype * ?|?( ostype *os, unsigned char c ) {
41 prtfmt( 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 ) ) prtfmt( os, "%s", sepGet( os ) );
49 prtfmt( os, "%hd", si );
50 return os;
51} // ?|?
52
53forall( dtype ostype | ostream( ostype ) )
54ostype * ?|?( ostype *os, unsigned short int usi ) {
55 if ( sepPrt( os ) ) prtfmt( os, "%s", sepGet( os ) );
56 prtfmt( os, "%hu", usi );
57 return os;
58} // ?|?
59
60forall( dtype ostype | ostream( ostype ) )
61ostype * ?|?( ostype *os, int i ) {
62 if ( sepPrt( os ) ) prtfmt( os, "%s", sepGet( os ) );
63 prtfmt( os, "%d", i );
64 return os;
65} // ?|?
66
67forall( dtype ostype | ostream( ostype ) )
68ostype * ?|?( ostype *os, unsigned int ui ) {
69 if ( sepPrt( os ) ) prtfmt( os, "%s", sepGet( os ) );
70 prtfmt( os, "%u", ui );
71 return os;
72} // ?|?
73
74forall( dtype ostype | ostream( ostype ) )
75ostype * ?|?( ostype *os, long int li ) {
76 if ( sepPrt( os ) ) prtfmt( os, "%s", sepGet( os ) );
77 prtfmt( os, "%ld", li );
78 return os;
79} // ?|?
80
81forall( dtype ostype | ostream( ostype ) )
82ostype * ?|?( ostype *os, unsigned long int uli ) {
83 if ( sepPrt( os ) ) prtfmt( os, "%s", sepGet( os ) );
84 prtfmt( os, "%lu", uli );
85 return os;
86} // ?|?
87
88forall( dtype ostype | ostream( ostype ) )
89ostype * ?|?( ostype *os, long long int lli ) {
90 if ( sepPrt( os ) ) prtfmt( os, "%s", sepGet( os ) );
91 prtfmt( 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 ) ) prtfmt( os, "%s", sepGet( os ) );
98 prtfmt( os, "%llu", ulli );
99 return os;
100} // ?|?
101
102forall( dtype ostype | ostream( ostype ) )
103ostype * ?|?( ostype *os, float f ) {
104 if ( sepPrt( os ) ) prtfmt( os, "%s", sepGet( os ) );
105 prtfmt( os, "%g", f );
106 return os;
107} // ?|?
108
109forall( dtype ostype | ostream( ostype ) )
110ostype * ?|?( ostype *os, double d ) {
111 if ( sepPrt( os ) ) prtfmt( os, "%s", sepGet( os ) );
112 prtfmt( 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 ) ) prtfmt( os, "%s", sepGet( os ) );
119 prtfmt( 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, [']'] : Close, ['}'] : Close,
164 ['%'] : Close, [(unsigned char)'¢'] : Close, [(unsigned char)'»'] : 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 prtfmt( os, "%s", sepGet( 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 ) ) prtfmt( os, "%s", sepGet( os ) );
195 prtfmt( 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 os | arg | ", ";
204 os | rest;
205 return os;
206} // ?|?
207
208
209// manipulators
210forall( dtype ostype | ostream( ostype ) )
211ostype * ?|?( ostype * os, ostype * (* manip)( ostype * ) ) {
212 return manip( os );
213} // ?|?
214
215forall( dtype ostype | ostream( ostype ) )
216ostype * endl( ostype * os ) {
217 os | '\n';
218 flush( os );
219 sepOff( os );
220 return os;
221} // endl
222
223forall( dtype ostype | ostream( ostype ) )
224ostype * sepOn( ostype * os ) {
225 sepOn( os );
226 return os;
227} // sepOn
228
229forall( dtype ostype | ostream( ostype ) )
230ostype * sepOff( ostype * os ) {
231 sepOff( os );
232 return os;
233} // sepOff
234
235forall( dtype ostype | ostream( ostype ) )
236ostype * sepEnable( ostype * os ) {
237 sepEnable( os );
238 return os;
239} // sepEnable
240
241forall( dtype ostype | ostream( ostype ) )
242ostype * sepDisable( ostype * os ) {
243 sepDisable( os );
244 return os;
245} // sepDisable
246
247//---------------------------------------
248
249forall( otype elttype | writeable( elttype ), otype iteratortype | iterator( iteratortype, elttype ), dtype ostype | ostream( ostype ) )
250void write( iteratortype begin, iteratortype end, ostype *os ) {
251 void print( elttype i ) { os | i; }
252 for_each( begin, end, print );
253} // ?|?
254
255forall( otype elttype | writeable( elttype ), otype iteratortype | iterator( iteratortype, elttype ), dtype ostype | ostream( ostype ) )
256void write_reverse( iteratortype begin, iteratortype end, ostype *os ) {
257 void print( elttype i ) { os | i; }
258 for_each_reverse( begin, end, print );
259} // ?|?
260
261//---------------------------------------
262
263forall( dtype istype | istream( istype ) )
264istype * ?|?( istype * is, char * c ) {
265 scanfmt( is, "%c", c );
266 return is;
267} // ?|?
268
269forall( dtype istype | istream( istype ) )
270istype * ?|?( istype * is, short int * si ) {
271 scanfmt( is, "%hd", si );
272 return is;
273} // ?|?
274
275forall( dtype istype | istream( istype ) )
276istype * ?|?( istype * is, unsigned short int * usi ) {
277 scanfmt( is, "%hu", usi );
278 return is;
279} // ?|?
280
281forall( dtype istype | istream( istype ) )
282istype * ?|?( istype * is, int * i ) {
283 scanfmt( is, "%d", i );
284 return is;
285} // ?|?
286
287forall( dtype istype | istream( istype ) )
288istype * ?|?( istype * is, unsigned int * ui ) {
289 scanfmt( is, "%u", ui );
290 return is;
291} // ?|?
292
293forall( dtype istype | istream( istype ) )
294istype * ?|?( istype * is, long int * li ) {
295 scanfmt( is, "%ld", li );
296 return is;
297} // ?|?
298
299forall( dtype istype | istream( istype ) )
300istype * ?|?( istype * is, unsigned long int * ulli ) {
301 scanfmt( is, "%lu", ulli );
302 return is;
303} // ?|?
304
305forall( dtype istype | istream( istype ) )
306istype * ?|?( istype * is, long long int * lli ) {
307 scanfmt( is, "%lld", lli );
308 return is;
309} // ?|?
310
311forall( dtype istype | istream( istype ) )
312istype * ?|?( istype * is, unsigned long long int * ulli ) {
313 scanfmt( is, "%llu", ulli );
314 return is;
315} // ?|?
316
317
318forall( dtype istype | istream( istype ) )
319istype * ?|?( istype * is, float * f ) {
320 scanfmt( is, "%f", f );
321 return is;
322} // ?|?
323
324forall( dtype istype | istream( istype ) )
325istype * ?|?( istype * is, double * d ) {
326 scanfmt( is, "%lf", d );
327 return is;
328} // ?|?
329
330forall( dtype istype | istream( istype ) )
331istype * ?|?( istype * is, long double * ld ) {
332 scanfmt( is, "%Lf", ld );
333 return is;
334} // ?|?
335
336
337forall( dtype istype | istream( istype ) )
338istype * ?|?( istype * is, float _Complex * fc ) {
339 float re, im;
340 scanfmt( is, "%g%gi", &re, &im );
341 *fc = re + im * _Complex_I;
342 return is;
343} // ?|?
344
345forall( dtype istype | istream( istype ) )
346istype * ?|?( istype * is, double _Complex * dc ) {
347 double re, im;
348 scanfmt( is, "%lf%lfi", &re, &im );
349 *dc = re + im * _Complex_I;
350 return is;
351} // ?|?
352
353forall( dtype istype | istream( istype ) )
354istype * ?|?( istype * is, long double _Complex * ldc ) {
355 long double re, im;
356 scanfmt( is, "%Lf%Lfi", &re, &im );
357 *ldc = re + im * _Complex_I;
358 return is;
359} // ?|?
360
361_Istream_cstrUC cstr( char * str ) { return (_Istream_cstrUC){ str }; }
362forall( dtype istype | istream( istype ) )
363istype * ?|?( istype * is, _Istream_cstrUC cstr ) {
364 scanfmt( is, "%s", cstr.s );
365 return is;
366} // cstr
367
368_Istream_cstrC cstr( char * str, int size ) { return (_Istream_cstrC){ str, size }; }
369forall( dtype istype | istream( istype ) )
370istype * ?|?( istype * is, _Istream_cstrC cstr ) {
371 char buf[16];
372 sprintf( buf, "%%%ds", cstr.size );
373 scanfmt( is, buf, cstr.s );
374 return is;
375} // cstr
376
377// Local Variables: //
378// tab-width: 4 //
379// compile-command: "cfa iostream.c" //
380// End: //
Note: See TracBrowser for help on using the repository browser.