Context Navigation

iostream@ 9f5b75b9

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

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

Download in other formats:

Original Format