source: tests/virtualCast.cfa @ 80a9898

// Testing the virtual cast, as part of strict inheritance.

/* IMPORTANT: This test does not repersent the final feature set.
 * We are missing a number of important aspects such as:
 * + vtable type generation.
 * + vtable instance generation, that might use different resolution rules.
 * + Virtual syntax to force said generation on structures and traits.
 * + Trait references/pointers that do the virtual_table lookup.
 */

#include <stdlib.hfa>
#include <assert.h>

struct alpha_vtable {
        alpha_vtable const * const parent;
        char (*code)(void);
};

struct alpha {
        alpha_vtable const * virtual_table;
};

char ret_a(void) {
        return 'a';
}



struct beta_vtable {
        alpha_vtable const * const parent;
        char (*code)(void);
};

struct beta {
        beta_vtable const * virtual_table;
};

char ret_b(void) {
        return 'b';
}



struct gamma_vtable {
        beta_vtable const * const parent;
        char (*code)(void);
};

struct gamma {
        gamma_vtable const * virtual_table;
};

char ret_g(void) {
        return 'g';
}


extern "C" {
        alpha_vtable _alpha_vtable_instance = { 0, ret_a };
        beta_vtable _beta_vtable_instance = { &_alpha_vtable_instance, ret_b };
        gamma_vtable _gamma_vtable_instance = { &_beta_vtable_instance, ret_g };
}

int main (int argc, char * argv[]) {

        gamma * tri = malloc(); tri->virtual_table = &_gamma_vtable_instance;
        beta * mid = (virtual beta *)tri;
        assert( 'g' == mid->virtual_table->code() );

        alpha * top = malloc(); top->virtual_table = &_alpha_vtable_instance;
        mid = (virtual beta *)top;
        assert( ! mid );

        free(tri);
        free(top);
}