libabacus/include/parsetype.h

70 lines
1.8 KiB
C

#ifndef LIBABACUS_PARSETYPE_H
#define LIBABACUS_PARSETYPE_H
#include "basetype.h"
#include "ref_vec.h"
#include "result.h"
#define LIBABACUS_TYPE_F_PARENT (1)
#define LIBABACUS_TYPE_F_PLACE (1 << 1)
#define LIBABACUS_TYPE_F_RESOLVED (1 << 2)
/**
* A type, either parsed or resolved.
*/
struct libab_parsetype_s {
/**
* The variant of the given parse type.
*/
int variant;
/**
* Union that represents the data carried by this type.
*/
union {
/**
* The name of the type that this parse type describes.
*/
char* name;
/**
* The pointer to the base of this type.
*/
libab_basetype* base;
} data_u;
/**
* A vector of children that this parse type contains.
* The children are effectively type parameters.
*/
libab_ref_vec children;
};
typedef struct libab_parsetype_s libab_parsetype;
/**
* Creates a new type instance.
* @param into the reference to store the new type into.
* @param from the basetype to instantiate.
* @param n the number of type parameters.
* @return the result of the instantiation.
*/
libab_result libab_parsetype_init(libab_parsetype* into, libab_basetype* from,
size_t n, ...);
/**
* Same as _init, but using a pre-initialized va_list.
* @param into the reference to store the new type into.
* @param from the basetype to instantiate.
* @param n the number of type parameters.
* @param args the list of parameters to this parsetype.
* @return the result of the instantiation.
*/
libab_result libab_parsetype_init_va(libab_parsetype* into, libab_basetype* from,
size_t n, va_list args);
/**
* Frees the data associated with this type, ignoring
* its children.
* @param type the type to free.
*/
void libab_parsetype_free(libab_parsetype* type);
#endif