source: src/examples/iostream.h @ e56cfdb0

aaron-thesisarm-ehcleanup-dtorsctordeferred_resndemanglergc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newstringwith_gc
Last change on this file since e56cfdb0 was e56cfdb0, checked in by Peter A. Buhr <pabuhr@…>, 6 years ago

allow nested routines to use type variables in containing scope, fix missing adapters, generalized iostream write

  • Property mode set to 100644
File size: 2.2 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.h --
8//
9// Author           : Richard C. Bilson
10// Created On       : Wed May 27 17:56:53 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Thu Nov 19 17:56:51 2015
13// Update Count     : 5
14//
15
16#ifndef IOSTREAM_H
17#define IOSTREAM_H
18
19#include "iterator.h"
20
21typedef unsigned long streamsize_type;
22
23context ostream( dtype ostype ) {
24        ostype *write( ostype *, const char *, streamsize_type );
25        int fail( ostype * );
26};
27
28context writeable( type T ) {
29        forall( dtype ostype | ostream( ostype ) ) ostype * ?<<?( ostype *, T );
30};
31
32// implement writable for some intrinsic types
33
34forall( dtype ostype | ostream( ostype ) ) ostype * ?<<?( ostype *, char );
35forall( dtype ostype | ostream( ostype ) ) ostype * ?<<?( ostype *, int );
36forall( dtype ostype | ostream( ostype ) ) ostype * ?<<?( ostype *, double );
37forall( dtype ostype | ostream( ostype ) ) ostype * ?<<?( ostype *, const char * );
38forall( dtype ostype | ostream( ostype ) ) ostype * ?<<?( ostype *, void * );
39
40// writes the range [begin, end) to the given stream
41forall( type elt_type | writeable( elt_type ),
42                type iterator_type | iterator( iterator_type, elt_type ),
43                dtype os_type | ostream( os_type ) )
44void write( iterator_type begin, iterator_type end, os_type *os );
45
46forall( type elt_type | writeable( elt_type ),
47                type iterator_type | iterator( iterator_type, elt_type ),
48                dtype os_type | ostream( os_type ) )
49void write_reverse( iterator_type begin, iterator_type end, os_type *os );
50
51
52context istream( dtype istype ) {
53        istype *read( istype *, char *, streamsize_type );
54        istype *unread( istype *, char );
55        int fail( istype * );
56        int eof( istype * );
57};
58
59context readable( type T ) {
60        forall( dtype istype | istream( istype ) ) istype * ?<<?( istype *, T );
61};
62
63forall( dtype istype | istream( istype ) )
64istype * ?>>?( istype *, char * );
65
66forall( dtype istype | istream( istype ) )
67istype * ?>>?( istype *, int * );
68
69#endif // IOSTREAM_H
70
71// Local Variables: //
72// tab-width: 4 //
73// compile-command: "cfa iostream.c" //
74// End: //
Note: See TracBrowser for help on using the repository browser.