source: libcfa/src/containers/vector.hfa @ 92bfda0

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 92bfda0 was c1ee231, checked in by Peter A. Buhr <pabuhr@…>, 4 years ago

remove extern "C" from include files protected in CFA stdhdr directory

  • Property mode set to 100644
File size: 4.6 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
22forall(otype T)
23struct heap_allocator
24{
25        T* storage;
26        size_t capacity;
27};
28
29forall(otype T)
[aca65621]30void ?{}(heap_allocator(T)& this);
[67cf18c]31
32forall(otype T)
[aca65621]33void ?{}(heap_allocator(T)& this, heap_allocator(T) rhs);
[67cf18c]34
35forall(otype T)
[aca65621]36heap_allocator(T) ?=?(heap_allocator(T)& this, heap_allocator(T) rhs);
[67cf18c]37
38forall(otype T)
[aca65621]39void ^?{}(heap_allocator(T)& this);
[67cf18c]40
41forall(otype T)
42void realloc_storage(heap_allocator(T)* this, size_t size);
43
44forall(otype T)
45static inline T* data(heap_allocator(T)* this)
46{
47        return this->storage;
48}
49
[eb38dd5]50//------------------------------------------------------------------------------
51//Declaration
[df4aea7]52trait allocator_c(otype T, otype allocator_t)
53{
[bd34fc87]54        void realloc_storage(allocator_t*, size_t);
55        T* data(allocator_t*);
[c44e622]56};
57
[67cf18c]58forall(otype T, otype allocator_t = heap_allocator(T) | allocator_c(T, allocator_t))
[bd34fc87]59struct vector;
[4ef8fb3]60
61//------------------------------------------------------------------------------
62//Initialization
63forall(otype T, otype allocator_t | allocator_c(T, allocator_t))
[aca65621]64void ?{}(vector(T, allocator_t)& this);
[4ef8fb3]65
66forall(otype T, otype allocator_t | allocator_c(T, allocator_t))
[aca65621]67void ?{}(vector(T, allocator_t)& this, vector(T, allocator_t) rhs);
[bd34fc87]68
69forall(otype T, otype allocator_t | allocator_c(T, allocator_t))
[aca65621]70vector(T, allocator_t) ?=?(vector(T, allocator_t)& this, vector(T, allocator_t) rhs);
[bd34fc87]71
72forall(otype T, otype allocator_t | allocator_c(T, allocator_t))
[aca65621]73void ^?{}(vector(T, allocator_t)& this);
[bd34fc87]74
[67cf18c]75forall(otype T, otype 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
84forall(otype T, otype 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
90forall(otype T, otype 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
96forall(otype T, otype 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
104forall(otype T, otype 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
110forall(otype T, otype 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
116forall(otype T, otype 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
122forall(otype T, otype 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
130forall(otype T, otype allocator_t | allocator_c(T, allocator_t))
[bd34fc87]131void push_back(vector(T, allocator_t)* this, T value);
[4ef8fb3]132
133forall(otype T, otype allocator_t | allocator_c(T, allocator_t))
[bd34fc87]134void pop_back(vector(T, allocator_t)* this);
[4ef8fb3]135
136forall(otype T, otype allocator_t | allocator_c(T, allocator_t))
[bd34fc87]137void clear(vector(T, allocator_t)* this);
[4ef8fb3]138
139//------------------------------------------------------------------------------
140//Iterators
141forall(otype T, otype 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
[6dc78dee]147// forall(otype T, otype allocator_t | allocator_c(T, allocator_t))
148// static inline const T* cbegin(const vector(T, allocator_t)* this)
149// {
150//      return data(&this->storage);
151// }
[4ef8fb3]152
153forall(otype T, otype 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
[6dc78dee]159// forall(otype T, otype allocator_t | allocator_c(T, allocator_t))
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.