Changeset 86bd7c1f for src/examples/array.h
- Timestamp:
- May 27, 2015, 8:33:19 PM (9 years ago)
- Branches:
- ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc
- Children:
- 00cc023
- Parents:
- 52ac3b4
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/examples/array.h
r52ac3b4 r86bd7c1f 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 : Peter A. Buhr 12 // Last Modified On : Wed May 27 18:10:32 2015 13 // Update Count : 2 14 // 15 1 16 #ifndef ARRAY_H 2 17 #define ARRAY_H … … 7 22 // element has index 0. 8 23 context array( type array_type, type elt_type ) { 9 24 lvalue elt_type ?[?]( array_type, int ); 10 25 }; 11 26 12 27 // A bounded array is an array that carries its maximum index with it. 13 28 context bounded_array( type array_type, type elt_type | array( array_type, elt_type ) ) { 14 29 int last( array_type ); 15 30 }; 16 31 … … 32 47 33 48 #endif // ARRAY_H 49 50 // Local Variables: // 51 // tab-width: 4 // 52 // compile-command: "cfa array.c" // 53 // End: //
Note: See TracChangeset
for help on using the changeset viewer.