source: src/examples/iterator.h @ e56cfdb0

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 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: 1.6 KB
RevLine 
[86bd7c1f]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
[e56cfdb0]12// Last Modified On : Thu Nov 19 17:58:28 2015
13// Update Count     : 6
[86bd7c1f]14//
15
[51b7345]16#ifndef ITERATOR_H
17#define ITERATOR_H
18
[134b86a]19// An iterator can be used to traverse a data structure.
20context iterator( type iterator_type, type elt_type ) {
[86bd7c1f]21        // point to the next element
22//      iterator_type ?++( iterator_type * );
23        iterator_type ++?( iterator_type * );
24        iterator_type --?( iterator_type * );
[134b86a]25
[86bd7c1f]26        // can be tested for equality with other iterators
27        int ?==?( iterator_type, iterator_type );
28        int ?!=?( iterator_type, iterator_type );
[134b86a]29
[86bd7c1f]30        // dereference to get the pointed-at element
31        lvalue elt_type *?( iterator_type );
[51b7345]32};
33
[e56cfdb0]34context iterator_for( type iterator_type, type collection_type, type elt_type | iterator( iterator_type, elt_type ) ) {
[86bd7c1f]35//      [ iterator_type begin, iterator_type end ] get_iterators( collection_type );
36        iterator_type begin( collection_type );
37        iterator_type end( collection_type );
[51b7345]38};
39
40forall( type iterator_type, type elt_type | iterator( iterator_type, elt_type ) )
41void for_each( iterator_type begin, iterator_type end, void (*func)( elt_type ) );
42
[e56cfdb0]43forall( type iterator_type, type elt_type | iterator( iterator_type, elt_type ) )
44void for_each_reverse( iterator_type begin, iterator_type end, void (*func)( elt_type ) );
[134b86a]45
46#endif // ITERATOR_H
[86bd7c1f]47
48// Local Variables: //
49// tab-width: 4 //
50// compile-command: "cfa iterator.c" //
51// End: //
Note: See TracBrowser for help on using the repository browser.