Setting up the use of this module.

§1. This section simply sets up the module in ways expected by foundation, and contains no code of interest. The following constant exists only in tools which use this module:

define IMPERATIVE_MODULE TRUE

§2. Like all modules, this one must define a start and end function:

enum INV_LIST_MREASON
enum DESCRIPTION_COMPILATION_DA
enum EXPRESSIONS_DA
enum LOCAL_VARIABLES_DA
enum PHRASE_COMPARISONS_DA
enum PHRASE_COMPILATION_DA
enum PHRASE_CREATIONS_DA
enum PHRASE_REGISTRATION_DA

COMPILE_WRITER(parse_node *, InvocationLists::log)
COMPILE_WRITER(parse_node *, Invocations::log)
COMPILE_WRITER(id_type_data *, IDTypeData::log)
COMPILE_WRITER(local_variable *, LocalVariables::log)
COMPILE_WRITER(id_body *, ImperativeDefinitions::log_body)

void ImperativeModule::start(void) {
    Writers::register_writer('L', &LocalVariables::writer);
    REGISTER_WRITER('E', InvocationLists::log);
    REGISTER_WRITER('e', Invocations::log);
    REGISTER_WRITER('h', IDTypeData::log);
    REGISTER_WRITER('k', LocalVariables::log);
    REGISTER_WRITER('R', ImperativeDefinitions::log_body);
    Memory::reason_name(INV_LIST_MREASON, "lists for type-checking invocations");
    Log::declare_aspect(DESCRIPTION_COMPILATION_DA, U"description compilation", FALSE, FALSE);
    Log::declare_aspect(EXPRESSIONS_DA, U"expressions", FALSE, FALSE);
    Log::declare_aspect(LOCAL_VARIABLES_DA, U"local variables", FALSE, FALSE);
    Log::declare_aspect(PHRASE_COMPARISONS_DA, U"phrase comparisons", FALSE, FALSE);
    Log::declare_aspect(PHRASE_COMPILATION_DA, U"phrase compilation", FALSE, FALSE);
    Log::declare_aspect(PHRASE_CREATIONS_DA, U"phrase creations", FALSE, FALSE);
    Log::declare_aspect(PHRASE_REGISTRATION_DA, U"phrase registration", FALSE, FALSE);
}
void ImperativeModule::end(void) {
}