1 # This file is part of NIT ( http://www.nitlanguage.org ).
3 # Copyright 2012 Jean Privat <jean@pryen.org>
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 # Analysis and verification of property definitions to instantiate model element
18 module modelize_property
22 redef class ToolContext
23 var modelize_property_phase
: Phase = new ModelizePropertyPhase(self, [modelize_class_phase
])
26 private class ModelizePropertyPhase
28 redef fun process_nmodule
(nmodule
)
30 for nclassdef
in nmodule
.n_classdefs
do
31 toolcontext
.modelbuilder
.build_properties
(nclassdef
)
36 redef class ModelBuilder
37 # Register the npropdef associated to each mpropdef
38 # FIXME: why not refine the `MPropDef` class with a nullable attribute?
39 var mpropdef2npropdef
: HashMap[MPropDef, APropdef] = new HashMap[MPropDef, APropdef]
41 # Build the properties of `nclassdef`.
42 # REQUIRE: all superclasses are built.
43 private fun build_properties
(nclassdef
: AClassdef)
45 # Force building recursively
46 if nclassdef
.build_properties_is_done
then return
47 nclassdef
.build_properties_is_done
= true
48 var mclassdef
= nclassdef
.mclassdef
.as(not null)
49 if mclassdef
.in_hierarchy
== null then return # Skip error
50 for superclassdef
in mclassdef
.in_hierarchy
.direct_greaters
do
51 build_properties
(mclassdef2nclassdef
[superclassdef
])
54 for npropdef
in nclassdef
.n_propdefs
do
55 npropdef
.build_property
(self, nclassdef
)
57 for npropdef
in nclassdef
.n_propdefs
do
58 npropdef
.build_signature
(self, nclassdef
)
60 for npropdef
in nclassdef
.n_propdefs
do
61 npropdef
.check_signature
(self, nclassdef
)
63 process_default_constructors
(nclassdef
)
66 # Introduce or inherit default constructor
67 # This is the last part of `build_properties`.
68 private fun process_default_constructors
(nclassdef
: AClassdef)
70 var mclassdef
= nclassdef
.mclassdef
.as(not null)
73 if not mclassdef
.is_intro
then return
75 # Is the class forbid constructors?
76 if not mclassdef
.mclass
.kind
.need_init
then return
78 # Is there already a constructor defined?
79 for mpropdef
in mclassdef
.mpropdefs
do
80 if not mpropdef
isa MMethodDef then continue
81 if mpropdef
.mproperty
.is_init
then return
84 if not nclassdef
isa AStdClassdef then return
86 var mmodule
= nclassdef
.mclassdef
.mmodule
87 # Do we inherit for a constructor?
88 var combine
= new Array[MMethod]
89 var inhc
: nullable MClass = null
90 for st
in mclassdef
.supertypes
do
92 if not c
.kind
.need_init
then continue
93 st
= st
.anchor_to
(mmodule
, nclassdef
.mclassdef
.bound_mtype
)
94 var candidate
= self.try_get_mproperty_by_name2
(nclassdef
, mmodule
, st
, "init").as(nullable MMethod)
95 if candidate
!= null and candidate
.intro
.msignature
.arity
== 0 then
96 combine
.add
(candidate
)
99 var inhc2
= c
.inherit_init_from
100 if inhc2
== null then inhc2
= c
101 if inhc2
== inhc
then continue
103 self.error
(nclassdef
, "Error: Cannot provide a defaut constructor: conflict for {inhc} and {c}")
109 # Collect undefined attributes
110 var mparameters
= new Array[MParameter]
111 var anode
: nullable ANode = null
112 for npropdef
in nclassdef
.n_propdefs
do
113 if npropdef
isa AAttrPropdef and npropdef
.n_expr
== null then
114 if npropdef
.mpropdef
== null then return # Skip broken attribute
115 var paramname
= npropdef
.mpropdef
.mproperty
.name
.substring_from
(1)
116 var ret_type
= npropdef
.mpropdef
.static_mtype
117 if ret_type
== null then return
118 var mparameter
= new MParameter(paramname
, ret_type
, false)
119 mparameters
.add
(mparameter
)
120 if anode
== null then anode
= npropdef
123 if anode
== null then anode
= nclassdef
125 if combine
.is_empty
and inhc
!= null then
126 if not mparameters
.is_empty
then
127 self.error
(anode
,"Error: {mclassdef} cannot inherit constructors from {inhc} because there is attributes without initial values: {mparameters.join(", ")}")
131 # TODO: actively inherit the consturctor
132 self.toolcontext
.info
("{mclassdef} inherits all constructors from {inhc}", 3)
133 mclassdef
.mclass
.inherit_init_from
= inhc
137 if not combine
.is_empty
and inhc
!= null then
138 self.error
(nclassdef
, "Error: Cannot provide a defaut constructor: conflict for {combine.join(", ")} and {inhc}")
142 if not combine
.is_empty
then
143 if mparameters
.is_empty
and combine
.length
== 1 then
144 # No need to create a local init, the inherited one is enough
145 inhc
= combine
.first
.intro_mclassdef
.mclass
146 mclassdef
.mclass
.inherit_init_from
= inhc
147 self.toolcontext
.info
("{mclassdef} inherits all constructors from {inhc}", 3)
150 nclassdef
.super_inits
= combine
153 var mprop
= new MMethod(mclassdef
, "init", mclassdef
.mclass
.visibility
)
154 var mpropdef
= new MMethodDef(mclassdef
, mprop
, nclassdef
.location
)
155 var msignature
= new MSignature(mparameters
, null)
156 mpropdef
.msignature
= msignature
158 nclassdef
.mfree_init
= mpropdef
159 self.toolcontext
.info
("{mclassdef} gets a free constructor for attributes {mpropdef}{msignature}", 3)
162 # Check the visibility of `mtype` as an element of the signature of `mpropdef`.
163 fun check_visibility
(node
: ANode, mtype
: MType, mpropdef
: MPropDef)
165 var mmodule
= mpropdef
.mclassdef
.mmodule
166 var mproperty
= mpropdef
.mproperty
168 # Extract visibility information of the main part of `mtype`
169 # It is a case-by case
170 var vis_type
: nullable MVisibility = null # The own visibility of the type
171 var mmodule_type
: nullable MModule = null # The origial module of the type
172 if mtype
isa MNullableType then mtype
= mtype
.mtype
173 if mtype
isa MClassType then
174 vis_type
= mtype
.mclass
.visibility
175 mmodule_type
= mtype
.mclass
.intro
.mmodule
176 else if mtype
isa MVirtualType then
177 vis_type
= mtype
.mproperty
.visibility
178 mmodule_type
= mtype
.mproperty
.intro_mclassdef
.mmodule
179 else if mtype
isa MParameterType then
180 # nothing, always visible
182 node
.debug
"Unexpected type {mtype}"
186 if vis_type
!= null then
187 assert mmodule_type
!= null
188 var vis_module_type
= mmodule
.visibility_for
(mmodule_type
) # the visibility of the original module
189 if mproperty
.visibility
> vis_type
then
190 error
(node
, "Error: The {mproperty.visibility} property `{mproperty}` cannot contain the {vis_type} type `{mtype}`")
192 else if mproperty
.visibility
> vis_module_type
then
193 error
(node
, "Error: The {mproperty.visibility} property `{mproperty}` cannot contain the type `{mtype}` from the {vis_module_type} module `{mmodule_type}`")
198 # No error, try to go deeper in generic types
199 if node
isa AType then
200 for a
in node
.n_types
do check_visibility
(a
, a
.mtype
.as(not null), mpropdef
)
201 else if mtype
isa MGenericType then
202 for t
in mtype
.arguments
do check_visibility
(node
, t
, mpropdef
)
208 # The class whose self inherit all the constructors.
209 # FIXME: this is needed to implement the crazy constructor mixin thing of the of old compiler. We need to think what to do with since this cannot stay in the modelbuilder
210 var inherit_init_from
: nullable MClass = null
213 redef class MClassDef
214 private var propdef_names
= new HashSet[String]
218 # Does the MPropDef contains a call to super or a call of a super-constructor?
219 # Subsequent phases of the frontend (esp. typing) set it if required
220 var has_supercall
: Bool writable = false
223 redef class AClassdef
224 var build_properties_is_done
: Bool = false
225 # The list of super-constructor to call at the start of the free constructor
226 # FIXME: this is needed to implement the crazy constructor thing of the of old compiler. We need to think what to do with since this cannot stay in the modelbuilder
227 var super_inits
: nullable Collection[MMethod] = null
229 # The free init (implicitely constructed by the class if required)
230 var mfree_init
: nullable MMethodDef = null
232 # What is the `APropdef` associated to a `MProperty`?
233 # Used to check multiple definition of a property.
234 var mprop2npropdef
: Map[MProperty, APropdef] = new HashMap[MProperty, APropdef]
238 # Join the text of all tokens
239 # Used to get the 'real name' of method definitions.
240 fun collect_text
: String
242 var v
= new TextCollectorVisitor
249 private class TextCollectorVisitor
251 var text
: String = ""
254 if n
isa Token then text
+= n
.text
260 # The associated main model entity
261 type MPROPDEF: MPropDef
263 # The associated propdef once build by a `ModelBuilder`
264 var mpropdef
: nullable MPROPDEF writable
266 private fun build_property
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef) is abstract
267 private fun build_signature
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef) is abstract
268 private fun check_signature
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef) is abstract
269 private fun new_property_visibility
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef, nvisibility
: nullable AVisibility): MVisibility
271 var mvisibility
= public_visibility
272 if nvisibility
!= null then
273 mvisibility
= nvisibility
.mvisibility
274 if mvisibility
== intrude_visibility
then
275 modelbuilder
.error
(nvisibility
, "Error: intrude is not a legal visibility for properties.")
276 mvisibility
= public_visibility
279 if nclassdef
.mclassdef
.mclass
.visibility
== private_visibility
then
280 if mvisibility
== protected_visibility
then
281 assert nvisibility
!= null
282 modelbuilder
.error
(nvisibility
, "Error: The only legal visibility for properties in a private class is private.")
283 else if mvisibility
== private_visibility
then
284 assert nvisibility
!= null
286 # modelbuilder.warning(nvisibility, "Warning: private is unrequired since the only legal visibility for properties in a private class is private.")
288 mvisibility
= private_visibility
293 private fun set_doc
(mpropdef
: MPropDef)
295 var ndoc
= self.n_doc
296 if ndoc
!= null then mpropdef
.mdoc
= ndoc
.to_mdoc
299 private fun check_redef_property_visibility
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef, nvisibility
: nullable AVisibility, mprop
: MProperty)
301 if nvisibility
== null then return
302 var mvisibility
= nvisibility
.mvisibility
303 if mvisibility
!= mprop
.visibility
and mvisibility
!= public_visibility
then
304 modelbuilder
.error
(nvisibility
, "Error: redefinition changed the visibility from a {mprop.visibility} to a {mvisibility}")
308 private fun check_redef_keyword
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef, kwredef
: nullable Token, need_redef
: Bool, mprop
: MProperty): Bool
310 if nclassdef
.mprop2npropdef
.has_key
(mprop
) then
311 modelbuilder
.error
(self, "Error: A property {mprop} is already defined in class {nclassdef.mclassdef.mclass}.")
314 if kwredef
== null then
316 modelbuilder
.error
(self, "Redef error: {nclassdef.mclassdef.mclass}::{mprop.name} is an inherited property. To redefine it, add the redef keyword.")
320 if not need_redef
then
321 modelbuilder
.error
(self, "Error: No property {nclassdef.mclassdef.mclass}::{mprop.name} is inherited. Remove the redef keyword to define a new property.")
330 redef class ASignature
331 # Is the model builder has correctly visited the signature
332 var is_visited
= false
333 # Names of parameters from the AST
334 # REQUIRE: is_visited
335 var param_names
= new Array[String]
336 # Types of parameters from the AST
337 # REQUIRE: is_visited
338 var param_types
= new Array[MType]
339 # Rank of the vararg (of -1 if none)
340 # REQUIRE: is_visited
341 var vararg_rank
: Int = -1
343 var ret_type
: nullable MType = null
345 # Visit and fill information about a signature
346 private fun visit_signature
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef): Bool
348 var param_names
= self.param_names
349 var param_types
= self.param_types
350 for np
in self.n_params
do
351 param_names
.add
(np
.n_id
.text
)
352 var ntype
= np
.n_type
353 if ntype
!= null then
354 var mtype
= modelbuilder
.resolve_mtype
(nclassdef
, ntype
)
355 if mtype
== null then return false # Skip error
356 for i
in [0..param_names
.length-param_types
.length
[ do
357 param_types
.add
(mtype
)
359 if np
.n_dotdotdot
!= null then
360 if self.vararg_rank
!= -1 then
361 modelbuilder
.error
(np
, "Error: {param_names[self.vararg_rank]} is already a vararg")
364 self.vararg_rank
= param_names
.length
- 1
369 var ntype
= self.n_type
370 if ntype
!= null then
371 self.ret_type
= modelbuilder
.resolve_mtype
(nclassdef
, ntype
)
372 if self.ret_type
== null then return false # Skip errir
375 self.is_visited
= true
379 # Build a visited signature
380 fun build_signature
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef): nullable MSignature
382 if param_names
.length
!= param_types
.length
then
383 # Some parameters are typed, other parameters are not typed.
384 modelbuilder
.error
(self.n_params
[param_types
.length
], "Error: Untyped parameter `{param_names[param_types.length]}'.")
388 var mparameters
= new Array[MParameter]
389 for i
in [0..param_names
.length
[ do
390 var mparameter
= new MParameter(param_names
[i
], param_types
[i
], i
== vararg_rank
)
391 self.n_params
[i
].mparameter
= mparameter
392 mparameters
.add
(mparameter
)
395 var msignature
= new MSignature(mparameters
, ret_type
)
401 # The associated mparameter if any
402 var mparameter
: nullable MParameter = null
405 redef class AMethPropdef
406 redef type MPROPDEF: MMethodDef
408 redef fun build_property
(modelbuilder
, nclassdef
)
410 var n_kwinit
= n_kwinit
411 var n_kwnew
= n_kwnew
412 var is_init
= n_kwinit
!= null or n_kwnew
!= null
413 var mclassdef
= nclassdef
.mclassdef
.as(not null)
415 var amethodid
= self.n_methid
417 if amethodid
== null then
421 else if n_kwinit
!= null then
424 else if n_kwnew
!= null then
430 else if amethodid
isa AIdMethid then
431 name
= amethodid
.n_id
.text
432 name_node
= amethodid
434 # operator, bracket or assign
435 name
= amethodid
.collect_text
436 name_node
= amethodid
438 if name
== "-" and self.n_signature
.n_params
.length
== 0 then
443 var mprop
: nullable MMethod = null
444 if not is_init
or n_kwredef
!= null then mprop
= modelbuilder
.try_get_mproperty_by_name
(name_node
, mclassdef
, name
).as(nullable MMethod)
445 if mprop
== null then
446 var mvisibility
= new_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
)
447 mprop
= new MMethod(mclassdef
, name
, mvisibility
)
448 mprop
.is_init
= is_init
449 mprop
.is_new
= n_kwnew
!= null
450 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, n_kwredef
, false, mprop
) then return
452 if n_kwredef
== null then
453 if self isa AMainMethPropdef then
456 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, n_kwredef
, true, mprop
) then return
459 check_redef_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
, mprop
)
461 nclassdef
.mprop2npropdef
[mprop
] = self
463 var mpropdef
= new MMethodDef(mclassdef
, mprop
, self.location
)
465 if mclassdef
.propdef_names
.has
(mprop
.name
) then
466 var loc
: nullable Location = null
467 for i
in mclassdef
.mpropdefs
do
468 if i
.mproperty
.name
== mprop
.name
then
473 if loc
== null then abort
474 modelbuilder
.error
(self, "Error: a property {mprop} is already defined in class {mclassdef.mclass} at {loc}")
477 mclassdef
.propdef_names
.add
(mpropdef
.mproperty
.name
)
481 self.mpropdef
= mpropdef
482 modelbuilder
.mpropdef2npropdef
[mpropdef
] = self
483 if mpropdef
.is_intro
then
484 modelbuilder
.toolcontext
.info
("{mpropdef} introduces new method {mprop.full_name}", 3)
486 modelbuilder
.toolcontext
.info
("{mpropdef} redefines method {mprop.full_name}", 3)
490 redef fun build_signature
(modelbuilder
, nclassdef
)
492 var mpropdef
= self.mpropdef
493 if mpropdef
== null then return # Error thus skiped
494 var mmodule
= mpropdef
.mclassdef
.mmodule
495 var nsig
= self.n_signature
497 # Retrieve info from the signature AST
498 var param_names
= new Array[String] # Names of parameters from the AST
499 var param_types
= new Array[MType] # Types of parameters from the AST
501 var ret_type
: nullable MType = null # Return type from the AST
503 if not nsig
.visit_signature
(modelbuilder
, nclassdef
) then return
504 param_names
= nsig
.param_names
505 param_types
= nsig
.param_types
506 vararg_rank
= nsig
.vararg_rank
507 ret_type
= nsig
.ret_type
510 # Look for some signature to inherit
511 # FIXME: do not inherit from the intro, but from the most specific
512 var msignature
: nullable MSignature = null
513 if not mpropdef
.is_intro
then
514 msignature
= mpropdef
.mproperty
.intro
.msignature
515 if msignature
== null then return # Skip error
517 # Check inherited signature arity
518 if param_names
.length
!= msignature
.arity
then
520 if nsig
!= null then node
= nsig
else node
= self
521 modelbuilder
.error
(node
, "Redef error: {mpropdef} redefines {mpropdef.mproperty.intro} with {param_names.length} parameter(s), {msignature.arity} expected. Signature is {mpropdef}{msignature}")
524 else if mpropdef
.mproperty
.is_init
then
525 # FIXME UGLY: inherit signature from a super-constructor
526 for msupertype
in nclassdef
.mclassdef
.supertypes
do
527 msupertype
= msupertype
.anchor_to
(mmodule
, nclassdef
.mclassdef
.bound_mtype
)
528 var candidate
= modelbuilder
.try_get_mproperty_by_name2
(self, mmodule
, msupertype
, mpropdef
.mproperty
.name
)
529 if candidate
!= null then
530 if msignature
== null then
531 msignature
= candidate
.intro
.as(MMethodDef).msignature
538 # Inherit the signature
539 if msignature
!= null and param_names
.length
!= param_types
.length
and param_names
.length
== msignature
.arity
and param_types
.length
== 0 then
540 # Parameters are untyped, thus inherit them
541 param_types
= new Array[MType]
542 for mparameter
in msignature
.mparameters
do
543 param_types
.add
(mparameter
.mtype
)
545 vararg_rank
= msignature
.vararg_rank
547 if msignature
!= null and ret_type
== null then
548 ret_type
= msignature
.return_mtype
551 if param_names
.length
!= param_types
.length
then
552 # Some parameters are typed, other parameters are not typed.
553 modelbuilder
.error
(nsig
.n_params
[param_types
.length
], "Error: Untyped parameter `{param_names[param_types.length]}'.")
557 var mparameters
= new Array[MParameter]
558 for i
in [0..param_names
.length
[ do
559 var mparameter
= new MParameter(param_names
[i
], param_types
[i
], i
== vararg_rank
)
560 if nsig
!= null then nsig
.n_params
[i
].mparameter
= mparameter
561 mparameters
.add
(mparameter
)
564 msignature
= new MSignature(mparameters
, ret_type
)
565 mpropdef
.msignature
= msignature
566 mpropdef
.is_abstract
= self isa ADeferredMethPropdef
567 mpropdef
.is_intern
= self isa AInternMethPropdef
568 mpropdef
.is_extern
= self isa AExternPropdef
571 redef fun check_signature
(modelbuilder
, nclassdef
)
573 var mpropdef
= self.mpropdef
574 if mpropdef
== null then return # Error thus skiped
575 var mmodule
= mpropdef
.mclassdef
.mmodule
576 var nsig
= self.n_signature
577 var mysignature
= self.mpropdef
.msignature
578 if mysignature
== null then return # Error thus skiped
580 # Lookup for signature in the precursor
581 # FIXME all precursors should be considered
582 if not mpropdef
.is_intro
then
583 var msignature
= mpropdef
.mproperty
.intro
.msignature
584 if msignature
== null then return
586 var precursor_ret_type
= msignature
.return_mtype
587 var ret_type
= mysignature
.return_mtype
588 if ret_type
!= null and precursor_ret_type
== null then
589 modelbuilder
.error
(nsig
.n_type
.as(not null), "Redef Error: {mpropdef.mproperty} is a procedure, not a function.")
593 if mysignature
.arity
> 0 then
594 # Check parameters types
595 for i
in [0..mysignature
.arity
[ do
596 var myt
= mysignature
.mparameters
[i
].mtype
597 var prt
= msignature
.mparameters
[i
].mtype
598 if not myt
.is_subtype
(mmodule
, nclassdef
.mclassdef
.bound_mtype
, prt
) or
599 not prt
.is_subtype
(mmodule
, nclassdef
.mclassdef
.bound_mtype
, myt
) then
600 modelbuilder
.error
(nsig
.n_params
[i
], "Redef Error: Wrong type for parameter `{mysignature.mparameters[i].name}'. found {myt}, expected {prt} as in {mpropdef.mproperty.intro}.")
604 if precursor_ret_type
!= null then
605 if ret_type
== null then
606 # Inherit the return type
607 ret_type
= precursor_ret_type
608 else if not ret_type
.is_subtype
(mmodule
, nclassdef
.mclassdef
.bound_mtype
, precursor_ret_type
) then
609 modelbuilder
.error
(nsig
.n_type
.as(not null), "Redef Error: Wrong return type. found {ret_type}, expected {precursor_ret_type} as in {mpropdef.mproperty.intro}.")
614 if mysignature
.arity
> 0 then
615 # Check parameters visibility
616 for i
in [0..mysignature
.arity
[ do
617 var nt
= nsig
.n_params
[i
].n_type
618 if nt
!= null then modelbuilder
.check_visibility
(nt
, nt
.mtype
.as(not null), mpropdef
)
621 if nt
!= null then modelbuilder
.check_visibility
(nt
, nt
.mtype
.as(not null), mpropdef
)
626 redef class AAttrPropdef
627 redef type MPROPDEF: MAttributeDef
629 # The associated getter (read accessor) if any
630 var mreadpropdef
: nullable MMethodDef writable
631 # The associated setter (write accessor) if any
632 var mwritepropdef
: nullable MMethodDef writable
633 redef fun build_property
(modelbuilder
, nclassdef
)
635 var mclassdef
= nclassdef
.mclassdef
.as(not null)
636 var mclass
= mclassdef
.mclass
639 if self.n_id
!= null then
640 name
= self.n_id
.text
642 name
= self.n_id2
.text
645 if mclass
.kind
== interface_kind
or mclassdef
.mclass
.kind
== enum_kind
then
646 modelbuilder
.error
(self, "Error: Attempt to define attribute {name} in the interface {mclass}.")
647 else if mclass
.kind
== enum_kind
then
648 modelbuilder
.error
(self, "Error: Attempt to define attribute {name} in the enum class {mclass}.")
649 else if mclass
.kind
== extern_kind
then
650 modelbuilder
.error
(self, "Error: Attempt to define attribute {name} in the extern class {mclass}.")
655 # Old attribute style
656 var mprop
= modelbuilder
.try_get_mproperty_by_name
(nid
, mclassdef
, name
)
657 if mprop
== null then
658 var mvisibility
= new_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
)
659 mprop
= new MAttribute(mclassdef
, name
, mvisibility
)
660 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, self.n_kwredef
, false, mprop
) then return
662 assert mprop
isa MAttribute
663 check_redef_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
, mprop
)
664 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, self.n_kwredef
, true, mprop
) then return
666 nclassdef
.mprop2npropdef
[mprop
] = self
668 var mpropdef
= new MAttributeDef(mclassdef
, mprop
, self.location
)
669 self.mpropdef
= mpropdef
670 modelbuilder
.mpropdef2npropdef
[mpropdef
] = self
673 var nreadable
= self.n_readable
674 if nreadable
!= null then
675 var readname
= name
.substring_from
(1)
676 var mreadprop
= modelbuilder
.try_get_mproperty_by_name
(nid
, mclassdef
, readname
).as(nullable MMethod)
677 if mreadprop
== null then
678 var mvisibility
= new_property_visibility
(modelbuilder
, nclassdef
, nreadable
.n_visibility
)
679 mreadprop
= new MMethod(mclassdef
, readname
, mvisibility
)
680 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, nreadable
.n_kwredef
, false, mreadprop
) then return
682 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, nreadable
.n_kwredef
, true, mreadprop
) then return
683 check_redef_property_visibility
(modelbuilder
, nclassdef
, nreadable
.n_visibility
, mreadprop
)
685 nclassdef
.mprop2npropdef
[mreadprop
] = self
687 var mreadpropdef
= new MMethodDef(mclassdef
, mreadprop
, self.location
)
688 self.mreadpropdef
= mreadpropdef
689 modelbuilder
.mpropdef2npropdef
[mreadpropdef
] = self
690 mreadpropdef
.mdoc
= mpropdef
.mdoc
693 var nwritable
= self.n_writable
694 if nwritable
!= null then
695 var writename
= name
.substring_from
(1) + "="
696 var mwriteprop
= modelbuilder
.try_get_mproperty_by_name
(nid
, mclassdef
, writename
).as(nullable MMethod)
697 if mwriteprop
== null then
698 var mvisibility
= new_property_visibility
(modelbuilder
, nclassdef
, nwritable
.n_visibility
)
699 mwriteprop
= new MMethod(mclassdef
, writename
, mvisibility
)
700 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, nwritable
.n_kwredef
, false, mwriteprop
) then return
702 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, nwritable
.n_kwredef
, true, mwriteprop
) then return
703 check_redef_property_visibility
(modelbuilder
, nclassdef
, nwritable
.n_visibility
, mwriteprop
)
705 nclassdef
.mprop2npropdef
[mwriteprop
] = self
707 var mwritepropdef
= new MMethodDef(mclassdef
, mwriteprop
, self.location
)
708 self.mwritepropdef
= mwritepropdef
709 modelbuilder
.mpropdef2npropdef
[mwritepropdef
] = self
710 mwritepropdef
.mdoc
= mpropdef
.mdoc
713 # New attribute style
714 var nid2
= self.n_id2
.as(not null)
715 var mprop
= new MAttribute(mclassdef
, "@" + name
, none_visibility
)
716 var mpropdef
= new MAttributeDef(mclassdef
, mprop
, self.location
)
717 self.mpropdef
= mpropdef
718 modelbuilder
.mpropdef2npropdef
[mpropdef
] = self
722 var mreadprop
= modelbuilder
.try_get_mproperty_by_name
(nid2
, mclassdef
, readname
).as(nullable MMethod)
723 if mreadprop
== null then
724 var mvisibility
= new_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
)
725 mreadprop
= new MMethod(mclassdef
, readname
, mvisibility
)
726 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, n_kwredef
, false, mreadprop
) then return
728 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, n_kwredef
, true, mreadprop
) then return
729 check_redef_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
, mreadprop
)
731 nclassdef
.mprop2npropdef
[mreadprop
] = self
733 var mreadpropdef
= new MMethodDef(mclassdef
, mreadprop
, self.location
)
734 self.mreadpropdef
= mreadpropdef
735 modelbuilder
.mpropdef2npropdef
[mreadpropdef
] = self
736 mreadpropdef
.mdoc
= mpropdef
.mdoc
738 var writename
= name
+ "="
739 var nwritable
= self.n_writable
740 var mwriteprop
= modelbuilder
.try_get_mproperty_by_name
(nid2
, mclassdef
, writename
).as(nullable MMethod)
741 var nwkwredef
: nullable Token = null
742 if nwritable
!= null then nwkwredef
= nwritable
.n_kwredef
743 if mwriteprop
== null then
745 if nwritable
!= null then
746 mvisibility
= new_property_visibility
(modelbuilder
, nclassdef
, nwritable
.n_visibility
)
748 mvisibility
= private_visibility
750 mwriteprop
= new MMethod(mclassdef
, writename
, mvisibility
)
751 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, nwkwredef
, false, mwriteprop
) then return
753 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, nwkwredef
, true, mwriteprop
) then return
754 if nwritable
!= null then
755 check_redef_property_visibility
(modelbuilder
, nclassdef
, nwritable
.n_visibility
, mwriteprop
)
758 nclassdef
.mprop2npropdef
[mwriteprop
] = self
760 var mwritepropdef
= new MMethodDef(mclassdef
, mwriteprop
, self.location
)
761 self.mwritepropdef
= mwritepropdef
762 modelbuilder
.mpropdef2npropdef
[mwritepropdef
] = self
763 mwritepropdef
.mdoc
= mpropdef
.mdoc
767 redef fun build_signature
(modelbuilder
, nclassdef
)
769 var mpropdef
= self.mpropdef
770 if mpropdef
== null then return # Error thus skiped
771 var mmodule
= mpropdef
.mclassdef
.mmodule
772 var mtype
: nullable MType = null
774 var ntype
= self.n_type
775 if ntype
!= null then
776 mtype
= modelbuilder
.resolve_mtype
(nclassdef
, ntype
)
777 if mtype
== null then return
780 var nexpr
= self.n_expr
781 if mtype
== null then
782 if nexpr
!= null then
783 if nexpr
isa ANewExpr then
784 mtype
= modelbuilder
.resolve_mtype
(nclassdef
, nexpr
.n_type
)
785 else if nexpr
isa AIntExpr then
786 var cla
= modelbuilder
.try_get_mclass_by_name
(nexpr
, mmodule
, "Int")
787 if cla
!= null then mtype
= cla
.mclass_type
788 else if nexpr
isa AFloatExpr then
789 var cla
= modelbuilder
.try_get_mclass_by_name
(nexpr
, mmodule
, "Float")
790 if cla
!= null then mtype
= cla
.mclass_type
791 else if nexpr
isa ACharExpr then
792 var cla
= modelbuilder
.try_get_mclass_by_name
(nexpr
, mmodule
, "Char")
793 if cla
!= null then mtype
= cla
.mclass_type
794 else if nexpr
isa ABoolExpr then
795 var cla
= modelbuilder
.try_get_mclass_by_name
(nexpr
, mmodule
, "Bool")
796 if cla
!= null then mtype
= cla
.mclass_type
797 else if nexpr
isa ASuperstringExpr then
798 var cla
= modelbuilder
.try_get_mclass_by_name
(nexpr
, mmodule
, "String")
799 if cla
!= null then mtype
= cla
.mclass_type
800 else if nexpr
isa AStringFormExpr then
801 var cla
= modelbuilder
.try_get_mclass_by_name
(nexpr
, mmodule
, "String")
802 if cla
!= null then mtype
= cla
.mclass_type
804 modelbuilder
.error
(self, "Error: Untyped attribute {mpropdef}. Implicit typing allowed only for literals and new.")
808 modelbuilder
.error
(self, "Error: Untyped attribute {mpropdef}")
812 if nexpr
isa ANewExpr then
813 var xmtype
= modelbuilder
.resolve_mtype
(nclassdef
, nexpr
.n_type
)
814 if xmtype
== mtype
and modelbuilder
.toolcontext
.opt_warn
.value
>= 2 then
815 modelbuilder
.warning
(ntype
, "Warning: useless type definition")
820 if mtype
== null then return
822 mpropdef
.static_mtype
= mtype
824 var mreadpropdef
= self.mreadpropdef
825 if mreadpropdef
!= null then
826 var msignature
= new MSignature(new Array[MParameter], mtype
)
827 mreadpropdef
.msignature
= msignature
830 var msritepropdef
= self.mwritepropdef
831 if mwritepropdef
!= null then
834 name
= n_id
.text
.substring_from
(1)
838 var mparameter
= new MParameter(name
, mtype
, false)
839 var msignature
= new MSignature([mparameter
], null)
840 mwritepropdef
.msignature
= msignature
844 redef fun check_signature
(modelbuilder
, nclassdef
)
846 var mpropdef
= self.mpropdef
847 if mpropdef
== null then return # Error thus skiped
848 var mmodule
= mpropdef
.mclassdef
.mmodule
849 var ntype
= self.n_type
850 var mtype
= self.mpropdef
.static_mtype
851 if mtype
== null then return # Error thus skiped
853 # Lookup for signature in the precursor
854 # FIXME all precursors should be considered
855 if not mpropdef
.is_intro
then
856 var precursor_type
= mpropdef
.mproperty
.intro
.static_mtype
857 if precursor_type
== null then return
859 if mtype
!= precursor_type
then
860 modelbuilder
.error
(ntype
.as(not null), "Redef Error: Wrong static type. found {mtype}, expected {precursor_type}.")
865 # Check getter and setter
866 var meth
= self.mreadpropdef
868 self.check_method_signature
(modelbuilder
, nclassdef
, meth
)
869 var node
: nullable ANode = ntype
870 if node
== null then node
= self
871 modelbuilder
.check_visibility
(node
, mtype
, meth
)
873 meth
= self.mwritepropdef
875 self.check_method_signature
(modelbuilder
, nclassdef
, meth
)
876 var node
: nullable ANode = ntype
877 if node
== null then node
= self
878 modelbuilder
.check_visibility
(node
, mtype
, meth
)
882 private fun check_method_signature
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef, mpropdef
: MMethodDef)
884 var mmodule
= mpropdef
.mclassdef
.mmodule
885 var nsig
= self.n_type
886 var mysignature
= mpropdef
.msignature
887 if mysignature
== null then return # Error thus skiped
889 # Lookup for signature in the precursor
890 # FIXME all precursors should be considered
891 if not mpropdef
.is_intro
then
892 var msignature
= mpropdef
.mproperty
.intro
.msignature
893 if msignature
== null then return
895 if mysignature
.arity
!= msignature
.arity
then
897 if nsig
!= null then node
= nsig
else node
= self
898 modelbuilder
.error
(node
, "Redef Error: {mysignature.arity} parameters found, {msignature.arity} expected. Signature is {mpropdef}{msignature}")
901 var precursor_ret_type
= msignature
.return_mtype
902 var ret_type
= mysignature
.return_mtype
903 if ret_type
!= null and precursor_ret_type
== null then
905 if nsig
!= null then node
= nsig
else node
= self
906 modelbuilder
.error
(node
, "Redef Error: {mpropdef.mproperty} is a procedure, not a function.")
910 if mysignature
.arity
> 0 then
911 # Check parameters types
912 for i
in [0..mysignature
.arity
[ do
913 var myt
= mysignature
.mparameters
[i
].mtype
914 var prt
= msignature
.mparameters
[i
].mtype
915 if not myt
.is_subtype
(mmodule
, nclassdef
.mclassdef
.bound_mtype
, prt
) and
916 not prt
.is_subtype
(mmodule
, nclassdef
.mclassdef
.bound_mtype
, myt
) then
918 if nsig
!= null then node
= nsig
else node
= self
919 modelbuilder
.error
(node
, "Redef Error: Wrong type for parameter `{mysignature.mparameters[i].name}'. found {myt}, expected {prt}.")
923 if precursor_ret_type
!= null then
924 if ret_type
== null then
925 # Inherit the return type
926 ret_type
= precursor_ret_type
927 else if not ret_type
.is_subtype
(mmodule
, nclassdef
.mclassdef
.bound_mtype
, precursor_ret_type
) then
929 if nsig
!= null then node
= nsig
else node
= self
930 modelbuilder
.error
(node
, "Redef Error: Wrong return type. found {ret_type}, expected {precursor_ret_type}.")
937 redef class ATypePropdef
938 redef type MPROPDEF: MVirtualTypeDef
940 redef fun build_property
(modelbuilder
, nclassdef
)
942 var mclassdef
= nclassdef
.mclassdef
.as(not null)
943 var name
= self.n_id
.text
944 var mprop
= modelbuilder
.try_get_mproperty_by_name
(self.n_id
, mclassdef
, name
)
945 if mprop
== null then
946 var mvisibility
= new_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
)
947 mprop
= new MVirtualTypeProp(mclassdef
, name
, mvisibility
)
948 for c
in name
.chars
do if c
>= 'a' and c
<= 'z' then
949 modelbuilder
.warning
(n_id
, "Warning: lowercase in the virtual type {name}")
952 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, self.n_kwredef
, false, mprop
) then return
954 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, self.n_kwredef
, true, mprop
) then return
955 assert mprop
isa MVirtualTypeProp
956 check_redef_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
, mprop
)
958 nclassdef
.mprop2npropdef
[mprop
] = self
960 var mpropdef
= new MVirtualTypeDef(mclassdef
, mprop
, self.location
)
961 self.mpropdef
= mpropdef
962 modelbuilder
.mpropdef2npropdef
[mpropdef
] = self
966 redef fun build_signature
(modelbuilder
, nclassdef
)
968 var mpropdef
= self.mpropdef
969 if mpropdef
== null then return # Error thus skiped
970 var mmodule
= mpropdef
.mclassdef
.mmodule
971 var mtype
: nullable MType = null
973 var ntype
= self.n_type
974 mtype
= modelbuilder
.resolve_mtype
(nclassdef
, ntype
)
975 if mtype
== null then return
977 mpropdef
.bound
= mtype
978 # print "{mpropdef}: {mtype}"
981 redef fun check_signature
(modelbuilder
, nclassdef
)
983 var mpropdef
= self.mpropdef
984 if mpropdef
== null then return # Error thus skiped
986 var bound
= self.mpropdef
.bound
987 if bound
== null then return # Error thus skiped
989 modelbuilder
.check_visibility
(n_type
.as(not null), bound
, mpropdef
)
991 # Fast case: the bound is not a formal type
992 if not bound
isa MVirtualType then return
994 var mmodule
= nclassdef
.mclassdef
.mmodule
995 var anchor
= nclassdef
.mclassdef
.bound_mtype
997 # Slow case: progress on each resolution until: (i) we loop, or (ii) we found a non formal type
998 var seen
= [self.mpropdef
.mproperty
.mvirtualtype
]
1000 if seen
.has
(bound
) then
1002 modelbuilder
.error
(self, "Error: circularity of virtual type definition: {seen.join(" -> ")}")
1006 var next
= bound
.lookup_bound
(mmodule
, anchor
)
1007 if not next
isa MVirtualType then break