template.h File Reference

#include <derive-c/core/includes/def.h>
#include "includes.h"
#include <derive-c/core/self/def.h>
#include <derive-c/core/self/undef.h>
#include <derive-c/core/includes/undef.h>

Go to the source code of this file.

Data Structures
struct	item_t
	A queue comprised of an extendable circular buffer. More...
struct	SELF
	An allocator that prints to stdout when it allocates or frees memory. More...
struct	ITER
struct	ITER_CONST

Macros
#define	ITEM   item_t
#define	ITEM_DELETE   item_delete
#define	ITEM_CLONE   item_clone
#define	ITEM_DEBUG   item_debug
#define	INPLACE_CAPACITY   8
#define	INVARIANT_CHECK(self)
#define	ITER   NS(SELF, iter)
#define	ITER_CONST   NS(SELF, iter_const)

Typedefs
typedef ITEM *	item

Functions
static void	ITEM_DELETE (item_t *self)
static item_t	ITEM_CLONE (item_t const *self)
static void	ITEM_DEBUG (ITEM const *self, dc_debug_fmt fmt, FILE *stream)
static SELF	new ()
static size_t	max_size ()
static SELF	clone (SELF const *self)
static ITEM const *	try_read (SELF const *self, INDEX_TYPE index)
static ITEM const *	read (SELF const *self, INDEX_TYPE index)
static ITEM *	try_write (SELF *self, INDEX_TYPE index)
static ITEM *	write (SELF *self, INDEX_TYPE index)
static ITEM *	try_push (SELF *self, ITEM item)
static ITEM *	try_insert_at (SELF *self, INDEX_TYPE at, ITEM const *items, INDEX_TYPE count)
static void	remove_at (SELF *self, INDEX_TYPE at, INDEX_TYPE count)
static ITEM *	push (SELF *self, ITEM item)
static bool	try_pop (SELF *self, ITEM *destination)
static ITEM	pop (SELF *self)
static INDEX_TYPE	size (SELF const *self)
static void	delete (SELF *self)
static bool	empty_item (ITEM *const *item)
static ITEM *	next (ITER *iter)
static INDEX_TYPE	position (ITER const *iter)
static bool	empty (ITER const *iter)
static ITER	get_iter (SELF *self)
static bool	empty_item (ITEM const *const *item)
static ITEM const *	next (ITER_CONST *iter)
static INDEX_TYPE	position (ITER_CONST const *iter)
static bool	empty (ITER_CONST const *iter)
static ITER_CONST	get_iter_const (SELF const *self)
static void	debug (SELF const *self, dc_debug_fmt fmt, FILE *stream)
	DC_TRAIT_VECTOR (SELF)

Macro Definition Documentation

INPLACE_CAPACITY

#define INPLACE_CAPACITY   8

Definition at line 50 of file template.h.

INVARIANT_CHECK

#define INVARIANT_CHECK

(

self

)

Value:

    DC_ASSUME(self);                                                                               \
    DC_ASSUME((self->size) <= INPLACE_CAPACITY);

Definition at line 73 of file template.h.

#define INVARIANT_CHECK(self)                                                                      \
    DC_ASSUME(self);                                                                               \
    DC_ASSUME((self->size) <= INPLACE_CAPACITY);

ITEM

#define ITEM   item_t

Definition at line 25 of file template.h.

ITEM_CLONE

#define ITEM_CLONE   item_clone

Definition at line 28 of file template.h.

ITEM_DEBUG

#define ITEM_DEBUG   item_debug

Definition at line 30 of file template.h.

ITEM_DELETE

#define ITEM_DELETE   item_delete

Definition at line 26 of file template.h.

ITER

#define ITER   NS(SELF, iter)

Definition at line 211 of file template.h.

ITER_CONST

#define ITER_CONST   NS(SELF, iter_const)

Definition at line 254 of file template.h.

Typedef Documentation

item

typedef ITEM const* item

Definition at line 212 of file template.h.

Function Documentation

clone()

SELF clone ( SELF const * self )

static

Definition at line 88 of file template.h.

                                              {
    SELF new_self = NS(SELF, new)();
    new_self.size = self->size;
 
    for (INDEX_TYPE i = 0; i < self->size; i++) {
        new_self.data[i] = ITEM_CLONE(&self->data[i]);
    }
 
    return new_self;
}

DC_TRAIT_VECTOR()

DC_TRAIT_VECTOR

(

SELF

)

debug()

void debug ( SELF const * self, dc_debug_fmt fmt, FILE * stream )

static

Definition at line 297 of file template.h.

                                                                              {
    fprintf(stream, EXPAND_STRING(SELF) "@%p {\n", self);
    fmt = dc_debug_fmt_scope_begin(fmt);
    dc_debug_fmt_print(fmt, stream, "capacity: %lu,\n", (size_t)INPLACE_CAPACITY);
    dc_debug_fmt_print(fmt, stream, "size: %lu,\n", (size_t)self->size);
 
    dc_debug_fmt_print(fmt, stream, "items: @%p [\n", self->data);
    fmt = dc_debug_fmt_scope_begin(fmt);
    ITER_CONST iter = NS(SELF, get_iter_const)(self);
    ITEM const* item;
    while ((item = NS(ITER_CONST, next)(&iter))) {
        dc_debug_fmt_print_indents(fmt, stream);
        ITEM_DEBUG(item, fmt, stream);
        fprintf(stream, ",\n");
    }
    fmt = dc_debug_fmt_scope_end(fmt);
    dc_debug_fmt_print(fmt, stream, "],\n");
    fmt = dc_debug_fmt_scope_end(fmt);
    dc_debug_fmt_print(fmt, stream, "}\n");
}

delete()

void delete ( SELF * self )

static

Definition at line 204 of file template.h.

                                         {
    INVARIANT_CHECK(self);
    for (INDEX_TYPE i = 0; i < self->size; i++) {
        ITEM_DELETE(&self->data[i]);
    }
}

empty() [1/2]

bool empty ( ITER const * iter )

static

Definition at line 239 of file template.h.

                                              {
    DC_ASSUME(iter);
    mutation_version_check(&iter->version);
    return iter->pos >= iter->vec->size;
}

empty() [2/2]

bool empty ( ITER_CONST const * iter )

static

Definition at line 282 of file template.h.

                                                          {
    DC_ASSUME(iter);
    mutation_version_check(&iter->version);
    return iter->pos >= iter->vec->size;
}

empty_item() [1/2]

bool empty_item ( ITEM *const * item )

static

Definition at line 214 of file template.h.

{ return *item == NULL; }

empty_item() [2/2]

bool empty_item ( ITEM const *const * item )

static

Definition at line 257 of file template.h.

{ return *item == NULL; }

get_iter()

ITER get_iter ( SELF * self )

static

Definition at line 245 of file template.h.

                                           {
    DC_ASSUME(self);
    return (ITER){.vec = self,
                  .pos = 0,
                  .version = mutation_tracker_get(&self->iterator_invalidation_tracker)};
}

get_iter_const()

ITER_CONST get_iter_const ( SELF const * self )

static

Definition at line 288 of file template.h.

                                                             {
    DC_ASSUME(self);
    return (ITER_CONST){
        .vec = self,
        .pos = 0,
        .version = mutation_tracker_get(&self->iterator_invalidation_tracker),
    };
}

ITEM_CLONE()

item_t ITEM_CLONE ( item_t const * self )

static

ITEM_DEBUG()

void ITEM_DEBUG ( ITEM const * self, dc_debug_fmt fmt, FILE * stream )

static

ITEM_DELETE()

void ITEM_DELETE ( item_t * self )

static

max_size()

size_t max_size ( )

static

Definition at line 86 of file template.h.

{ return INPLACE_CAPACITY; }

new()

SELF new ( )

static

Definition at line 77 of file template.h.

                            {
    SELF self = {
        .size = 0,
        .derive_c_staticvec = dc_gdb_marker_new(),
        .iterator_invalidation_tracker = mutation_tracker_new(),
    };
    return self;
}

next() [1/2]

ITEM * next ( ITER * iter )

static

Definition at line 222 of file template.h.

                                        {
    DC_ASSUME(iter);
    mutation_version_check(&iter->version);
    if (iter->pos < iter->vec->size) {
        ITEM* item = &iter->vec->data[iter->pos];
        iter->pos++;
        return item;
    }
    return NULL;
}

next() [2/2]

ITEM const * next ( ITER_CONST * iter )

static

Definition at line 265 of file template.h.

                                                          {
    DC_ASSUME(iter);
    mutation_version_check(&iter->version);
    if (iter->pos < iter->vec->size) {
        ITEM const* item = &iter->vec->data[iter->pos];
        iter->pos++;
        return item;
    }
    return NULL;
}

pop()

ITEM pop ( SELF * self )

static

Definition at line 193 of file template.h.

                                      {
    ITEM entry;
    DC_ASSERT(NS(SELF, try_pop)(self, &entry));
    return entry;
}

position() [1/2]

INDEX_TYPE position ( ITER const * iter )

static

Definition at line 233 of file template.h.

                                                       {
    DC_ASSUME(iter);
    mutation_version_check(&iter->version);
    return iter->pos;
}

position() [2/2]

INDEX_TYPE position ( ITER_CONST const * iter )

static

Definition at line 276 of file template.h.

                                                                   {
    DC_ASSUME(iter);
    mutation_version_check(&iter->version);
    return iter->pos;
}

push()

ITEM * push ( SELF * self, ITEM item )

static

Definition at line 176 of file template.h.

                                                   {
    ITEM* slot = NS(SELF, try_push)(self, item);
    DC_ASSERT(slot);
    return slot;
}

read()

ITEM const * read ( SELF const * self, INDEX_TYPE index )

static

Definition at line 107 of file template.h.

                                                                      {
    ITEM const* value = NS(SELF, try_read)(self, index);
    DC_ASSERT(value);
    return value;
}

remove_at()

void remove_at ( SELF * self, INDEX_TYPE at, INDEX_TYPE count )

static

Definition at line 160 of file template.h.

                                                                             {
    INVARIANT_CHECK(self);
    DC_ASSERT(at + count <= self->size);
 
    if (count == 0) {
        return;
    }
 
    for (INDEX_TYPE i = at; i < at + count; i++) {
        ITEM_DELETE(&self->data[i]);
    }
 
    memmove(&self->data[at], &self->data[at + count], (self->size - (at + count)) * sizeof(ITEM));
    self->size -= count;
}

size()

INDEX_TYPE size ( SELF const * self )

static

Definition at line 199 of file template.h.

                                                   {
    INVARIANT_CHECK(self);
    return self->size;
}

try_insert_at()

ITEM * try_insert_at ( SELF * self, INDEX_TYPE at, ITEM const * items, INDEX_TYPE count )

static

Definition at line 139 of file template.h.

                                                       {
    INVARIANT_CHECK(self);
    DC_ASSUME(items);
    DC_ASSERT(at <= self->size);
    mutation_tracker_mutate(&self->iterator_invalidation_tracker);
 
    if (self->size + count > INPLACE_CAPACITY) {
        return NULL;
    }
 
    if (count == 0) {
        return NULL;
    }
 
    memmove(&self->data[at + count], &self->data[at], (self->size - at) * sizeof(ITEM));
    memcpy(&self->data[at], items, count * sizeof(ITEM));
    self->size += count;
    return &self->data[at];
}

try_pop()

bool try_pop ( SELF * self, ITEM * destination )

static

Definition at line 182 of file template.h.

                                                             {
    INVARIANT_CHECK(self);
    mutation_tracker_mutate(&self->iterator_invalidation_tracker);
    if (DC_LIKELY(self->size > 0)) {
        self->size--;
        *destination = self->data[self->size];
        return true;
    }
    return false;
}

try_push()

ITEM * try_push ( SELF * self, ITEM item )

static

Definition at line 127 of file template.h.

                                                       {
    INVARIANT_CHECK(self);
    mutation_tracker_mutate(&self->iterator_invalidation_tracker);
    if (self->size < INPLACE_CAPACITY) {
        ITEM* slot = &self->data[self->size];
        *slot = item;
        self->size++;
        return slot;
    }
    return NULL;
}

try_read()

ITEM const * try_read ( SELF const * self, INDEX_TYPE index )

static

Definition at line 99 of file template.h.

                                                                          {
    INVARIANT_CHECK(self);
    if (DC_LIKELY(index < self->size)) {
        return &self->data[index];
    }
    return NULL;
}

try_write()

ITEM * try_write ( SELF * self, INDEX_TYPE index )

static

Definition at line 113 of file template.h.

                                                               {
    INVARIANT_CHECK(self);
    if (DC_LIKELY(index < self->size)) {
        return &self->data[index];
    }
    return NULL;
}

write()

ITEM * write ( SELF * self, INDEX_TYPE index )

static

Definition at line 121 of file template.h.

                                                           {
    ITEM* value = NS(SELF, try_write)(self, index);
    DC_ASSERT(value);
    return value;
}