source: translator/examples/array.c @ 02e9ae2

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change on this file since 02e9ae2 was 134b86a, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago

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

  • Property mode set to 100644
File size: 764 bytes
Line 
1// "cfa -c -o array.o array.c"
2// "cfa -CFA array.c > array_out.c"
3// "gcc32 array_out.c ../LibCfa/libcfa.a"
4
5#include "array.h"
6
7/// forall( type array_type, elt_type | bounded_array( array_type, elt_type ) )
8/// [ array_iterator begin, array_iterator end ]
9/// get_iterators( array_type array )
10/// {
11///   begin = 0;
12///   end = last( array );
13/// }
14
15// The first element is always at index 0.
16forall( type array_type, type elt_type | bounded_array( array_type, elt_type ) )
17elt_type * begin( array_type array ) {
18    return &array[ 0 ];
19}
20
21// The end iterator should point one past the last element.
22forall( type array_type, type elt_type | bounded_array( array_type, elt_type ) )
23elt_type * end( array_type array ) {
24    return &array[ last( array ) ] + 1;
25}
Note: See TracBrowser for help on using the repository browser.