source: tests/zombies/gc_no_raii/src/gcpointers.c @ c565d68

#include "gcpointers.h"

// #include "gc.h"
#include "internal/collector.h"
#include "internal/object_header.h"
#include "internal/state.h"

void register_ptr(gcpointer_t* this)
{
        if(gcpointer_null(this)) return;

        if(gc_is_managed(this))
        {
                gc_object_header* obj = gc_get_object_for_ref(gc_get_state(), (void*)this);
                check(obj);
                check(is_valid(obj));
                check(gc_is_managed(this) == gc_is_managed(obj->type_chain) || !obj->type_chain);
                this->next = obj->type_chain;
                obj->type_chain = this;
                check(is_valid(obj));
        }
        else
        {
                gc_object_header* obj = gc_get_object_ptr((void*)this->ptr);
                check(obj);
                check(is_valid(obj));
                check(!obj->root_chain || this->ptr == obj->root_chain->ptr);
                check(!obj->root_chain || gc_is_managed(this) == gc_is_managed(obj->root_chain));
                this->next = obj->root_chain;
                obj->root_chain = this;
                check(is_valid(obj));
        }
}

void unregister_ptr(gcpointer_t* this)
{
        if(gcpointer_null(this)) return;

        gcpointer_t** prev_next_ptr = gc_find_previous_ref(this);
        check((*prev_next_ptr) == this);

        (*prev_next_ptr) = this->next;
}

void ?{}(gcpointer_t* this)
{
        this->ptr = (intptr_t)NULL;
        this->next = NULL;
}

void ?{}(gcpointer_t* this, void* address)
{
        this->ptr = (intptr_t)address;
        this->next = NULL;

        register_ptr(this);
}

void ?{}(gcpointer_t* this, gcpointer_t other)
{
        this->ptr = other.ptr;
        this->next = NULL;

        register_ptr(this);
}

void ^?{}(gcpointer_t* this)
{
        unregister_ptr(this);
}

gcpointer_t ?=?(gcpointer_t* this, gcpointer_t rhs)
{
        unregister_ptr(this);
        this->ptr = rhs.ptr;
        register_ptr(this);

        return *this;
}

//Logical operators
bool gcpointer_equal(const gcpointer_t* this, const gcpointer_t* rhs)
{
        return this->ptr == rhs->ptr;
}

bool gcpointer_not_equal(const gcpointer_t* this, const gcpointer_t* rhs)
{
        return this->ptr != rhs->ptr;
}

bool gcpointer_null(const gcpointer_t* this)
{
        return this->ptr == (intptr_t)NULL;
}

#ifndef NDEBUG
        bool is_valid(const gcpointer_t* this) {
                if(gcpointer_null(this)) return true;

                gc_object_header* obj = gc_get_object_ptr((void*)this->ptr);
                check(obj);
                check(is_valid(obj));
                check(!obj->root_chain || this->ptr == obj->root_chain->ptr);

                if( !gc_is_managed(this))
                {
                        check( !(this->next) || this->ptr == this->next->ptr );
                }

                return true;
        }
#endif

forall(T) void ?{}(gcpointer(T)* this) {
        (&this->internal) {};
}

forall(T) void ?{}(gcpointer(T)* this, void* address) {
        (&this->internal) { address };
}

forall(T) void ?{}(gcpointer(T)* this, gcpointer(T) other) {
        (&this->internal) { other.internal };
}

forall(T) void ^?{}(gcpointer(T)* this) {
        ^?{}(&this->internal);
}

forall(T) gcpointer(T) ?=?(gcpointer(T)* this, gcpointer(T) rhs) {
        this->internal = rhs.internal;
        return *this;
}
//
// forall(otype T) T *?(gcpointer(T) this);

forall(T) T* get(gcpointer(T)* this) {
        return (T*)this->internal.ptr;
}
//
// //Logical operators
forall(T) int ?!=?(gcpointer(T) this, int zero) {
        return this.internal.ptr != 0;
}
// forall(otype T) int ?!=?(gcpointer(T) this, gcpointer(T) rhs);
// forall(otype T) int ?==?(gcpointer(T) this, gcpointer(T) rhs);