source: src/examples/array.h @ 1ad1c99

aaron-thesisarm-ehcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newwith_gc
Last change on this file since 1ad1c99 was 1ad1c99, checked in by Rob Schluntz <rschlunt@…>, 6 years ago

modified vector_test to use constructors and destructors

  • Property mode set to 100644
File size: 1.7 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.h --
8//
9// Author           : Richard C. Bilson
10// Created On       : Wed May 27 17:56:53 2015
11// Last Modified By : Rob Schluntz
12// Last Modified On : Wed Apr 27 17:26:04 2016
13// Update Count     : 5
14//
15
16#ifndef ARRAY_H
17#define ARRAY_H
18
19//#include <iterator>
20
21// An array has contiguous elements accessible in any order using integer indicies. The first
22// element has index 0.
23trait array( otype array_type, otype elt_type ) {
24        lvalue elt_type ?[?]( array_type, int );
25};
26
27// A bounded array is an array that carries its maximum index with it.
28trait bounded_array( otype array_type, otype elt_type | array( array_type *, elt_type ) ) {
29        int last( array_type * );
30};
31
32// implement iterator_for
33
34typedef int array_iterator;
35
36/// forall( otype array_type, elt_type | bounded_array( array_type, elt_type ) )
37/// [ array_iterator begin, array_iterator end ] get_iterators( array_type );
38
39
40// A bounded array can be iterated over by using a pointer to the element type. These functions
41// return iterators corresponding to the first element and the one-past-the-end element, STL-style.
42forall( otype array_type, otype elt_type | bounded_array( array_type, elt_type ) )
43elt_type * begin( array_type * array );
44
45// The end iterator should point one past the last element.
46forall( otype array_type, otype elt_type | bounded_array( array_type, elt_type ) )
47elt_type * end( array_type * array );
48
49#endif // ARRAY_H
50
51// Local Variables: //
52// tab-width: 4 //
53// compile-command: "cfa array.c" //
54// End: //
Note: See TracBrowser for help on using the repository browser.