Spicy
Public Attributes | List of all members
hilti::rt::detail::HiltiModule Struct Reference

#include <init.h>

Public Attributes

const char * name {}
 
void(* init_module )() = nullptr
 
void(* init_globals )(hilti::rt::Context *ctx)
 
unsigned int * globals_idx
 

Detailed Description

A HILTI module registered with the runtime. The HILTI code generator creates code to register an instance of this for every module it compiles.

Member Data Documentation

◆ globals_idx

unsigned int* hilti::rt::detail::HiltiModule::globals_idx
Initial value:
=
nullptr

pointer to an integer storing the modules' index in the context-wide globals array

◆ init_globals

void(* hilti::rt::detail::HiltiModule::init_globals) (hilti::rt::Context *ctx)
Initial value:
=
nullptr

callback to initialize the module's globals in a freshly allocated context

◆ init_module

void(* hilti::rt::detail::HiltiModule::init_module) () = nullptr

callback for executing any top-level module code when the runtime library is being initialized

◆ name

const char* hilti::rt::detail::HiltiModule::name {}

name of the HILTI module; for informational purposes


The documentation for this struct was generated from the following file: