![]() |
Spicy
|
#include <init.h>
Public Attributes | |
const char * | name {} |
void(* | init_module )() = nullptr |
void(* | init_globals )(hilti::rt::Context *ctx) |
unsigned int * | globals_idx |
A HILTI module registered with the runtime. The HILTI code generator creates code to register an instance of this for every module it compiles.
unsigned int* hilti::rt::detail::HiltiModule::globals_idx |
pointer to an integer storing the modules' index in the context-wide globals array
void(* hilti::rt::detail::HiltiModule::init_globals) (hilti::rt::Context *ctx) |
callback to initialize the module's globals in a freshly allocated context
void(* hilti::rt::detail::HiltiModule::init_module) () = nullptr |
callback for executing any top-level module code when the runtime library is being initialized
const char* hilti::rt::detail::HiltiModule::name {} |
name of the HILTI module; for informational purposes