source: src/tests/vector/array.h @ 4a9ccc3

aaron-thesisarm-ehcleanup-dtorsdeferred_resndemanglerjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newwith_gc
Last change on this file since 4a9ccc3 was 4a9ccc3, checked in by Rob Schluntz <rschlunt@…>, 5 years ago

propagate sized status through trait instances

  • Property mode set to 100644
File size: 1.6 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
34forall( otype array_type, otype elt_type | bounded_array( array_type, elt_type ) )
35[ elt_type * begin, elt_type * end ] get_iterators( array_type * );
36
37
38// A bounded array can be iterated over by using a pointer to the element type. These functions
39// return iterators corresponding to the first element and the one-past-the-end element, STL-style.
40forall( otype array_type, otype elt_type | bounded_array( array_type, elt_type ) )
41elt_type * begin( array_type * array );
42
43// The end iterator should point one past the last element.
44forall( otype array_type, otype elt_type | bounded_array( array_type, elt_type ) )
45elt_type * end( array_type * array );
46
47#endif // ARRAY_H
48
49// Local Variables: //
50// tab-width: 4 //
51// compile-command: "cfa array.c" //
52// End: //
Note: See TracBrowser for help on using the repository browser.