source: libcfa/src/containers/vector.hfa @ 5614552a

ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 5614552a was fd54fef, checked in by Michael Brooks <mlbrooks@…>, 4 years ago

Converting the project to use the new syntax for otype, dtype and ttytpe.

Changed prelude (gen), libcfa and test suite to use it. Added a simple deprecation rule of the old syntax to the parser; we might wish to support both syntaxes "officially," like with an extra CLI switch, but this measure should serve as a simple reminder for our team to try the new syntax.

  • Property mode set to 100644
File size: 4.3 KB
RevLine 
[60aa49a7]1//
[a6151ba]2// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
[60aa49a7]6//
7// vector --
8//
[a6151ba]9// Author           : Thierry Delisle
10// Created On       : Tue Jul  5 18:00:07 2016
11// Last Modified By : Peter A. Buhr
[c1ee231]12// Last Modified On : Wed Jun 17 11:02:46 2020
13// Update Count     : 4
[60aa49a7]14//
[a6151ba]15
[6b0b624]16#pragma once
[df4aea7]17
[f1e42c1]18#include <stdbool.h>
[c44e622]19
[67cf18c]20//------------------------------------------------------------------------------
21//Allocator
[fd54fef]22forall(T)
[67cf18c]23struct heap_allocator
24{
25        T* storage;
26        size_t capacity;
27};
28
[fd54fef]29forall(T)
[aca65621]30void ?{}(heap_allocator(T)& this);
[67cf18c]31
[fd54fef]32forall(T)
[aca65621]33void ?{}(heap_allocator(T)& this, heap_allocator(T) rhs);
[67cf18c]34
[fd54fef]35forall(T)
[aca65621]36heap_allocator(T) ?=?(heap_allocator(T)& this, heap_allocator(T) rhs);
[67cf18c]37
[fd54fef]38forall(T)
[aca65621]39void ^?{}(heap_allocator(T)& this);
[67cf18c]40
[fd54fef]41forall(T)
[67cf18c]42void realloc_storage(heap_allocator(T)* this, size_t size);
43
[fd54fef]44forall(T)
[67cf18c]45static inline T* data(heap_allocator(T)* this)
46{
47        return this->storage;
48}
49
[eb38dd5]50//------------------------------------------------------------------------------
51//Declaration
[fd54fef]52trait allocator_c(T, allocator_t)
[df4aea7]53{
[bd34fc87]54        void realloc_storage(allocator_t*, size_t);
55        T* data(allocator_t*);
[c44e622]56};
57
[fd54fef]58forall(T, allocator_t = heap_allocator(T) | allocator_c(T, allocator_t))
[bd34fc87]59struct vector;
[4ef8fb3]60
61//------------------------------------------------------------------------------
62//Initialization
[fd54fef]63forall(T, allocator_t | allocator_c(T, allocator_t))
[aca65621]64void ?{}(vector(T, allocator_t)& this);
[4ef8fb3]65
[fd54fef]66forall(T, allocator_t | allocator_c(T, allocator_t))
[aca65621]67void ?{}(vector(T, allocator_t)& this, vector(T, allocator_t) rhs);
[bd34fc87]68
[fd54fef]69forall(T, allocator_t | allocator_c(T, allocator_t))
[aca65621]70vector(T, allocator_t) ?=?(vector(T, allocator_t)& this, vector(T, allocator_t) rhs);
[bd34fc87]71
[fd54fef]72forall(T, allocator_t | allocator_c(T, allocator_t))
[aca65621]73void ^?{}(vector(T, allocator_t)& this);
[bd34fc87]74
[fd54fef]75forall(T, allocator_t = heap_allocator(T) | allocator_c(T, allocator_t))
[bd34fc87]76struct vector
77{
78        allocator_t storage;
79        size_t size;
80};
[4ef8fb3]81
82//------------------------------------------------------------------------------
83//Capacity
[fd54fef]84forall(T, allocator_t | allocator_c(T, allocator_t))
[bd34fc87]85static inline bool empty(vector(T, allocator_t)* this)
[4ef8fb3]86{
87        return this->size == 0;
88}
89
[fd54fef]90forall(T, allocator_t | allocator_c(T, allocator_t))
[bd34fc87]91static inline size_t size(vector(T, allocator_t)* this)
[4ef8fb3]92{
93        return this->size;
94}
95
[fd54fef]96forall(T, allocator_t | allocator_c(T, allocator_t))
[bd34fc87]97static inline void reserve(vector(T, allocator_t)* this, size_t size)
[4ef8fb3]98{
[60aa49a7]99        realloc_storage(&this->storage, this->size+1);
[4ef8fb3]100}
101
102//------------------------------------------------------------------------------
103//Element access
[fd54fef]104forall(T, allocator_t | allocator_c(T, allocator_t))
[bd34fc87]105static inline T at(vector(T, allocator_t)* this, size_t index)
[4ef8fb3]106{
107        return data(&this->storage)[index];
108}
109
[fd54fef]110forall(T, allocator_t | allocator_c(T, allocator_t))
[bd34fc87]111static inline T ?[?](vector(T, allocator_t)* this, size_t index)
[4ef8fb3]112{
113        return data(&this->storage)[index];
114}
115
[fd54fef]116forall(T, allocator_t | allocator_c(T, allocator_t))
[bd34fc87]117static inline T front(vector(T, allocator_t)* this)
[4ef8fb3]118{
119        return data(&this->storage)[0];
120}
121
[fd54fef]122forall(T, allocator_t | allocator_c(T, allocator_t))
[bd34fc87]123static inline T back(vector(T, allocator_t)* this)
[4ef8fb3]124{
125        return data(&this->storage)[this->size - 1];
126}
127
128//------------------------------------------------------------------------------
129//Modifiers
[fd54fef]130forall(T, allocator_t | allocator_c(T, allocator_t))
[bd34fc87]131void push_back(vector(T, allocator_t)* this, T value);
[4ef8fb3]132
[fd54fef]133forall(T, allocator_t | allocator_c(T, allocator_t))
[bd34fc87]134void pop_back(vector(T, allocator_t)* this);
[4ef8fb3]135
[fd54fef]136forall(T, allocator_t | allocator_c(T, allocator_t))
[bd34fc87]137void clear(vector(T, allocator_t)* this);
[4ef8fb3]138
139//------------------------------------------------------------------------------
140//Iterators
[fd54fef]141forall(T, allocator_t | allocator_c(T, allocator_t))
[bd34fc87]142static inline T* begin(vector(T, allocator_t)* this)
[4ef8fb3]143{
144        return data(&this->storage);
145}
146
[fd54fef]147// forall(T, allocator_t | allocator_c(T, allocator_t))
[6dc78dee]148// static inline const T* cbegin(const vector(T, allocator_t)* this)
149// {
150//      return data(&this->storage);
151// }
[4ef8fb3]152
[fd54fef]153forall(T, allocator_t | allocator_c(T, allocator_t))
[bd34fc87]154static inline T* end(vector(T, allocator_t)* this)
[4ef8fb3]155{
156        return data(&this->storage) + this->size;
157}
158
[fd54fef]159// forall(T, allocator_t | allocator_c(T, allocator_t))
[6dc78dee]160// static inline const T* cend(const vector(T, allocator_t)* this)
161// {
162//      return data(&this->storage) + this->size;
163// }
[4ef8fb3]164
[a6151ba]165// Local Variables: //
166// mode: c //
167// tab-width: 4 //
168// End: //
Note: See TracBrowser for help on using the repository browser.