source: tests/smart-pointers.cfa @ df40a56

// Testing the smart pointers (counter_ptr and unique_ptr).

#include <memory.hfa>
#include <stdlib.hfa>

void counter_test(void) {
        counter_ptr(int) ptr0 = 3;

        {
                counter_ptr(int) ptr1 = ptr0;
                *ptr1 = -7;
        }
        assert(-7 == *ptr0);

        {
                counter_ptr(int) ptr2 = 4;
                ptr0 = ptr2;
        }
        assert(4 == *ptr0);

        {
                counter_ptr(int) ptr3 = ptr0;
                counter_ptr(int) ptr4 = ptr0;
        }
}

void unique_test(void) {
        unique_ptr(char) ptr_a = 'a';
        unique_ptr(char) ptr_b = 'b';
        move(ptr_a, ptr_b);
        assert(ptr_b == 0);
        assert(*ptr_a == 'b');

        unique_ptr(char) ptr_c = 'c';
        ptr_c = 0;
}

void pointer_equality(void) {
        {
                counter_ptr(int) null = 0p;
                assert(null == 0);
                counter_ptr(int) hold = -7;
                assert(hold != 0);
                counter_ptr(int) twin = hold;
                assert(hold == twin);
        }
        {
                unique_ptr(int) null = 0p;
                assert(null == 0);
                unique_ptr(int) hold = -7;
                assert(hold != 0);
        }
}

int main(int argc, char * argv[]) {
        counter_test();
        unique_test();
        pointer_equality();
}