Changes in src/examples/iterator.h [e56cfdb0:86bd7c1f]

File:

• src/examples/iterator.h (modified) (3 diffs)

src/examples/iterator.h

@@ -10 +10 @@
 // Created On       : Wed May 27 17:56:53 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Nov 19 17:58:28 2015
-// Update Count     : 6
+// Last Modified On : Wed May 27 18:41:57 2015
+// Update Count     : 3
 //
 
 #ifndef ITERATOR_H
 #define ITERATOR_H
+
+#include "iostream.h"
 
 // An iterator can be used to traverse a data structure.
@@ -32 +34 @@
 };
 
-context iterator_for( type iterator_type, type collection_type, type elt_type | iterator( iterator_type, elt_type ) ) {
+context iterator_for ( type iterator_type, type collection_type, type elt_type | iterator( iterator_type, elt_type ) ) {
 //      [ iterator_type begin, iterator_type end ] get_iterators( collection_type );
         iterator_type begin( collection_type );
@@ -41 +43 @@
 void for_each( iterator_type begin, iterator_type end, void (*func)( elt_type ) );
 
-forall( type iterator_type, type elt_type | iterator( iterator_type, elt_type ) )
-void for_each_reverse( iterator_type begin, iterator_type end, void (*func)( elt_type ) );
+// writes the range [begin, end) to the given stream
+forall( type elt_type | writeable( elt_type ),
+                type iterator_type | iterator( iterator_type, elt_type ),
+                dtype os_type | ostream( os_type ) )
+void write_all( iterator_type begin, iterator_type end, os_type *os );
+
+forall( type elt_type | writeable( elt_type ),
+                type iterator_type | iterator( iterator_type, elt_type ),
+                dtype os_type | ostream( os_type ) )
+void write_reverse( iterator_type begin, iterator_type end, os_type *os );
 
 #endif // ITERATOR_H