# Would be null if there is no main method
readable var _main_class: nullable MMLocalClass = null
- # When we are using global compilation, we generate _glob files instead
- # of _sep files so that we do not corrupt separate compilation
- fun get_file_ending: String do return if tc.global then "_glob" else "_sep"
-
# This method will ensure that all the metamodel is computed before we
# start using all the classes
private fun finish_processing_classes do
for c in classes do
c.compute_ancestors
- c.inherit_global_properties
end
end
fun generate_allocation_iroutines
do
for c in module.local_classes do
+ if c.global.is_abstract or c.global.is_interface then continue
var pi = c.primitive_info
if pi == null then
do
var icb = new ICodeBuilder(module, iroutine)
for g in c.global_properties do
+ if not g.intro isa MMAttribute then continue
var p = c[g]
var t = p.signature.return_type
if p isa MMAttribute and t != null then
var iroutine = new IRoutine(iselfa, null)
var icb = new ICodeBuilder(module, iroutine)
for g in c.global_properties do
+ if not g.intro isa MMAttribute then continue
var p = c[g]
var t = p.signature.return_type
if p isa MMAttribute and t != null and not t.is_nullable then
end
for g in c.global_properties do
- var p = c[g]
# FIXME skip invisible constructors
- if not p.global.is_init_for(c) then continue
+ if not g.is_init_for(c) then continue
+ var p = c[g]
assert p isa MMMethod
var iself = new IRegister(c.get_type)
end
end
+ # This function will call the attached block for each IRoutines
+ # in this program
+ fun with_each_iroutines
+ !action(i: IRoutine, m: MMModule)
+ do
+ for m in module.mhe.greaters_and_self do
+ for c in m.local_classes do
+ var iroutine: nullable IRoutine = null
+
+ # Process methods and attributes initialization
+ for p in c.local_local_properties do
+ if p isa MMAttribute then
+ iroutine = p.iroutine
+ else if p isa MMMethod then
+ iroutine = p.iroutine
+ end
+ if iroutine == null then continue
+ action(iroutine, m)
+ end
+
+ # Process class-specific iroutines
+ iroutine = c.init_var_iroutine
+ if iroutine != null then
+ action(iroutine, m)
+ end
+ iroutine = c.checknew_iroutine
+ if iroutine != null then
+ action(iroutine, m)
+ end
+ for i in c.new_instance_iroutine do
+ action(i, m)
+ end
+ end
+ end
+ end
+
+ # This function will call the attached block for each MMMethods
+ # in this program
+ fun with_each_methods
+ !action(m: MMMethod)
+ do
+ for m in module.mhe.greaters_and_self do
+ for c in m.local_classes do
+ # Process methods and attributes initialization
+ for p in c.local_local_properties do
+ if p isa MMMethod then
+ action(p)
+ end
+ end
+ end
+ end
+ end
+
+ # This function will call the attached block for each live local classes
+ # in this program
+ fun with_each_live_local_classes
+ !action(m: MMLocalClass)
+ do
+ for c in module.local_classes do
+ action(c)
+ end
+ end
+
init(m: MMModule, toolcontext: ToolContext) do
_module = m
_tc = toolcontext