if header != null then add header
var name = name
- if name != null then add "module {name}\n\n"
+ add "module {name}\n\n"
for i in imports do add "import {i}\n"
add "\n"
var model = new Model
var modelbuilder = new ModelBuilder(model, toolcontext)
-var mmodules = modelbuilder.parse(arguments)
+var mmodules = modelbuilder.parse_full(arguments)
modelbuilder.run_phases
# Create a distinct support module per targetted modules
module_name = "{mmodule.name}_serial"
module_path = null
else if module_path.has_suffix(".nit") then
- module_name = mmodule.name.basename(".nit")
+ module_name = module_path.basename(".nit")
else
module_name = module_path.basename("")
module_path += ".nit"