Changeset 134b86a for translator/examples/array.h

Timestamp:

Nov 3, 2014, 4:38:08 PM (10 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc

Children:

8c17ab0

Parents:

93885663

Message:

add compiler flag to driver, update examples, fix unnamed bit fields

File:

• translator/examples/array.h (modified) (2 diffs)

translator/examples/array.h

@@ -2 +2 @@
 #define ARRAY_H
 
-#include "iterator.h"
+//#include "iterator.h"
 
-context array( type array_type, type elt_type )
-{
-  lvalue elt_type ?[?]( array_type, int );
+// An array has contiguous elements accessible in any order using integer indicies. The first
+// element has index 0.
+context array( type array_type, type elt_type ) {
+    lvalue elt_type ?[?]( array_type, int );
 };
 
-context bounded_array( type array_type, type elt_type | array( array_type, elt_type ) )
-{
-  int array_last( array_type );
+// A bounded array is an array that carries its maximum index with it.
+context bounded_array( type array_type, type elt_type | array( array_type, elt_type ) ) {
+    int last( array_type );
 };
 
@@ -17 +18 @@
 
 typedef int array_iterator;
+
 /// forall( type array_type, elt_type | bounded_array( array_type, elt_type ) )
 /// [ array_iterator begin, array_iterator end ] get_iterators( array_type );
+
+
+// A bounded array can be iterated over by using a pointer to the element type. These functions
+// return iterators corresponding to the first element and the one-past-the-end element, STL-style.
 forall( type array_type, type elt_type | bounded_array( array_type, elt_type ) )
-elt_type *get_begin( array_type );
+elt_type *begin( array_type );
+
 forall( type array_type, type elt_type | bounded_array( array_type, elt_type ) )
-elt_type *get_end( array_type );
+elt_type *end( array_type );
 
-#endif /* #ifndef ARRAY_H */
+#endif // ARRAY_H