39 lines
927 B
C
39 lines
927 B
C
|
#ifndef LIBABACUS_TYPE_H
|
||
|
|
#define LIBABACUS_TYPE_H
|
||
|
|
|
||
|
|
#include "ref_vec.h"
|
||
|
|
#include "basetype.h"
|
||
|
|
|
||
|
|
/**
|
||
|
|
* A type instance. This is created at runtime
|
||
|
|
* for every value that has a type, and represents an instance
|
||
|
|
* of a basetype with concrete (though possibly templated) parameters.
|
||
|
|
*/
|
||
|
|
struct libab_type_s {
|
||
|
|
/**
|
||
|
|
* The base type that this type is an instance of.
|
||
|
|
*/
|
||
|
|
libab_basetype* base;
|
||
|
|
/**
|
||
|
|
* The list of parameters this type holds.
|
||
|
|
*/
|
||
|
|
libab_ref_vec params;
|
||
|
|
};
|
||
|
|
|
||
|
|
typedef struct libab_type_s libab_type;
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Initializes a given type with the given basetype.
|
||
|
|
* @param type the type to initialize.
|
||
|
|
* @param base the base type to use.
|
||
|
|
* @return the result of the initialization.
|
||
|
|
*/
|
||
|
|
libab_result libab_type_init(libab_type* type, libab_basetype* base);
|
||
|
|
/**
|
||
|
|
* Frees the memory allocated by the given type.
|
||
|
|
* @param type the type to free.
|
||
|
|
*/
|
||
|
|
void libab_type_free(libab_type* type);
|
||
|
|
|
||
|
|
#endif
|