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}")
108 if combine
.is_empty
and inhc
!= null then
109 # TODO: actively inherit the consturctor
110 self.toolcontext
.info
("{mclassdef} inherits all constructors from {inhc}", 3)
111 mclassdef
.mclass
.inherit_init_from
= inhc
114 if not combine
.is_empty
and inhc
!= null then
115 self.error
(nclassdef
, "Error: Cannot provide a defaut constructor: conflict for {combine.join(", ")} and {inhc}")
119 if not combine
.is_empty
then
120 nclassdef
.super_inits
= combine
121 var mprop
= new MMethod(mclassdef
, "init", mclassdef
.mclass
.visibility
)
122 var mpropdef
= new MMethodDef(mclassdef
, mprop
, nclassdef
.location
)
123 var mparameters
= new Array[MParameter]
124 var msignature
= new MSignature(mparameters
, null)
125 mpropdef
.msignature
= msignature
127 nclassdef
.mfree_init
= mpropdef
128 self.toolcontext
.info
("{mclassdef} gets a free empty constructor {mpropdef}{msignature}", 3)
132 # Collect undefined attributes
133 var mparameters
= new Array[MParameter]
134 for npropdef
in nclassdef
.n_propdefs
do
135 if npropdef
isa AAttrPropdef and npropdef
.n_expr
== null then
136 if npropdef
.mpropdef
== null then return # Skip broken attribute
137 var paramname
= npropdef
.mpropdef
.mproperty
.name
.substring_from
(1)
138 var ret_type
= npropdef
.mpropdef
.static_mtype
139 if ret_type
== null then return
140 var mparameter
= new MParameter(paramname
, ret_type
, false)
141 mparameters
.add
(mparameter
)
145 var mprop
= new MMethod(mclassdef
, "init", mclassdef
.mclass
.visibility
)
146 var mpropdef
= new MMethodDef(mclassdef
, mprop
, nclassdef
.location
)
147 var msignature
= new MSignature(mparameters
, null)
148 mpropdef
.msignature
= msignature
150 nclassdef
.mfree_init
= mpropdef
151 self.toolcontext
.info
("{mclassdef} gets a free constructor for attributes {mpropdef}{msignature}", 3)
156 # The class whose self inherit all the constructors.
157 # 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
158 var inherit_init_from
: nullable MClass = null
161 redef class AClassdef
162 var build_properties_is_done
: Bool = false
163 # The list of super-constructor to call at the start of the free constructor
164 # 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
165 var super_inits
: nullable Collection[MMethod] = null
167 # The free init (implicitely constructed by the class if required)
168 var mfree_init
: nullable MMethodDef = null
170 # What is the APropdef associated to a MProperty?
171 # Used to check multiple definition of a property.
172 var mprop2npropdef
: Map[MProperty, APropdef] = new HashMap[MProperty, APropdef]
176 # Join the text of all tokens
177 # Used to get the 'real name' of method definitions.
178 fun collect_text
: String
180 var v
= new TextCollectorVisitor
187 private class TextCollectorVisitor
189 var text
: String = ""
192 if n
isa Token then text
+= n
.text
198 # The associated main model entity
199 type MPROPDEF: MPropDef
201 # The associated propdef once build by a `ModelBuilder'
202 var mpropdef
: nullable MPROPDEF writable
204 private fun build_property
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef)
207 private fun build_signature
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef)
210 private fun check_signature
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef)
213 private fun new_property_visibility
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef, nvisibility
: nullable AVisibility): MVisibility
215 var mvisibility
= public_visibility
216 if nvisibility
!= null then mvisibility
= nvisibility
.mvisibility
217 if nclassdef
.mclassdef
.mclass
.visibility
== private_visibility
then
218 if mvisibility
== protected_visibility
then
219 assert nvisibility
!= null
220 modelbuilder
.error
(nvisibility
, "Error: The only legal visibility for properties in a private class is private.")
221 else if mvisibility
== private_visibility
then
222 assert nvisibility
!= null
224 # modelbuilder.warning(nvisibility, "Warning: private is unrequired since the only legal visibility for properties in a private class is private.")
226 mvisibility
= private_visibility
231 private fun check_redef_property_visibility
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef, nvisibility
: nullable AVisibility, mprop
: MProperty)
233 if nvisibility
== null then return
234 var mvisibility
= nvisibility
.mvisibility
235 if mvisibility
!= mprop
.visibility
and mvisibility
!= public_visibility
then
236 modelbuilder
.error
(nvisibility
, "Error: redefinition changed the visibility from a {mprop.visibility} to a {mvisibility}")
240 private fun check_redef_keyword
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef, kwredef
: nullable Token, need_redef
: Bool, mprop
: MProperty): Bool
242 if nclassdef
.mprop2npropdef
.has_key
(mprop
) then
243 modelbuilder
.error
(self, "Error: A property {mprop} is already defined in class {nclassdef.mclassdef.mclass}.")
246 if kwredef
== null then
248 modelbuilder
.error
(self, "Redef error: {nclassdef.mclassdef.mclass}::{mprop.name} is an inherited property. To redefine it, add the redef keyword.")
252 if not need_redef
then
253 modelbuilder
.error
(self, "Error: No property {nclassdef.mclassdef.mclass}::{mprop.name} is inherited. Remove the redef keyword to define a new property.")
262 redef class ASignature
263 # Is the model builder has correctly visited the signature
264 var is_visited
= false
265 # Names of parameters from the AST
266 # REQUIRE: is_visited
267 var param_names
= new Array[String]
268 # Types of parameters from the AST
269 # REQUIRE: is_visited
270 var param_types
= new Array[MType]
271 # Rank of the vararg (of -1 if none)
272 # REQUIRE: is_visited
273 var vararg_rank
: Int = -1
275 var ret_type
: nullable MType = null
277 # Visit and fill information about a signature
278 private fun visit_signature
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef): Bool
280 var param_names
= self.param_names
281 var param_types
= self.param_types
282 for np
in self.n_params
do
283 param_names
.add
(np
.n_id
.text
)
284 var ntype
= np
.n_type
285 if ntype
!= null then
286 var mtype
= modelbuilder
.resolve_mtype
(nclassdef
, ntype
)
287 if mtype
== null then return false # Skip error
288 for i
in [0..param_names
.length-param_types
.length
[ do
289 param_types
.add
(mtype
)
291 if np
.n_dotdotdot
!= null then
292 if self.vararg_rank
!= -1 then
293 modelbuilder
.error
(np
, "Error: {param_names[self.vararg_rank]} is already a vararg")
296 self.vararg_rank
= param_names
.length
- 1
301 var ntype
= self.n_type
302 if ntype
!= null then
303 self.ret_type
= modelbuilder
.resolve_mtype
(nclassdef
, ntype
)
304 if self.ret_type
== null then return false # Skip errir
307 for nclosure
in self.n_closure_decls
do
308 if not nclosure
.n_signature
.visit_signature
(modelbuilder
, nclassdef
) then return false
311 self.is_visited
= true
315 # Build a visited signature
316 fun build_signature
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef): nullable MSignature
318 if param_names
.length
!= param_types
.length
then
319 # Some parameters are typed, other parameters are not typed.
320 modelbuilder
.error
(self.n_params
[param_types
.length
], "Error: Untyped parameter `{param_names[param_types.length]}'.")
324 var mparameters
= new Array[MParameter]
325 for i
in [0..param_names
.length
[ do
326 var mparameter
= new MParameter(param_names
[i
], param_types
[i
], i
== vararg_rank
)
327 mparameters
.add
(mparameter
)
330 var msignature
= new MSignature(mparameters
, ret_type
)
335 redef class AMethPropdef
336 redef type MPROPDEF: MMethodDef
338 # The associated super init if any
339 var super_init
: nullable MMethod
340 redef fun build_property
(modelbuilder
, nclassdef
)
342 var is_init
= self isa AInitPropdef
343 var mclassdef
= nclassdef
.mclassdef
.as(not null)
345 var amethodid
= self.n_methid
347 if amethodid
== null then
348 if self isa AMainMethPropdef then
351 else if self isa AConcreteInitPropdef then
353 name_node
= self.n_kwinit
354 else if self isa AExternInitPropdef then
356 name_node
= self.n_kwnew
360 else if amethodid
isa AIdMethid then
361 name
= amethodid
.n_id
.text
362 name_node
= amethodid
364 # operator, bracket or assign
365 name
= amethodid
.collect_text
366 name_node
= amethodid
368 if name
== "-" and self.n_signature
.n_params
.length
== 0 then
373 var mprop
: nullable MMethod = null
374 if not is_init
or n_kwredef
!= null then mprop
= modelbuilder
.try_get_mproperty_by_name
(name_node
, mclassdef
, name
).as(nullable MMethod)
375 if mprop
== null then
376 var mvisibility
= new_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
)
377 mprop
= new MMethod(mclassdef
, name
, mvisibility
)
378 mprop
.is_init
= is_init
379 mprop
.is_new
= self isa AExternInitPropdef
380 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, n_kwredef
, false, mprop
) then return
382 if n_kwredef
== null then
383 if self isa AMainMethPropdef then
386 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, n_kwredef
, true, mprop
) then return
389 check_redef_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
, mprop
)
391 nclassdef
.mprop2npropdef
[mprop
] = self
393 var mpropdef
= new MMethodDef(mclassdef
, mprop
, self.location
)
395 self.mpropdef
= mpropdef
396 modelbuilder
.mpropdef2npropdef
[mpropdef
] = self
397 if mpropdef
.is_intro
then
398 modelbuilder
.toolcontext
.info
("{mpropdef} introduces new method {mprop.full_name}", 3)
400 modelbuilder
.toolcontext
.info
("{mpropdef} redefines method {mprop.full_name}", 3)
404 redef fun build_signature
(modelbuilder
, nclassdef
)
406 var mpropdef
= self.mpropdef
407 if mpropdef
== null then return # Error thus skiped
408 var mmodule
= mpropdef
.mclassdef
.mmodule
409 var nsig
= self.n_signature
411 # Retrieve info from the signature AST
412 var param_names
= new Array[String] # Names of parameters from the AST
413 var param_types
= new Array[MType] # Types of parameters from the AST
415 var ret_type
: nullable MType = null # Return type from the AST
417 if not nsig
.visit_signature
(modelbuilder
, nclassdef
) then return
418 param_names
= nsig
.param_names
419 param_types
= nsig
.param_types
420 vararg_rank
= nsig
.vararg_rank
421 ret_type
= nsig
.ret_type
424 # Look for some signature to inherit
425 # FIXME: do not inherit from the intro, but from the most specific
426 var msignature
: nullable MSignature = null
427 if not mpropdef
.is_intro
then
428 msignature
= mpropdef
.mproperty
.intro
.msignature
429 if msignature
== null then return # Skip error
431 # Check inherited signature arity
432 if param_names
.length
!= msignature
.arity
then
434 if nsig
!= null then node
= nsig
else node
= self
435 modelbuilder
.error
(node
, "Redef error: {mpropdef} redefines {mpropdef.mproperty.intro} with {param_names.length} parameter(s), {msignature.arity} expected. Signature is {mpropdef}{msignature}")
438 else if mpropdef
.mproperty
.is_init
then
439 # FIXME UGLY: inherit signature from a super-constructor
440 for msupertype
in nclassdef
.mclassdef
.supertypes
do
441 msupertype
= msupertype
.anchor_to
(mmodule
, nclassdef
.mclassdef
.bound_mtype
)
442 var candidate
= modelbuilder
.try_get_mproperty_by_name2
(self, mmodule
, msupertype
, mpropdef
.mproperty
.name
)
443 if candidate
!= null then
444 if msignature
== null then
445 msignature
= candidate
.intro
.as(MMethodDef).msignature
452 # Inherit the signature
453 if msignature
!= null and param_names
.length
!= param_types
.length
and param_names
.length
== msignature
.arity
and param_types
.length
== 0 then
454 # Parameters are untyped, thus inherit them
455 param_types
= new Array[MType]
456 for mparameter
in msignature
.mparameters
do
457 param_types
.add
(mparameter
.mtype
)
459 vararg_rank
= msignature
.vararg_rank
461 if msignature
!= null and ret_type
== null then
462 ret_type
= msignature
.return_mtype
465 if param_names
.length
!= param_types
.length
then
466 # Some parameters are typed, other parameters are not typed.
467 modelbuilder
.error
(nsig
.n_params
[param_types
.length
], "Error: Untyped parameter `{param_names[param_types.length]}'.")
471 var mparameters
= new Array[MParameter]
472 for i
in [0..param_names
.length
[ do
473 var mparameter
= new MParameter(param_names
[i
], param_types
[i
], i
== vararg_rank
)
474 mparameters
.add
(mparameter
)
477 msignature
= new MSignature(mparameters
, ret_type
)
478 mpropdef
.msignature
= msignature
481 for nclosure
in nsig
.n_closure_decls
do
482 var clos_signature
= nclosure
.n_signature
.build_signature
(modelbuilder
, nclassdef
)
483 if clos_signature
== null then return
484 var mparameter
= new MParameter(nclosure
.n_id
.text
, clos_signature
, false)
485 msignature
.mclosures
.add
(mparameter
)
491 redef fun check_signature
(modelbuilder
, nclassdef
)
493 var mpropdef
= self.mpropdef
494 if mpropdef
== null then return # Error thus skiped
495 var mmodule
= mpropdef
.mclassdef
.mmodule
496 var nsig
= self.n_signature
497 var mysignature
= self.mpropdef
.msignature
498 if mysignature
== null then return # Error thus skiped
500 # Lookup for signature in the precursor
501 # FIXME all precursors should be considered
502 if not mpropdef
.is_intro
then
503 var msignature
= mpropdef
.mproperty
.intro
.msignature
504 if msignature
== null then return
506 var precursor_ret_type
= msignature
.return_mtype
507 var ret_type
= mysignature
.return_mtype
508 if ret_type
!= null and precursor_ret_type
== null then
509 modelbuilder
.error
(nsig
.n_type
.as(not null), "Redef Error: {mpropdef.mproperty} is a procedure, not a function.")
513 if mysignature
.arity
> 0 then
514 # Check parameters types
515 for i
in [0..mysignature
.arity
[ do
516 var myt
= mysignature
.mparameters
[i
].mtype
517 var prt
= msignature
.mparameters
[i
].mtype
518 if not myt
.is_subtype
(mmodule
, nclassdef
.mclassdef
.bound_mtype
, prt
) and
519 not prt
.is_subtype
(mmodule
, nclassdef
.mclassdef
.bound_mtype
, myt
) then
520 modelbuilder
.error
(nsig
.n_params
[i
], "Redef Error: Wrong type for parameter `{mysignature.mparameters[i].name}'. found {myt}, expected {prt}.")
524 if precursor_ret_type
!= null then
525 if ret_type
== null then
526 # Inherit the return type
527 ret_type
= precursor_ret_type
528 else if not ret_type
.is_subtype
(mmodule
, nclassdef
.mclassdef
.bound_mtype
, precursor_ret_type
) then
529 modelbuilder
.error
(nsig
.n_type
.as(not null), "Redef Error: Wrong return type. found {ret_type}, expected {precursor_ret_type}.")
536 redef class AAttrPropdef
537 redef type MPROPDEF: MAttributeDef
539 # The associated getter (read accessor) if any
540 var mreadpropdef
: nullable MMethodDef writable
541 # The associated setter (write accessor) if any
542 var mwritepropdef
: nullable MMethodDef writable
543 redef fun build_property
(modelbuilder
, nclassdef
)
545 var mclassdef
= nclassdef
.mclassdef
.as(not null)
546 var mclass
= mclassdef
.mclass
549 if self.n_id
!= null then
550 name
= self.n_id
.text
552 name
= self.n_id2
.text
555 if mclass
.kind
== interface_kind
or mclassdef
.mclass
.kind
== enum_kind
then
556 modelbuilder
.error
(self, "Error: Attempt to define attribute {name} in the interface {mclass}.")
557 else if mclass
.kind
== enum_kind
then
558 modelbuilder
.error
(self, "Error: Attempt to define attribute {name} in the enum class {mclass}.")
559 else if mclass
.kind
== extern_kind
then
560 modelbuilder
.error
(self, "Error: Attempt to define attribute {name} in the extern class {mclass}.")
565 # Old attribute style
566 var mprop
= modelbuilder
.try_get_mproperty_by_name
(nid
, mclassdef
, name
)
567 if mprop
== null then
568 var mvisibility
= new_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
)
569 mprop
= new MAttribute(mclassdef
, name
, mvisibility
)
570 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, self.n_kwredef
, false, mprop
) then return
572 assert mprop
isa MAttribute
573 check_redef_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
, mprop
)
574 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, self.n_kwredef
, true, mprop
) then return
576 nclassdef
.mprop2npropdef
[mprop
] = self
578 var mpropdef
= new MAttributeDef(mclassdef
, mprop
, self.location
)
579 self.mpropdef
= mpropdef
580 modelbuilder
.mpropdef2npropdef
[mpropdef
] = self
582 var nreadable
= self.n_readable
583 if nreadable
!= null then
584 var readname
= name
.substring_from
(1)
585 var mreadprop
= modelbuilder
.try_get_mproperty_by_name
(nid
, mclassdef
, readname
).as(nullable MMethod)
586 if mreadprop
== null then
587 var mvisibility
= new_property_visibility
(modelbuilder
, nclassdef
, nreadable
.n_visibility
)
588 mreadprop
= new MMethod(mclassdef
, readname
, mvisibility
)
589 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, nreadable
.n_kwredef
, false, mreadprop
) then return
591 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, nreadable
.n_kwredef
, true, mreadprop
) then return
592 check_redef_property_visibility
(modelbuilder
, nclassdef
, nreadable
.n_visibility
, mreadprop
)
594 nclassdef
.mprop2npropdef
[mreadprop
] = self
596 var mreadpropdef
= new MMethodDef(mclassdef
, mreadprop
, self.location
)
597 self.mreadpropdef
= mreadpropdef
598 modelbuilder
.mpropdef2npropdef
[mreadpropdef
] = self
601 var nwritable
= self.n_writable
602 if nwritable
!= null then
603 var writename
= name
.substring_from
(1) + "="
604 var mwriteprop
= modelbuilder
.try_get_mproperty_by_name
(nid
, mclassdef
, writename
).as(nullable MMethod)
605 if mwriteprop
== null then
606 var mvisibility
= new_property_visibility
(modelbuilder
, nclassdef
, nwritable
.n_visibility
)
607 mwriteprop
= new MMethod(mclassdef
, writename
, mvisibility
)
608 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, nwritable
.n_kwredef
, false, mwriteprop
) then return
610 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, nwritable
.n_kwredef
, true, mwriteprop
) then return
611 check_redef_property_visibility
(modelbuilder
, nclassdef
, nwritable
.n_visibility
, mwriteprop
)
613 nclassdef
.mprop2npropdef
[mwriteprop
] = self
615 var mwritepropdef
= new MMethodDef(mclassdef
, mwriteprop
, self.location
)
616 self.mwritepropdef
= mwritepropdef
617 modelbuilder
.mpropdef2npropdef
[mwritepropdef
] = self
620 # New attribute style
621 var nid2
= self.n_id2
.as(not null)
622 var mprop
= new MAttribute(mclassdef
, "@" + name
, none_visibility
)
623 var mpropdef
= new MAttributeDef(mclassdef
, mprop
, self.location
)
624 self.mpropdef
= mpropdef
625 modelbuilder
.mpropdef2npropdef
[mpropdef
] = self
628 var mreadprop
= modelbuilder
.try_get_mproperty_by_name
(nid2
, mclassdef
, readname
).as(nullable MMethod)
629 if mreadprop
== null then
630 var mvisibility
= new_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
)
631 mreadprop
= new MMethod(mclassdef
, readname
, mvisibility
)
632 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, n_kwredef
, false, mreadprop
) then return
634 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, n_kwredef
, true, mreadprop
) then return
635 check_redef_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
, mreadprop
)
637 nclassdef
.mprop2npropdef
[mreadprop
] = self
639 var mreadpropdef
= new MMethodDef(mclassdef
, mreadprop
, self.location
)
640 self.mreadpropdef
= mreadpropdef
641 modelbuilder
.mpropdef2npropdef
[mreadpropdef
] = self
643 var writename
= name
+ "="
644 var nwritable
= self.n_writable
645 var mwriteprop
= modelbuilder
.try_get_mproperty_by_name
(nid2
, mclassdef
, writename
).as(nullable MMethod)
646 var nwkwredef
: nullable Token = null
647 if nwritable
!= null then nwkwredef
= nwritable
.n_kwredef
648 if mwriteprop
== null then
650 if nwritable
!= null then
651 mvisibility
= new_property_visibility
(modelbuilder
, nclassdef
, nwritable
.n_visibility
)
653 mvisibility
= private_visibility
655 mwriteprop
= new MMethod(mclassdef
, writename
, mvisibility
)
656 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, nwkwredef
, false, mwriteprop
) then return
658 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, nwkwredef
, true, mwriteprop
) then return
659 if nwritable
!= null then
660 check_redef_property_visibility
(modelbuilder
, nclassdef
, nwritable
.n_visibility
, mwriteprop
)
663 nclassdef
.mprop2npropdef
[mwriteprop
] = self
665 var mwritepropdef
= new MMethodDef(mclassdef
, mwriteprop
, self.location
)
666 self.mwritepropdef
= mwritepropdef
667 modelbuilder
.mpropdef2npropdef
[mwritepropdef
] = self
671 redef fun build_signature
(modelbuilder
, nclassdef
)
673 var mpropdef
= self.mpropdef
674 if mpropdef
== null then return # Error thus skiped
675 var mmodule
= mpropdef
.mclassdef
.mmodule
676 var mtype
: nullable MType = null
678 var ntype
= self.n_type
679 if ntype
!= null then
680 mtype
= modelbuilder
.resolve_mtype
(nclassdef
, ntype
)
681 if mtype
== null then return
684 if mtype
== null then
685 var nexpr
= self.n_expr
686 if nexpr
!= null then
687 if nexpr
isa ANewExpr then
688 mtype
= modelbuilder
.resolve_mtype
(nclassdef
, nexpr
.n_type
)
689 else if nexpr
isa AIntExpr then
690 var cla
= modelbuilder
.try_get_mclass_by_name
(nexpr
, mmodule
, "Int")
691 if cla
!= null then mtype
= cla
.mclass_type
692 else if nexpr
isa AFloatExpr then
693 var cla
= modelbuilder
.try_get_mclass_by_name
(nexpr
, mmodule
, "Float")
694 if cla
!= null then mtype
= cla
.mclass_type
695 else if nexpr
isa ACharExpr then
696 var cla
= modelbuilder
.try_get_mclass_by_name
(nexpr
, mmodule
, "Char")
697 if cla
!= null then mtype
= cla
.mclass_type
698 else if nexpr
isa ABoolExpr then
699 var cla
= modelbuilder
.try_get_mclass_by_name
(nexpr
, mmodule
, "Bool")
700 if cla
!= null then mtype
= cla
.mclass_type
701 else if nexpr
isa ASuperstringExpr then
702 var cla
= modelbuilder
.try_get_mclass_by_name
(nexpr
, mmodule
, "String")
703 if cla
!= null then mtype
= cla
.mclass_type
704 else if nexpr
isa AStringFormExpr then
705 var cla
= modelbuilder
.try_get_mclass_by_name
(nexpr
, mmodule
, "String")
706 if cla
!= null then mtype
= cla
.mclass_type
708 modelbuilder
.error
(self, "Error: Untyped attribute {mpropdef}. Implicit typing allowed only for literals and new.")
712 modelbuilder
.error
(self, "Error: Untyped attribute {mpropdef}")
716 if mtype
== null then return
718 mpropdef
.static_mtype
= mtype
720 var mreadpropdef
= self.mreadpropdef
721 if mreadpropdef
!= null then
722 var msignature
= new MSignature(new Array[MParameter], mtype
)
723 mreadpropdef
.msignature
= msignature
726 var msritepropdef
= self.mwritepropdef
727 if mwritepropdef
!= null then
730 name
= n_id
.text
.substring_from
(1)
734 var mparameter
= new MParameter(name
, mtype
, false)
735 var msignature
= new MSignature([mparameter
], null)
736 mwritepropdef
.msignature
= msignature
740 redef fun check_signature
(modelbuilder
, nclassdef
)
742 var mpropdef
= self.mpropdef
743 if mpropdef
== null then return # Error thus skiped
744 var mmodule
= mpropdef
.mclassdef
.mmodule
745 var ntype
= self.n_type
746 var mtype
= self.mpropdef
.static_mtype
747 if mtype
== null then return # Error thus skiped
749 # Lookup for signature in the precursor
750 # FIXME all precursors should be considered
751 if not mpropdef
.is_intro
then
752 var precursor_type
= mpropdef
.mproperty
.intro
.static_mtype
753 if precursor_type
== null then return
755 if mtype
!= precursor_type
then
756 modelbuilder
.error
(ntype
.as(not null), "Redef Error: Wrong static type. found {mtype}, expected {precursor_type}.")
761 # Check getter and setter
762 var meth
= self.mreadpropdef
763 if meth
!= null then self.check_method_signature
(modelbuilder
, nclassdef
, meth
)
764 meth
= self.mwritepropdef
765 if meth
!= null then self.check_method_signature
(modelbuilder
, nclassdef
, meth
)
768 private fun check_method_signature
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef, mpropdef
: MMethodDef)
770 var mmodule
= mpropdef
.mclassdef
.mmodule
771 var nsig
= self.n_type
772 var mysignature
= mpropdef
.msignature
773 if mysignature
== null then return # Error thus skiped
775 # Lookup for signature in the precursor
776 # FIXME all precursors should be considered
777 if not mpropdef
.is_intro
then
778 var msignature
= mpropdef
.mproperty
.intro
.msignature
779 if msignature
== null then return
781 if mysignature
.arity
!= msignature
.arity
then
783 if nsig
!= null then node
= nsig
else node
= self
784 modelbuilder
.error
(node
, "Redef Error: {mysignature.arity} parameters found, {msignature.arity} expected. Signature is {mpropdef}{msignature}")
787 var precursor_ret_type
= msignature
.return_mtype
788 var ret_type
= mysignature
.return_mtype
789 if ret_type
!= null and precursor_ret_type
== null then
791 if nsig
!= null then node
= nsig
else node
= self
792 modelbuilder
.error
(node
, "Redef Error: {mpropdef.mproperty} is a procedure, not a function.")
796 if mysignature
.arity
> 0 then
797 # Check parameters types
798 for i
in [0..mysignature
.arity
[ do
799 var myt
= mysignature
.mparameters
[i
].mtype
800 var prt
= msignature
.mparameters
[i
].mtype
801 if not myt
.is_subtype
(mmodule
, nclassdef
.mclassdef
.bound_mtype
, prt
) and
802 not prt
.is_subtype
(mmodule
, nclassdef
.mclassdef
.bound_mtype
, myt
) then
804 if nsig
!= null then node
= nsig
else node
= self
805 modelbuilder
.error
(node
, "Redef Error: Wrong type for parameter `{mysignature.mparameters[i].name}'. found {myt}, expected {prt}.")
809 if precursor_ret_type
!= null then
810 if ret_type
== null then
811 # Inherit the return type
812 ret_type
= precursor_ret_type
813 else if not ret_type
.is_subtype
(mmodule
, nclassdef
.mclassdef
.bound_mtype
, precursor_ret_type
) then
815 if nsig
!= null then node
= nsig
else node
= self
816 modelbuilder
.error
(node
, "Redef Error: Wrong return type. found {ret_type}, expected {precursor_ret_type}.")
823 redef class ATypePropdef
824 redef type MPROPDEF: MVirtualTypeDef
826 redef fun build_property
(modelbuilder
, nclassdef
)
828 var mclassdef
= nclassdef
.mclassdef
.as(not null)
829 var name
= self.n_id
.text
830 var mprop
= modelbuilder
.try_get_mproperty_by_name
(self.n_id
, mclassdef
, name
)
831 if mprop
== null then
832 var mvisibility
= new_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
)
833 mprop
= new MVirtualTypeProp(mclassdef
, name
, mvisibility
)
834 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, self.n_kwredef
, false, mprop
) then return
836 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, self.n_kwredef
, true, mprop
) then return
837 assert mprop
isa MVirtualTypeProp
838 check_redef_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
, mprop
)
840 nclassdef
.mprop2npropdef
[mprop
] = self
842 var mpropdef
= new MVirtualTypeDef(mclassdef
, mprop
, self.location
)
843 self.mpropdef
= mpropdef
846 redef fun build_signature
(modelbuilder
, nclassdef
)
848 var mpropdef
= self.mpropdef
849 if mpropdef
== null then return # Error thus skiped
850 var mmodule
= mpropdef
.mclassdef
.mmodule
851 var mtype
: nullable MType = null
853 var ntype
= self.n_type
854 mtype
= modelbuilder
.resolve_mtype
(nclassdef
, ntype
)
855 if mtype
== null then return
857 mpropdef
.bound
= mtype
858 # print "{mpropdef}: {mtype}"
861 redef fun check_signature
(modelbuilder
, nclassdef
)
863 var bound
= self.mpropdef
.bound
865 # Fast case: the bound is not a formal type
866 if not bound
isa MVirtualType then return
868 var mmodule
= nclassdef
.mclassdef
.mmodule
869 var anchor
= nclassdef
.mclassdef
.bound_mtype
871 # Slow case: progress on each resolution until: (i) we loop, or (ii) we found a non formal type
872 var seen
= [self.mpropdef
.mproperty
.mvirtualtype
]
874 if seen
.has
(bound
) then
876 modelbuilder
.error
(self, "Error: circularity of virtual type definition: {seen.join(" -> ")}")
880 var next
= bound
.lookup_bound
(mmodule
, anchor
)
881 if not next
isa MVirtualType then return