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:

enumerate INV_LIST_MREASON 

enumerate DESCRIPTION_COMPILATION_DA 

enumerate EXPRESSIONS_DA 

enumerate LOCAL_VARIABLES_DA 

enumerate PHRASE_COMPARISONS_DA 

enumerate PHRASE_COMPILATION_DA 

enumerate PHRASE_CREATIONS_DA 

enumerate 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) {
}