template.h File Reference

#include <derive-c/core/includes/def.h>
#include "includes.h"
#include <derive-c/core/alloc/def.h>
#include <derive-c/core/self/def.h>
#include <derive-c/container/vector/dynamic/template.h>
#include <derive-c/core/self/undef.h>
#include <derive-c/core/alloc/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	ITEM_VECTORS   NS(NAME, item_vectors)
#define	INTERNAL_NAME   ITEM_VECTORS
#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 (ALLOC *alloc)
static SELF	new_with_capacity (size_t front_and_back_capacity, ALLOC *alloc)
static SELF	clone (SELF const *other)
static size_t	size (SELF const *self)
static bool	empty (SELF const *self)
static void	rebalance (SELF *self)
static ITEM const *	try_read_from_front (SELF const *self, size_t index)
static ITEM const *	try_read_from_back (SELF const *self, size_t index)
static ITEM *	try_write_from_front (SELF *self, size_t index)
static ITEM *	try_write_from_back (SELF *self, size_t index)
static void	push_front (SELF *self, ITEM item)
static void	push_back (SELF *self, ITEM item)
static ITEM	pop_front (SELF *self)
static ITEM	pop_back (SELF *self)
static bool	empty_item (ITEM *const *item)
static ITEM *	next (ITER *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 bool	empty (ITER_CONST const *iter)
static ITER_CONST	get_iter_const (SELF const *self)
static void	delete (SELF *self)
static void	debug (SELF const *self, dc_debug_fmt fmt, FILE *stream)
	DC_TRAIT_QUEUE (SELF)

Macro Definition Documentation

INTERNAL_NAME

#define INTERNAL_NAME   ITEM_VECTORS

Definition at line 52 of file template.h.

INVARIANT_CHECK

#define INVARIANT_CHECK

(

self

)

Value:

DC_ASSUME(self);

Definition at line 67 of file template.h.

ITEM

#define ITEM   item_t

Definition at line 19 of file template.h.

ITEM_CLONE

#define ITEM_CLONE   item_clone

Definition at line 23 of file template.h.

ITEM_DEBUG

#define ITEM_DEBUG   item_debug

Definition at line 25 of file template.h.

ITEM_DELETE

#define ITEM_DELETE   item_delete

Definition at line 21 of file template.h.

ITEM_VECTORS

#define ITEM_VECTORS   NS(NAME, item_vectors)

Definition at line 44 of file template.h.

ITER

#define ITER   NS(SELF, iter)

Definition at line 207 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 208 of file template.h.

Function Documentation

clone()

SELF clone ( SELF const * other )

static

Definition at line 87 of file template.h.

                                               {
    INVARIANT_CHECK(other);
    return (SELF){
        .front = NS(ITEM_VECTORS, clone)(&other->front),
        .back = NS(ITEM_VECTORS, clone)(&other->back),
        .derive_c_deque = dc_gdb_marker_new(),
        .iterator_invalidation_tracker = mutation_tracker_new(),
    };
}

DC_TRAIT_QUEUE()

DC_TRAIT_QUEUE

(

SELF

)

debug()

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

static

Definition at line 309 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, "size: %lu,\n", NS(SELF, size)(self));
 
    dc_debug_fmt_print(fmt, stream, "front: ");
    NS(ITEM_VECTORS, debug)(&self->front, fmt, stream);
    fprintf(stream, ",\n");
 
    dc_debug_fmt_print(fmt, stream, "back: ");
    NS(ITEM_VECTORS, debug)(&self->back, fmt, stream);
    fprintf(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 303 of file template.h.

                                         {
    INVARIANT_CHECK(self);
    NS(ITEM_VECTORS, delete)(&self->front);
    NS(ITEM_VECTORS, delete)(&self->back);
}

empty() [1/3]

bool empty ( ITER const * iter )

static

Definition at line 238 of file template.h.

                                              {
    mutation_version_check(&iter->version);
    DC_ASSUME(iter);
    return iter->pos >=
           NS(ITEM_VECTORS, size)(&iter->deque->front) + NS(ITEM_VECTORS, size)(&iter->deque->back);
}

empty() [2/3]

bool empty ( ITER_CONST const * iter )

static

Definition at line 285 of file template.h.

                                                          {
    DC_ASSUME(iter);
    mutation_version_check(&iter->version);
    return iter->pos >=
           NS(ITEM_VECTORS, size)(&iter->deque->front) + NS(ITEM_VECTORS, size)(&iter->deque->back);
}

empty() [3/3]

bool empty ( SELF const * self )

static

Definition at line 102 of file template.h.

                                              {
    INVARIANT_CHECK(self);
    return NS(ITEM_VECTORS, size)(&self->front) == 0 && NS(ITEM_VECTORS, size)(&self->back) == 0;
}

empty_item() [1/2]

bool empty_item ( ITEM *const * item )

static

Definition at line 210 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){.deque = 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 292 of file template.h.

                                                             {
    DC_ASSUME(self);
    return (ITER_CONST){
        .deque = 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

new()

SELF new ( ALLOC * alloc )

static

Definition at line 69 of file template.h.

                                        {
    return (SELF){
        .front = NS(ITEM_VECTORS, new)(alloc),
        .back = NS(ITEM_VECTORS, new)(alloc),
        .derive_c_deque = dc_gdb_marker_new(),
        .iterator_invalidation_tracker = mutation_tracker_new(),
    };
}

new_with_capacity()

SELF new_with_capacity ( size_t front_and_back_capacity, ALLOC * alloc )

static

Definition at line 78 of file template.h.

                                                                                      {
    return (SELF){
        .front = NS(ITEM_VECTORS, new_with_capacity)(front_and_back_capacity, alloc),
        .back = NS(ITEM_VECTORS, new_with_capacity)(front_and_back_capacity, alloc),
        .derive_c_deque = dc_gdb_marker_new(),
        .iterator_invalidation_tracker = mutation_tracker_new(),
    };
}

next() [1/2]

ITEM * next ( ITER * iter )

static

Definition at line 218 of file template.h.

                                        {
    DC_ASSUME(iter);
    mutation_version_check(&iter->version);
    size_t const front_size = NS(ITEM_VECTORS, size)(&iter->deque->front);
    size_t const back_size = NS(ITEM_VECTORS, size)(&iter->deque->back);
    size_t const total_size = front_size + back_size;
 
    if (iter->pos < total_size) {
        ITEM* item;
        if (iter->pos < front_size) {
            item = NS(ITEM_VECTORS, write)(&iter->deque->front, front_size - 1 - iter->pos);
        } else {
            item = NS(ITEM_VECTORS, write)(&iter->deque->back, iter->pos - front_size);
        }
        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);
    size_t const front_size = NS(ITEM_VECTORS, size)(&iter->deque->front);
    size_t const back_size = NS(ITEM_VECTORS, size)(&iter->deque->back);
    size_t const total_size = front_size + back_size;
 
    if (iter->pos < total_size) {
        ITEM const* item;
        if (iter->pos < front_size) {
            item = NS(ITEM_VECTORS, read)(&iter->deque->front, front_size - 1 - iter->pos);
        } else {
            item = NS(ITEM_VECTORS, read)(&iter->deque->back, iter->pos - front_size);
        }
        iter->pos++;
        return item;
    }
    return NULL;
}

pop_back()

ITEM pop_back ( SELF * self )

static

Definition at line 193 of file template.h.

                                           {
    INVARIANT_CHECK(self);
    mutation_tracker_mutate(&self->iterator_invalidation_tracker);
    if (NS(ITEM_VECTORS, size)(&self->back) > 0) {
        ITEM result = NS(ITEM_VECTORS, pop)(&self->back);
        NS(SELF, rebalance)(self);
        return result;
    }
 
    ITEM result = NS(ITEM_VECTORS, pop_front)(&self->front);
    NS(SELF, rebalance)(self);
    return result;
}

pop_front()

ITEM pop_front ( SELF * self )

static

Definition at line 179 of file template.h.

                                            {
    INVARIANT_CHECK(self);
    mutation_tracker_mutate(&self->iterator_invalidation_tracker);
    if (NS(ITEM_VECTORS, size)(&self->front) > 0) {
        ITEM result = NS(ITEM_VECTORS, pop)(&self->front);
        NS(SELF, rebalance)(self);
        return result;
    }
 
    ITEM result = NS(ITEM_VECTORS, pop_front)(&self->back);
    NS(SELF, rebalance)(self);
    return result;
}

push_back()

void push_back ( SELF * self, ITEM item )

static

Definition at line 172 of file template.h.

                                                       {
    INVARIANT_CHECK(self);
    mutation_tracker_mutate(&self->iterator_invalidation_tracker);
    NS(ITEM_VECTORS, push)(&self->back, item);
    NS(SELF, rebalance)(self);
}

push_front()

void push_front ( SELF * self, ITEM item )

static

Definition at line 165 of file template.h.

                                                        {
    INVARIANT_CHECK(self);
    mutation_tracker_mutate(&self->iterator_invalidation_tracker);
    NS(ITEM_VECTORS, push)(&self->front, item);
    NS(SELF, rebalance)(self);
}

rebalance()

void rebalance ( SELF * self )

static

Definition at line 107 of file template.h.

                                            {
    INVARIANT_CHECK(self);
    mutation_tracker_mutate(&self->iterator_invalidation_tracker);
 
    size_t const front_size = NS(ITEM_VECTORS, size)(&self->front);
    size_t const back_size = NS(ITEM_VECTORS, size)(&self->back);
    size_t const total_size = front_size + back_size;
 
    if (!dc_deque_rebalance_policy(total_size, front_size)) {
        return;
    }
 
    ITEM_VECTORS* source;
    ITEM_VECTORS* target;
    size_t source_size;
    size_t target_size;
 
    if (front_size > back_size + 1) {
        source = &self->front;
        target = &self->back;
        source_size = front_size;
        target_size = back_size;
    } else {
        DC_ASSUME(back_size > front_size + 1);
        source = &self->back;
        target = &self->front;
        source_size = back_size;
        target_size = front_size;
    }
 
    size_t const to_move = (source_size - target_size) / 2;
    NS(ITEM_VECTORS, transfer_reverse)(source, target, to_move);
}

size()

size_t size ( SELF const * self )

static

Definition at line 97 of file template.h.

                                               {
    INVARIANT_CHECK(self);
    return NS(ITEM_VECTORS, size)(&self->front) + NS(ITEM_VECTORS, size)(&self->back);
}

try_read_from_back()

ITEM const * try_read_from_back ( SELF const * self, size_t index )

static

Definition at line 153 of file template.h.

                                                                                {
    return NS(SELF, try_read_from_front)(self, NS(SELF, size)(self) - 1 - index);
}

try_read_from_front()

ITEM const * try_read_from_front ( SELF const * self, size_t index )

static

Definition at line 141 of file template.h.

                                                                                 {
    INVARIANT_CHECK(self);
 
    if (index < NS(ITEM_VECTORS, size)(&self->front)) {
        size_t front_index = NS(ITEM_VECTORS, size)(&self->front) - 1 - index;
        return NS(ITEM_VECTORS, read)(&self->front, front_index);
    }
 
    size_t back_index = index - NS(ITEM_VECTORS, size)(&self->front);
    return NS(ITEM_VECTORS, try_read)(&self->back, back_index);
}

try_write_from_back()

ITEM * try_write_from_back ( SELF * self, size_t index )

static

Definition at line 161 of file template.h.

                                                                     {
    return (ITEM*)NS(SELF, try_read_from_back)(self, index);
}

try_write_from_front()

ITEM * try_write_from_front ( SELF * self, size_t index )

static

Definition at line 157 of file template.h.

                                                                      {
    return (ITEM*)NS(SELF, try_read_from_front)(self, index);
}