source: src/examples/iterator.h @ 66a2a61

aaron-thesisarm-ehcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newstringwith_gc
Last change on this file since 66a2a61 was 86bd7c1f, checked in by Peter A. Buhr <pabuhr@…>, 7 years ago

licencing: eighth groups of files

  • Property mode set to 100644
File size: 2.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// iterator.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 : Wed May 27 18:41:57 2015
13// Update Count     : 3
14//
15
16#ifndef ITERATOR_H
17#define ITERATOR_H
18
19#include "iostream.h"
20
21// An iterator can be used to traverse a data structure.
22context iterator( type iterator_type, type elt_type ) {
23        // point to the next element
24//      iterator_type ?++( iterator_type * );
25        iterator_type ++?( iterator_type * );
26        iterator_type --?( iterator_type * );
27
28        // can be tested for equality with other iterators
29        int ?==?( iterator_type, iterator_type );
30        int ?!=?( iterator_type, iterator_type );
31
32        // dereference to get the pointed-at element
33        lvalue elt_type *?( iterator_type );
34};
35
36context iterator_for ( type iterator_type, type collection_type, type elt_type | iterator( iterator_type, elt_type ) ) {
37//      [ iterator_type begin, iterator_type end ] get_iterators( collection_type );
38        iterator_type begin( collection_type );
39        iterator_type end( collection_type );
40};
41
42forall( type iterator_type, type elt_type | iterator( iterator_type, elt_type ) )
43void for_each( iterator_type begin, iterator_type end, void (*func)( elt_type ) );
44
45// writes the range [begin, end) to the given stream
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_all( iterator_type begin, iterator_type end, os_type *os );
50
51forall( type elt_type | writeable( elt_type ),
52                type iterator_type | iterator( iterator_type, elt_type ),
53                dtype os_type | ostream( os_type ) )
54void write_reverse( iterator_type begin, iterator_type end, os_type *os );
55
56#endif // ITERATOR_H
57
58// Local Variables: //
59// tab-width: 4 //
60// compile-command: "cfa iterator.c" //
61// End: //
Note: See TracBrowser for help on using the repository browser.