source:
src/examples/array.c@
40b1df9
| Last change on this file since 40b1df9 was 1ad1c99e, checked in by , 10 years ago | |
|---|---|
|
|
| File size: 1.1 KB | |
| Rev | Line | |
|---|---|---|
| [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 | // | |
| [1ad1c99e] | 7 | // array.c -- |
| [86bd7c1f] | 8 | // |
| 9 | // Author : Richard C. Bilson | |
| 10 | // Created On : Wed May 27 17:56:53 2015 | |
| [1ad1c99e] | 11 | // Last Modified By : Rob Schluntz |
| 12 | // Last Modified On : Wed Apr 27 17:21:52 2016 | |
| [4040425] | 13 | // Update Count : 3 |
| [86bd7c1f] | 14 | // |
| [51b73452] | 15 | |
| 16 | #include "array.h" | |
| 17 | ||
| [4040425] | 18 | /// forall( otype array_type, elt_type | bounded_array( array_type, elt_type ) ) |
| [51b73452] | 19 | /// [ array_iterator begin, array_iterator end ] |
| 20 | /// get_iterators( array_type array ) | |
| 21 | /// { | |
| 22 | /// begin = 0; | |
| [134b86a] | 23 | /// end = last( array ); |
| [51b73452] | 24 | /// } |
| 25 | ||
| [134b86a] | 26 | // The first element is always at index 0. |
| [4040425] | 27 | forall( otype array_type, otype elt_type | bounded_array( array_type, elt_type ) ) |
| [1ad1c99e] | 28 | elt_type * begin( array_type * array ) { |
| [86bd7c1f] | 29 | return &array[ 0 ]; |
| [51b73452] | 30 | } |
| 31 | ||
| [134b86a] | 32 | // The end iterator should point one past the last element. |
| [4040425] | 33 | forall( otype array_type, otype elt_type | bounded_array( array_type, elt_type ) ) |
| [1ad1c99e] | 34 | elt_type * end( array_type * array ) { |
| [86bd7c1f] | 35 | return &array[ last( array ) ] + 1; |
| [51b73452] | 36 | } |
| [86bd7c1f] | 37 | |
| 38 | // Local Variables: // | |
| 39 | // tab-width: 4 // | |
| 40 | // compile-command: "cfa array.c" // | |
| 41 | // End: // |
Note:
See TracBrowser
for help on using the repository browser.