Context Navigation

iostream@ 8f61052c

Visit:

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 8f61052c was 9ebd778, checked in by Peter A. Buhr <pabuhr@…>, 8 years ago
code formatting
Property mode set to `100644`
File size: 6.7 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 --
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 May 15 18:08:44 2017
13	// Update Count : 105
14	//
15
16	#ifndef __IOSTREAM_H__
17	#define __IOSTREAM_H__
18
19	#include "iterator"
20
21	trait ostream( dtype ostype ) {
22	// private
23	_Bool sepPrt( ostype * ); // return separator state (on/off)
24	void sepReset( ostype * ); // set separator state to default state
25	void sepReset( ostype *, _Bool ); // set separator and default state
26	const char * sepGetCur( ostype * ); // get current separator string
27	void sepSetCur( ostype , const char ); // set current separator string
28	// public
29	void sepOn( ostype * ); // turn separator state on
30	void sepOff( ostype * ); // turn separator state off
31	_Bool sepDisable( ostype * ); // set default state to off, and return previous state
32	_Bool sepEnable( ostype * ); // set default state to on, and return previous state
33
34	const char * sepGet( ostype * ); // get separator string
35	void sepSet( ostype , const char ); // set separator to string (15 character maximum)
36	const char * sepGetTuple( ostype * ); // get tuple separator string
37	void sepSetTuple( ostype , const char ); // set tuple separator to string (15 character maximum)
38
39	int fail( ostype * );
40	int flush( ostype * );
41	void open( ostype * os, const char * name, const char * mode );
42	void close( ostype * os );
43	ostype * write( ostype , const char , unsigned long int );
44	int fmt( ostype *, const char fmt[], ... );
45	};
46
47	trait writeable( otype T ) {
48	forall( dtype ostype \| ostream( ostype ) ) ostype * ?\|?( ostype *, T );
49	};
50
51	// implement writable for intrinsic types
52
53	forall( dtype ostype \| ostream( ostype ) ) ostype * ?\|?( ostype *, char );
54	forall( dtype ostype \| ostream( ostype ) ) ostype * ?\|?( ostype *, signed char );
55	forall( dtype ostype \| ostream( ostype ) ) ostype * ?\|?( ostype *, unsigned char );
56
57	forall( dtype ostype \| ostream( ostype ) ) ostype * ?\|?( ostype *, short int );
58	forall( dtype ostype \| ostream( ostype ) ) ostype * ?\|?( ostype *, unsigned short int );
59	forall( dtype ostype \| ostream( ostype ) ) ostype * ?\|?( ostype *, int );
60	forall( dtype ostype \| ostream( ostype ) ) ostype * ?\|?( ostype *, unsigned int );
61	forall( dtype ostype \| ostream( ostype ) ) ostype * ?\|?( ostype *, long int );
62	forall( dtype ostype \| ostream( ostype ) ) ostype * ?\|?( ostype *, long long int );
63	forall( dtype ostype \| ostream( ostype ) ) ostype * ?\|?( ostype *, unsigned long int );
64	forall( dtype ostype \| ostream( ostype ) ) ostype * ?\|?( ostype *, unsigned long long int );
65
66	forall( dtype ostype \| ostream( ostype ) ) ostype * ?\|?( ostype *, float ); // FIX ME: should not be required
67	forall( dtype ostype \| ostream( ostype ) ) ostype * ?\|?( ostype *, double );
68	forall( dtype ostype \| ostream( ostype ) ) ostype * ?\|?( ostype *, long double );
69
70	forall( dtype ostype \| ostream( ostype ) ) ostype * ?\|?( ostype *, float _Complex );
71	forall( dtype ostype \| ostream( ostype ) ) ostype * ?\|?( ostype *, double _Complex );
72	forall( dtype ostype \| ostream( ostype ) ) ostype * ?\|?( ostype *, long double _Complex );
73
74	forall( dtype ostype \| ostream( ostype ) ) ostype * ?\|?( ostype , const char );
75	forall( dtype ostype \| ostream( ostype ) ) ostype * ?\|?( ostype , const void );
76
77	// tuples
78	forall( dtype ostype, otype T, ttype Params \| ostream( ostype ) \| writeable( T ) \| { ostype * ?\|?( ostype , Params ); } ) ostype ?\|?( ostype * os, T arg, Params rest );
79
80	// manipulators
81	forall( dtype ostype \| ostream( ostype ) ) ostype * ?\|?( ostype , ostype ()( ostype ) );
82	forall( dtype ostype \| ostream( ostype ) ) ostype * endl( ostype * );
83	forall( dtype ostype \| ostream( ostype ) ) ostype * sepOn( ostype * );
84	forall( dtype ostype \| ostream( ostype ) ) ostype * sepOff( ostype * );
85	forall( dtype ostype \| ostream( ostype ) ) ostype * sepDisable( ostype * );
86	forall( dtype ostype \| ostream( ostype ) ) ostype * sepEnable( ostype * );
87
88	// writes the range [begin, end) to the given stream
89	forall( otype elt_type \| writeable( elt_type ), otype iterator_type \| iterator( iterator_type, elt_type ), dtype os_type \| ostream( os_type ) )
90	void write( iterator_type begin, iterator_type end, os_type *os );
91
92	forall( otype elt_type \| writeable( elt_type ), otype iterator_type \| iterator( iterator_type, elt_type ), dtype os_type \| ostream( os_type ) )
93	void write_reverse( iterator_type begin, iterator_type end, os_type *os );
94
95	//---------------------------------------
96
97	trait istream( dtype istype ) {
98	int fail( istype * );
99	int eof( istype * );
100	void open( istype * is, const char * name, const char * mode );
101	void close( istype * is );
102	istype * read( istype , char , unsigned long int );
103	istype * ungetc( istype *, char );
104	int fmt( istype *, const char fmt[], ... );
105	};
106
107	trait readable( otype T ) {
108	forall( dtype istype \| istream( istype ) ) istype * ?\|?( istype *, T );
109	};
110
111	forall( dtype istype \| istream( istype ) ) istype * ?\|?( istype , char );
112
113	forall( dtype istype \| istream( istype ) ) istype * ?\|?( istype , short int );
114	forall( dtype istype \| istream( istype ) ) istype * ?\|?( istype , unsigned short int );
115	forall( dtype istype \| istream( istype ) ) istype * ?\|?( istype , int );
116	forall( dtype istype \| istream( istype ) ) istype * ?\|?( istype , unsigned int );
117	forall( dtype istype \| istream( istype ) ) istype * ?\|?( istype , long int );
118	forall( dtype istype \| istream( istype ) ) istype * ?\|?( istype , long long int );
119	forall( dtype istype \| istream( istype ) ) istype * ?\|?( istype , unsigned long int );
120	forall( dtype istype \| istream( istype ) ) istype * ?\|?( istype , unsigned long long int );
121
122	forall( dtype istype \| istream( istype ) ) istype * ?\|?( istype , float );
123	forall( dtype istype \| istream( istype ) ) istype * ?\|?( istype , double );
124	forall( dtype istype \| istream( istype ) ) istype * ?\|?( istype , long double );
125
126	forall( dtype istype \| istream( istype ) ) istype * ?\|?( istype , float _Complex );
127	forall( dtype istype \| istream( istype ) ) istype * ?\|?( istype , double _Complex );
128	forall( dtype istype \| istream( istype ) ) istype * ?\|?( istype , long double _Complex );
129
130	struct _Istream_cstrUC { char * s; };
131	_Istream_cstrUC cstr( char * );
132	forall( dtype istype \| istream( istype ) ) istype * ?\|?( istype *, _Istream_cstrUC );
133
134	struct _Istream_cstrC { char * s; int size; };
135	_Istream_cstrC cstr( char *, int size );
136	forall( dtype istype \| istream( istype ) ) istype * ?\|?( istype *, _Istream_cstrC );
137
138	#endif // __IOSTREAM_H
139
140	// Local Variables: //
141	// mode: c //
142	// tab-width: 4 //
143	// End: //

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format