source:
src/tests/vector/array.c
@
76c7f65e
Last change on this file since 76c7f65e was 1c31f68, checked in by , 8 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 | // |
[51b7345] | 15 | |
16 | #include "array.h" | |
17 | ||
[4040425] | 18 | /// forall( otype array_type, elt_type | bounded_array( array_type, elt_type ) ) |
[51b7345] | 19 | /// [ array_iterator begin, array_iterator end ] |
20 | /// get_iterators( array_type array ) | |
21 | /// { | |
22 | /// begin = 0; | |
[134b86a] | 23 | /// end = last( array ); |
[51b7345] | 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 ]; |
[51b7345] | 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; |
[51b7345] | 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.