1 # This file is part of NIT ( http://www.nitlanguage.org ).
3 # Copyright 2009 Jean-Sebastien Gelinas <calestar@gmail.com>
5 # Licensed under the Apache License, Version 2.0 (the "License");
6 # you may not use this file except in compliance with the License.
7 # You may obtain a copy of the License at
9 # http://www.apache.org/licenses/LICENSE-2.0
11 # Unless required by applicable law or agreed to in writing, software
12 # distributed under the License is distributed on an "AS IS" BASIS,
13 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14 # See the License for the specific language governing permissions and
15 # limitations under the License.
17 # Common things to represent a Nit program/library
25 redef class ToolContext
26 readable writable var _global
: Bool = false
27 writable var _use_SFT_optimization
: Bool = true
29 # We can say that we are using SFT optimization *only* when we are
30 # doing global compilation and we enabled the command line option
31 fun use_SFT_optimization
: Bool do return global
and _use_SFT_optimization
34 # Instances of this class represent a program/library that will
35 # be analyzed/compiled by nitc
37 # This is the ToolContext associated with this Program
38 # It contains (amongts other things) the command line options
39 readable var _tc
: ToolContext
41 # This module is the 'main' module, the one where we find the 'main' method
42 readable var _module
: MMModule
44 # This method is the entry point of this program
45 # There might be no entry point (if in fact we are compiling a library)
46 readable var _main_method
: nullable MMMethod = null
48 # This is the class that contains the main method.
49 # Would be null if there is no main method
50 readable var _main_class
: nullable MMLocalClass = null
52 # When we are using global compilation, we generate _glob files instead
53 # of _sep files so that we do not corrupt separate compilation
54 fun get_file_ending
: String do return if tc
.global
then "_glob" else "_sep"
56 # This method will ensure that all the metamodel is computed before we
57 # start using all the classes
58 private fun finish_processing_classes
do
59 var classes
= new Array[MMLocalClass]
60 for c
in module.local_classes
do
61 c
.compute_super_classes
67 c
.inherit_global_properties
71 fun compute_main_method
do
72 # Check for the 'Sys' class
73 var sysname
= once
"Sys".to_symbol
74 if not module.has_global_class_named
(sysname
) then return
75 var sys
= module.class_by_name
(sysname
)
77 # Check for 'Sys::main' method
78 var entryname
= once
"main".to_symbol
79 if not sys
.has_global_property_by_name
(entryname
) then return
81 _main_method
= sys
.select_method
(entryname
)
85 # Generation of allocation function of this class
86 fun generate_allocation_iroutines
88 for c
in module.local_classes
do
89 var pi
= c
.primitive_info
92 # Generate INIT_ATTRIBUTES routine
93 var iself
= new IRegister(c
.get_type
)
95 var iroutine
= new IRoutine(iselfa
, null)
96 var icb
= new ICodeBuilder(module, iroutine
)
98 for g
in c
.global_properties
do
100 var t
= p
.signature
.return_type
101 if p
isa MMAttribute and t
!= null then
103 if ir
== null then continue
104 # FIXME: Not compatible with sep compilation
105 var e
= icb
.inline_routine
(ir
, iselfa
, null).as(not null)
106 icb
.stmt
(new IAttrWrite(p
, iself
, e
))
110 c
.init_var_iroutine
= iroutine
114 var iself
= new IRegister(c
.get_type
)
116 var iroutine
= new IRoutine(iselfa
, null)
117 var icb
= new ICodeBuilder(module, iroutine
)
118 for g
in c
.global_properties
do
120 var t
= p
.signature
.return_type
121 if p
isa MMAttribute and t
!= null and not t
.is_nullable
then
122 icb
.add_attr_check
(p
, iself
)
126 c
.checknew_iroutine
= iroutine
129 for g
in c
.global_properties
do
131 # FIXME skip invisible constructors
132 if not p
.global
.is_init_for
(c
) then continue
133 assert p
isa MMMethod
135 var iself
= new IRegister(c
.get_type
)
136 var iparams
= new Array[IRegister]
137 for i
in [0..p
.signature
.arity
[ do iparams
.add
(new IRegister(p
.signature
[i
]))
138 var iroutine
= new IRoutine(iparams
, iself
)
139 iroutine
.location
= p
.iroutine
.location
140 var icb
= new ICodeBuilder(module, iroutine
)
142 var inew
= new IAllocateInstance(c
.get_type
)
146 iargs
.add_all
(iparams
)
148 icb
.stmt
(new IInitAttributes(c
.get_type
, iself
))
149 icb
.stmt
(new IStaticCall(p
, iargs
))
150 icb
.stmt
(new ICheckInstance(c
.get_type
, iself
))
152 c
.new_instance_iroutine
[p
] = iroutine
158 # This function will call the attached block for each IRoutines
160 fun with_each_iroutines
161 !action
(i
: IRoutine, m
: MMModule)
163 for m
in module.mhe
.greaters_and_self
do
164 for c
in m
.local_classes
do
165 var iroutine
: nullable IRoutine = null
167 # Process methods and attributes initialization
168 for p
in c
.local_local_properties
do
169 if p
isa MMAttribute then
170 iroutine
= p
.iroutine
171 else if p
isa MMMethod then
172 iroutine
= p
.iroutine
174 if iroutine
== null then continue
178 # Process class-specific iroutines
179 iroutine
= c
.init_var_iroutine
180 if iroutine
!= null then
183 iroutine
= c
.checknew_iroutine
184 if iroutine
!= null then
187 for i
in c
.new_instance_iroutine
do
194 # This function will call the attached block for each MMMethods
196 fun with_each_methods
199 for m
in module.mhe
.greaters_and_self
do
200 for c
in m
.local_classes
do
201 # Process methods and attributes initialization
202 for p
in c
.local_local_properties
do
203 if p
isa MMMethod then
211 init(m
: MMModule, toolcontext
: ToolContext) do
214 finish_processing_classes
218 redef class MMLocalClass
219 # IRoutine for the initialization of the default attributes (called by IInitAttributes)
220 readable writable var _init_var_iroutine
: nullable IRoutine = null
221 # IRoutine to validate the instance after initialization (called by ICheckInstance)
222 readable writable var _checknew_iroutine
: nullable IRoutine = null
223 # IRoutines to call to create a new valid instance (memory allocated, object initialized and validated)
224 # These iroutines will call: IAllocateInstance, IInitAttributes, some init function and ICheckInstance
225 # These routines will be called by INew
226 readable var _new_instance_iroutine
: HashMap[MMMethod, IRoutine] = new HashMap[MMMethod, IRoutine]