Common use of Compilation Clause in Contracts

Compilation. The class CW_COMPILER_LAUNCHER handles the compilation of the Eiffel source. The class already existed but it now has new functionalities: it finalizes the code instead of only freezing it and it executes “finish_freezing” to compile the C code and to link part of the finalization. Table 13 shows how CW_MAIN_WINDOWS uses CW_COMPILER_LAUNCHER to compile the Eiffel classes to a .NET assembly. The code snippet follows right after the code extract of Table 12 above. -- Launch compilation and check for compilation errors. create compiler_launcher.make (project_handler.assembly_name_no_extension, project_handler.assembly_extension, project_handler.working_directory) compiler_launcher.compile if compiler_▇▇▇▇▇▇▇▇.▇▇_successful_compiled then -- Execute finish freezing. compiler_launcher.finish_freezing compiler_launcher.wait_for_exit