source: src/examples/array.c @ 4040425

aaron-thesisarm-ehcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newstringwith_gc
Last change on this file since 4040425 was 4040425, checked in by Peter A. Buhr <pabuhr@…>, 6 years ago

change keyword type to otype and context to trait

  • Property mode set to 100644
File size: 1.1 KB
Line 
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//
7// array.c --
8//
9// Author           : Richard C. Bilson
10// Created On       : Wed May 27 17:56:53 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Wed Mar  2 18:13:52 2016
13// Update Count     : 3
14//
15
16#include "array.h"
17
18/// forall( otype array_type, elt_type | bounded_array( array_type, elt_type ) )
19/// [ array_iterator begin, array_iterator end ]
20/// get_iterators( array_type array )
21/// {
22///   begin = 0;
23///   end = last( array );
24/// }
25
26// The first element is always at index 0.
27forall( otype array_type, otype elt_type | bounded_array( array_type, elt_type ) )
28elt_type * begin( array_type array ) {
29        return &array[ 0 ];
30}
31
32// The end iterator should point one past the last element.
33forall( otype array_type, otype elt_type | bounded_array( array_type, elt_type ) )
34elt_type * end( array_type array ) {
35        return &array[ last( array ) ] + 1;
36}
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.