source: src/examples/iostream.h @ d67a9a1

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since d67a9a1 was 784deab, checked in by Peter A. Buhr <pabuhr@…>, 8 years ago

fix recursive include bug in shadow includes, major clean of examples, add several long long routines to prelude

  • Property mode set to 100644
File size: 3.0 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 : Mon Jan  4 09:02:11 2016
13// Update Count     : 20
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 *, unsigned int );
37forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, long int );
38forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, long long int );
39forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, unsigned long int );
40forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, unsigned long long int );
41forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, double );
42forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, long double );
43forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, const char * );
44forall( dtype ostype | ostream( ostype ) ) ostype * ?|?( ostype *, const void * );
45
46forall( dtype ostype, dtype retostype | ostream( ostype ) | ostream( retostype ) ) retostype * ?|?( ostype *os, retostype * (* manip)(ostype*) );
47forall( dtype ostype | ostream( ostype ) ) ostype * endl( ostype * );
48
49// writes the range [begin, end) to the given stream
50forall( type elt_type | writeable( elt_type ),
51                type iterator_type | iterator( iterator_type, elt_type ),
52                dtype os_type | ostream( os_type ) )
53void write( iterator_type begin, iterator_type end, os_type *os );
54
55forall( type elt_type | writeable( elt_type ),
56                type iterator_type | iterator( iterator_type, elt_type ),
57                dtype os_type | ostream( os_type ) )
58void write_reverse( iterator_type begin, iterator_type end, os_type *os );
59
60//******************************************************************************
61
62context istream( dtype istype ) {
63        istype *read( istype *, char *, streamsize_type );
64        istype *unread( istype *, char );
65        int fail( istype * );
66        int eof( istype * );
67};
68
69context readable( type T ) {
70        forall( dtype istype | istream( istype ) ) istype * ?|?( istype *, T );
71};
72
73forall( dtype istype | istream( istype ) )
74istype * ?|?( istype *, char * );
75
76forall( dtype istype | istream( istype ) )
77istype * ?|?( istype *, int * );
78
79#endif // IOSTREAM_H
80
81// Local Variables: //
82// tab-width: 4 //
83// compile-command: "cfa iostream.c" //
84// End: //
Note: See TracBrowser for help on using the repository browser.