Context Navigation

iostream@ 17954f0e

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

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

Download in other formats:

Original Format