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 private fun build_property
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef)
201 private fun build_signature
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef)
204 private fun check_signature
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef)
207 private fun new_property_visibility
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef, nvisibility
: nullable AVisibility): MVisibility
209 var mvisibility
= public_visibility
210 if nvisibility
!= null then mvisibility
= nvisibility
.mvisibility
211 if nclassdef
.mclassdef
.mclass
.visibility
== private_visibility
then
212 if mvisibility
== protected_visibility
then
213 assert nvisibility
!= null
214 modelbuilder
.error
(nvisibility
, "Error: The only legal visibility for properties in a private class is private.")
215 else if mvisibility
== private_visibility
then
216 assert nvisibility
!= null
218 # modelbuilder.warning(nvisibility, "Warning: private is unrequired since the only legal visibility for properties in a private class is private.")
220 mvisibility
= private_visibility
225 private fun check_redef_property_visibility
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef, nvisibility
: nullable AVisibility, mprop
: MProperty)
227 if nvisibility
== null then return
228 var mvisibility
= nvisibility
.mvisibility
229 if mvisibility
!= mprop
.visibility
and mvisibility
!= public_visibility
then
230 modelbuilder
.error
(nvisibility
, "Error: redefinition changed the visibility from a {mprop.visibility} to a {mvisibility}")
234 private fun check_redef_keyword
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef, kwredef
: nullable Token, need_redef
: Bool, mprop
: MProperty): Bool
236 if nclassdef
.mprop2npropdef
.has_key
(mprop
) then
237 modelbuilder
.error
(self, "Error: A property {mprop} is already defined in class {nclassdef.mclassdef.mclass}.")
240 if kwredef
== null then
242 modelbuilder
.error
(self, "Redef error: {nclassdef.mclassdef.mclass}::{mprop.name} is an inherited property. To redefine it, add the redef keyword.")
246 if not need_redef
then
247 modelbuilder
.error
(self, "Error: No property {nclassdef.mclassdef.mclass}::{mprop.name} is inherited. Remove the redef keyword to define a new property.")
256 redef class ASignature
257 # Is the model builder has correctly visited the signature
258 var is_visited
= false
259 # Names of parameters from the AST
260 # REQUIRE: is_visited
261 var param_names
= new Array[String]
262 # Types of parameters from the AST
263 # REQUIRE: is_visited
264 var param_types
= new Array[MType]
265 # Rank of the vararg (of -1 if none)
266 # REQUIRE: is_visited
267 var vararg_rank
: Int = -1
269 var ret_type
: nullable MType = null
271 # Visit and fill information about a signature
272 private fun visit_signature
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef): Bool
274 var param_names
= self.param_names
275 var param_types
= self.param_types
276 for np
in self.n_params
do
277 param_names
.add
(np
.n_id
.text
)
278 var ntype
= np
.n_type
279 if ntype
!= null then
280 var mtype
= modelbuilder
.resolve_mtype
(nclassdef
, ntype
)
281 if mtype
== null then return false # Skip error
282 for i
in [0..param_names
.length-param_types
.length
[ do
283 param_types
.add
(mtype
)
285 if np
.n_dotdotdot
!= null then
286 if self.vararg_rank
!= -1 then
287 modelbuilder
.error
(np
, "Error: {param_names[self.vararg_rank]} is already a vararg")
290 self.vararg_rank
= param_names
.length
- 1
295 var ntype
= self.n_type
296 if ntype
!= null then
297 self.ret_type
= modelbuilder
.resolve_mtype
(nclassdef
, ntype
)
298 if self.ret_type
== null then return false # Skip errir
301 for nclosure
in self.n_closure_decls
do
302 if not nclosure
.n_signature
.visit_signature
(modelbuilder
, nclassdef
) then return false
305 self.is_visited
= true
309 # Build a visited signature
310 fun build_signature
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef): nullable MSignature
312 if param_names
.length
!= param_types
.length
then
313 # Some parameters are typed, other parameters are not typed.
314 modelbuilder
.error
(self.n_params
[param_types
.length
], "Error: Untyped parameter `{param_names[param_types.length]}'.")
318 var mparameters
= new Array[MParameter]
319 for i
in [0..param_names
.length
[ do
320 var mparameter
= new MParameter(param_names
[i
], param_types
[i
], i
== vararg_rank
)
321 mparameters
.add
(mparameter
)
324 var msignature
= new MSignature(mparameters
, ret_type
)
329 redef class AMethPropdef
330 # The associated MMethodDef once build by a `ModelBuilder'
331 var mpropdef
: nullable MMethodDef
333 # The associated super init if any
334 var super_init
: nullable MMethod
335 redef fun build_property
(modelbuilder
, nclassdef
)
337 var is_init
= self isa AInitPropdef
338 var mclassdef
= nclassdef
.mclassdef
.as(not null)
340 var amethodid
= self.n_methid
342 if amethodid
== null then
343 if self isa AMainMethPropdef then
346 else if self isa AConcreteInitPropdef then
348 name_node
= self.n_kwinit
349 else if self isa AExternInitPropdef then
351 name_node
= self.n_kwnew
355 else if amethodid
isa AIdMethid then
356 name
= amethodid
.n_id
.text
357 name_node
= amethodid
359 # operator, bracket or assign
360 name
= amethodid
.collect_text
361 name_node
= amethodid
363 if name
== "-" and self.n_signature
.n_params
.length
== 0 then
368 var mprop
: nullable MMethod = null
369 if not is_init
or n_kwredef
!= null then mprop
= modelbuilder
.try_get_mproperty_by_name
(name_node
, mclassdef
, name
).as(nullable MMethod)
370 if mprop
== null then
371 var mvisibility
= new_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
)
372 mprop
= new MMethod(mclassdef
, name
, mvisibility
)
373 mprop
.is_init
= is_init
374 mprop
.is_new
= self isa AExternInitPropdef
375 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, n_kwredef
, false, mprop
) then return
377 if n_kwredef
== null then
378 if self isa AMainMethPropdef then
381 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, n_kwredef
, true, mprop
) then return
384 check_redef_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
, mprop
)
386 nclassdef
.mprop2npropdef
[mprop
] = self
388 var mpropdef
= new MMethodDef(mclassdef
, mprop
, self.location
)
390 self.mpropdef
= mpropdef
391 modelbuilder
.mpropdef2npropdef
[mpropdef
] = self
392 if mpropdef
.is_intro
then
393 modelbuilder
.toolcontext
.info
("{mpropdef} introduces new method {mprop.full_name}", 3)
395 modelbuilder
.toolcontext
.info
("{mpropdef} redefines method {mprop.full_name}", 3)
399 redef fun build_signature
(modelbuilder
, nclassdef
)
401 var mpropdef
= self.mpropdef
402 if mpropdef
== null then return # Error thus skiped
403 var mmodule
= mpropdef
.mclassdef
.mmodule
404 var nsig
= self.n_signature
406 # Retrieve info from the signature AST
407 var param_names
= new Array[String] # Names of parameters from the AST
408 var param_types
= new Array[MType] # Types of parameters from the AST
410 var ret_type
: nullable MType = null # Return type from the AST
412 if not nsig
.visit_signature
(modelbuilder
, nclassdef
) then return
413 param_names
= nsig
.param_names
414 param_types
= nsig
.param_types
415 vararg_rank
= nsig
.vararg_rank
416 ret_type
= nsig
.ret_type
419 # Look for some signature to inherit
420 # FIXME: do not inherit from the intro, but from the most specific
421 var msignature
: nullable MSignature = null
422 if not mpropdef
.is_intro
then
423 msignature
= mpropdef
.mproperty
.intro
.msignature
424 if msignature
== null then return # Skip error
426 # Check inherited signature arity
427 if param_names
.length
!= msignature
.arity
then
429 if nsig
!= null then node
= nsig
else node
= self
430 modelbuilder
.error
(node
, "Redef error: {mpropdef} redefines {mpropdef.mproperty.intro} with {param_names.length} parameter(s), {msignature.arity} expected. Signature is {mpropdef}{msignature}")
433 else if mpropdef
.mproperty
.is_init
then
434 # FIXME UGLY: inherit signature from a super-constructor
435 for msupertype
in nclassdef
.mclassdef
.supertypes
do
436 msupertype
= msupertype
.anchor_to
(mmodule
, nclassdef
.mclassdef
.bound_mtype
)
437 var candidate
= modelbuilder
.try_get_mproperty_by_name2
(self, mmodule
, msupertype
, mpropdef
.mproperty
.name
)
438 if candidate
!= null then
439 if msignature
== null then
440 msignature
= candidate
.intro
.as(MMethodDef).msignature
447 # Inherit the signature
448 if msignature
!= null and param_names
.length
!= param_types
.length
and param_names
.length
== msignature
.arity
and param_types
.length
== 0 then
449 # Parameters are untyped, thus inherit them
450 param_types
= new Array[MType]
451 for mparameter
in msignature
.mparameters
do
452 param_types
.add
(mparameter
.mtype
)
454 vararg_rank
= msignature
.vararg_rank
456 if msignature
!= null and ret_type
== null then
457 ret_type
= msignature
.return_mtype
460 if param_names
.length
!= param_types
.length
then
461 # Some parameters are typed, other parameters are not typed.
462 modelbuilder
.error
(nsig
.n_params
[param_types
.length
], "Error: Untyped parameter `{param_names[param_types.length]}'.")
466 var mparameters
= new Array[MParameter]
467 for i
in [0..param_names
.length
[ do
468 var mparameter
= new MParameter(param_names
[i
], param_types
[i
], i
== vararg_rank
)
469 mparameters
.add
(mparameter
)
472 msignature
= new MSignature(mparameters
, ret_type
)
473 mpropdef
.msignature
= msignature
476 for nclosure
in nsig
.n_closure_decls
do
477 var clos_signature
= nclosure
.n_signature
.build_signature
(modelbuilder
, nclassdef
)
478 if clos_signature
== null then return
479 var mparameter
= new MParameter(nclosure
.n_id
.text
, clos_signature
, false)
480 msignature
.mclosures
.add
(mparameter
)
486 redef fun check_signature
(modelbuilder
, nclassdef
)
488 var mpropdef
= self.mpropdef
489 if mpropdef
== null then return # Error thus skiped
490 var mmodule
= mpropdef
.mclassdef
.mmodule
491 var nsig
= self.n_signature
492 var mysignature
= self.mpropdef
.msignature
493 if mysignature
== null then return # Error thus skiped
495 # Lookup for signature in the precursor
496 # FIXME all precursors should be considered
497 if not mpropdef
.is_intro
then
498 var msignature
= mpropdef
.mproperty
.intro
.msignature
499 if msignature
== null then return
501 var precursor_ret_type
= msignature
.return_mtype
502 var ret_type
= mysignature
.return_mtype
503 if ret_type
!= null and precursor_ret_type
== null then
504 modelbuilder
.error
(nsig
.n_type
.as(not null), "Redef Error: {mpropdef.mproperty} is a procedure, not a function.")
508 if mysignature
.arity
> 0 then
509 # Check parameters types
510 for i
in [0..mysignature
.arity
[ do
511 var myt
= mysignature
.mparameters
[i
].mtype
512 var prt
= msignature
.mparameters
[i
].mtype
513 if not myt
.is_subtype
(mmodule
, nclassdef
.mclassdef
.bound_mtype
, prt
) and
514 not prt
.is_subtype
(mmodule
, nclassdef
.mclassdef
.bound_mtype
, myt
) then
515 modelbuilder
.error
(nsig
.n_params
[i
], "Redef Error: Wrong type for parameter `{mysignature.mparameters[i].name}'. found {myt}, expected {prt}.")
519 if precursor_ret_type
!= null then
520 if ret_type
== null then
521 # Inherit the return type
522 ret_type
= precursor_ret_type
523 else if not ret_type
.is_subtype
(mmodule
, nclassdef
.mclassdef
.bound_mtype
, precursor_ret_type
) then
524 modelbuilder
.error
(nsig
.n_type
.as(not null), "Redef Error: Wrong return type. found {ret_type}, expected {precursor_ret_type}.")
531 redef class AAttrPropdef
532 # The associated MAttributeDef once build by a `ModelBuilder'
533 var mpropdef
: nullable MAttributeDef
534 # The associated getter (read accessor) if any
535 var mreadpropdef
: nullable MMethodDef
536 # The associated setter (write accessor) if any
537 var mwritepropdef
: nullable MMethodDef
538 redef fun build_property
(modelbuilder
, nclassdef
)
540 var mclassdef
= nclassdef
.mclassdef
.as(not null)
541 var mclass
= mclassdef
.mclass
544 if self.n_id
!= null then
545 name
= self.n_id
.text
547 name
= self.n_id2
.text
550 if mclass
.kind
== interface_kind
or mclassdef
.mclass
.kind
== enum_kind
then
551 modelbuilder
.error
(self, "Error: Attempt to define attribute {name} in the interface {mclass}.")
552 else if mclass
.kind
== enum_kind
then
553 modelbuilder
.error
(self, "Error: Attempt to define attribute {name} in the enum class {mclass}.")
554 else if mclass
.kind
== extern_kind
then
555 modelbuilder
.error
(self, "Error: Attempt to define attribute {name} in the extern class {mclass}.")
560 # Old attribute style
561 var mprop
= modelbuilder
.try_get_mproperty_by_name
(nid
, mclassdef
, name
)
562 if mprop
== null then
563 var mvisibility
= new_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
)
564 mprop
= new MAttribute(mclassdef
, name
, mvisibility
)
565 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, self.n_kwredef
, false, mprop
) then return
567 assert mprop
isa MAttribute
568 check_redef_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
, mprop
)
569 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, self.n_kwredef
, true, mprop
) then return
571 nclassdef
.mprop2npropdef
[mprop
] = self
573 var mpropdef
= new MAttributeDef(mclassdef
, mprop
, self.location
)
574 self.mpropdef
= mpropdef
575 modelbuilder
.mpropdef2npropdef
[mpropdef
] = self
577 var nreadable
= self.n_readable
578 if nreadable
!= null then
579 var readname
= name
.substring_from
(1)
580 var mreadprop
= modelbuilder
.try_get_mproperty_by_name
(nid
, mclassdef
, readname
).as(nullable MMethod)
581 if mreadprop
== null then
582 var mvisibility
= new_property_visibility
(modelbuilder
, nclassdef
, nreadable
.n_visibility
)
583 mreadprop
= new MMethod(mclassdef
, readname
, mvisibility
)
584 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, nreadable
.n_kwredef
, false, mreadprop
) then return
586 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, nreadable
.n_kwredef
, true, mreadprop
) then return
587 check_redef_property_visibility
(modelbuilder
, nclassdef
, nreadable
.n_visibility
, mreadprop
)
589 nclassdef
.mprop2npropdef
[mreadprop
] = self
591 var mreadpropdef
= new MMethodDef(mclassdef
, mreadprop
, self.location
)
592 self.mreadpropdef
= mreadpropdef
593 modelbuilder
.mpropdef2npropdef
[mreadpropdef
] = self
596 var nwritable
= self.n_writable
597 if nwritable
!= null then
598 var writename
= name
.substring_from
(1) + "="
599 var mwriteprop
= modelbuilder
.try_get_mproperty_by_name
(nid
, mclassdef
, writename
).as(nullable MMethod)
600 if mwriteprop
== null then
601 var mvisibility
= new_property_visibility
(modelbuilder
, nclassdef
, nwritable
.n_visibility
)
602 mwriteprop
= new MMethod(mclassdef
, writename
, mvisibility
)
603 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, nwritable
.n_kwredef
, false, mwriteprop
) then return
605 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, nwritable
.n_kwredef
, true, mwriteprop
) then return
606 check_redef_property_visibility
(modelbuilder
, nclassdef
, nwritable
.n_visibility
, mwriteprop
)
608 nclassdef
.mprop2npropdef
[mwriteprop
] = self
610 var mwritepropdef
= new MMethodDef(mclassdef
, mwriteprop
, self.location
)
611 self.mwritepropdef
= mwritepropdef
612 modelbuilder
.mpropdef2npropdef
[mwritepropdef
] = self
615 # New attribute style
616 var nid2
= self.n_id2
.as(not null)
617 var mprop
= new MAttribute(mclassdef
, "@" + name
, none_visibility
)
618 var mpropdef
= new MAttributeDef(mclassdef
, mprop
, self.location
)
619 self.mpropdef
= mpropdef
620 modelbuilder
.mpropdef2npropdef
[mpropdef
] = self
623 var mreadprop
= modelbuilder
.try_get_mproperty_by_name
(nid2
, mclassdef
, readname
).as(nullable MMethod)
624 if mreadprop
== null then
625 var mvisibility
= new_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
)
626 mreadprop
= new MMethod(mclassdef
, readname
, mvisibility
)
627 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, n_kwredef
, false, mreadprop
) then return
629 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, n_kwredef
, true, mreadprop
) then return
630 check_redef_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
, mreadprop
)
632 nclassdef
.mprop2npropdef
[mreadprop
] = self
634 var mreadpropdef
= new MMethodDef(mclassdef
, mreadprop
, self.location
)
635 self.mreadpropdef
= mreadpropdef
636 modelbuilder
.mpropdef2npropdef
[mreadpropdef
] = self
638 var writename
= name
+ "="
639 var nwritable
= self.n_writable
640 var mwriteprop
= modelbuilder
.try_get_mproperty_by_name
(nid2
, mclassdef
, writename
).as(nullable MMethod)
641 var nwkwredef
: nullable Token = null
642 if nwritable
!= null then nwkwredef
= nwritable
.n_kwredef
643 if mwriteprop
== null then
645 if nwritable
!= null then
646 mvisibility
= new_property_visibility
(modelbuilder
, nclassdef
, nwritable
.n_visibility
)
648 mvisibility
= private_visibility
650 mwriteprop
= new MMethod(mclassdef
, writename
, mvisibility
)
651 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, nwkwredef
, false, mwriteprop
) then return
653 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, nwkwredef
, true, mwriteprop
) then return
654 if nwritable
!= null then
655 check_redef_property_visibility
(modelbuilder
, nclassdef
, nwritable
.n_visibility
, mwriteprop
)
658 nclassdef
.mprop2npropdef
[mwriteprop
] = self
660 var mwritepropdef
= new MMethodDef(mclassdef
, mwriteprop
, self.location
)
661 self.mwritepropdef
= mwritepropdef
662 modelbuilder
.mpropdef2npropdef
[mwritepropdef
] = self
666 redef fun build_signature
(modelbuilder
, nclassdef
)
668 var mpropdef
= self.mpropdef
669 if mpropdef
== null then return # Error thus skiped
670 var mmodule
= mpropdef
.mclassdef
.mmodule
671 var mtype
: nullable MType = null
673 var ntype
= self.n_type
674 if ntype
!= null then
675 mtype
= modelbuilder
.resolve_mtype
(nclassdef
, ntype
)
676 if mtype
== null then return
679 if mtype
== null then
680 var nexpr
= self.n_expr
681 if nexpr
!= null then
682 if nexpr
isa ANewExpr then
683 mtype
= modelbuilder
.resolve_mtype
(nclassdef
, nexpr
.n_type
)
684 else if nexpr
isa AIntExpr then
685 var cla
= modelbuilder
.try_get_mclass_by_name
(nexpr
, mmodule
, "Int")
686 if cla
!= null then mtype
= cla
.mclass_type
687 else if nexpr
isa AFloatExpr then
688 var cla
= modelbuilder
.try_get_mclass_by_name
(nexpr
, mmodule
, "Float")
689 if cla
!= null then mtype
= cla
.mclass_type
690 else if nexpr
isa ACharExpr then
691 var cla
= modelbuilder
.try_get_mclass_by_name
(nexpr
, mmodule
, "Char")
692 if cla
!= null then mtype
= cla
.mclass_type
693 else if nexpr
isa ABoolExpr then
694 var cla
= modelbuilder
.try_get_mclass_by_name
(nexpr
, mmodule
, "Bool")
695 if cla
!= null then mtype
= cla
.mclass_type
696 else if nexpr
isa ASuperstringExpr then
697 var cla
= modelbuilder
.try_get_mclass_by_name
(nexpr
, mmodule
, "String")
698 if cla
!= null then mtype
= cla
.mclass_type
699 else if nexpr
isa AStringFormExpr then
700 var cla
= modelbuilder
.try_get_mclass_by_name
(nexpr
, mmodule
, "String")
701 if cla
!= null then mtype
= cla
.mclass_type
703 modelbuilder
.error
(self, "Error: Untyped attribute {mpropdef}. Implicit typing allowed only for literals and new.")
707 modelbuilder
.error
(self, "Error: Untyped attribute {mpropdef}")
711 if mtype
== null then return
713 mpropdef
.static_mtype
= mtype
715 var mreadpropdef
= self.mreadpropdef
716 if mreadpropdef
!= null then
717 var msignature
= new MSignature(new Array[MParameter], mtype
)
718 mreadpropdef
.msignature
= msignature
721 var msritepropdef
= self.mwritepropdef
722 if mwritepropdef
!= null then
725 name
= n_id
.text
.substring_from
(1)
729 var mparameter
= new MParameter(name
, mtype
, false)
730 var msignature
= new MSignature([mparameter
], null)
731 mwritepropdef
.msignature
= msignature
735 redef fun check_signature
(modelbuilder
, nclassdef
)
737 var mpropdef
= self.mpropdef
738 if mpropdef
== null then return # Error thus skiped
739 var mmodule
= mpropdef
.mclassdef
.mmodule
740 var ntype
= self.n_type
741 var mtype
= self.mpropdef
.static_mtype
742 if mtype
== null then return # Error thus skiped
744 # Lookup for signature in the precursor
745 # FIXME all precursors should be considered
746 if not mpropdef
.is_intro
then
747 var precursor_type
= mpropdef
.mproperty
.intro
.static_mtype
748 if precursor_type
== null then return
750 if mtype
!= precursor_type
then
751 modelbuilder
.error
(ntype
.as(not null), "Redef Error: Wrong static type. found {mtype}, expected {precursor_type}.")
756 # Check getter and setter
757 var meth
= self.mreadpropdef
758 if meth
!= null then self.check_method_signature
(modelbuilder
, nclassdef
, meth
)
759 meth
= self.mwritepropdef
760 if meth
!= null then self.check_method_signature
(modelbuilder
, nclassdef
, meth
)
763 private fun check_method_signature
(modelbuilder
: ModelBuilder, nclassdef
: AClassdef, mpropdef
: MMethodDef)
765 var mmodule
= mpropdef
.mclassdef
.mmodule
766 var nsig
= self.n_type
767 var mysignature
= mpropdef
.msignature
768 if mysignature
== null then return # Error thus skiped
770 # Lookup for signature in the precursor
771 # FIXME all precursors should be considered
772 if not mpropdef
.is_intro
then
773 var msignature
= mpropdef
.mproperty
.intro
.msignature
774 if msignature
== null then return
776 if mysignature
.arity
!= msignature
.arity
then
778 if nsig
!= null then node
= nsig
else node
= self
779 modelbuilder
.error
(node
, "Redef Error: {mysignature.arity} parameters found, {msignature.arity} expected. Signature is {mpropdef}{msignature}")
782 var precursor_ret_type
= msignature
.return_mtype
783 var ret_type
= mysignature
.return_mtype
784 if ret_type
!= null and precursor_ret_type
== null then
786 if nsig
!= null then node
= nsig
else node
= self
787 modelbuilder
.error
(node
, "Redef Error: {mpropdef.mproperty} is a procedure, not a function.")
791 if mysignature
.arity
> 0 then
792 # Check parameters types
793 for i
in [0..mysignature
.arity
[ do
794 var myt
= mysignature
.mparameters
[i
].mtype
795 var prt
= msignature
.mparameters
[i
].mtype
796 if not myt
.is_subtype
(mmodule
, nclassdef
.mclassdef
.bound_mtype
, prt
) and
797 not prt
.is_subtype
(mmodule
, nclassdef
.mclassdef
.bound_mtype
, myt
) then
799 if nsig
!= null then node
= nsig
else node
= self
800 modelbuilder
.error
(node
, "Redef Error: Wrong type for parameter `{mysignature.mparameters[i].name}'. found {myt}, expected {prt}.")
804 if precursor_ret_type
!= null then
805 if ret_type
== null then
806 # Inherit the return type
807 ret_type
= precursor_ret_type
808 else if not ret_type
.is_subtype
(mmodule
, nclassdef
.mclassdef
.bound_mtype
, precursor_ret_type
) then
810 if nsig
!= null then node
= nsig
else node
= self
811 modelbuilder
.error
(node
, "Redef Error: Wrong return type. found {ret_type}, expected {precursor_ret_type}.")
818 redef class ATypePropdef
819 # The associated MVirtualTypeDef once build by a `ModelBuilder'
820 var mpropdef
: nullable MVirtualTypeDef
821 redef fun build_property
(modelbuilder
, nclassdef
)
823 var mclassdef
= nclassdef
.mclassdef
.as(not null)
824 var name
= self.n_id
.text
825 var mprop
= modelbuilder
.try_get_mproperty_by_name
(self.n_id
, mclassdef
, name
)
826 if mprop
== null then
827 var mvisibility
= new_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
)
828 mprop
= new MVirtualTypeProp(mclassdef
, name
, mvisibility
)
829 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, self.n_kwredef
, false, mprop
) then return
831 if not self.check_redef_keyword
(modelbuilder
, nclassdef
, self.n_kwredef
, true, mprop
) then return
832 assert mprop
isa MVirtualTypeProp
833 check_redef_property_visibility
(modelbuilder
, nclassdef
, self.n_visibility
, mprop
)
835 nclassdef
.mprop2npropdef
[mprop
] = self
837 var mpropdef
= new MVirtualTypeDef(mclassdef
, mprop
, self.location
)
838 self.mpropdef
= mpropdef
841 redef fun build_signature
(modelbuilder
, nclassdef
)
843 var mpropdef
= self.mpropdef
844 if mpropdef
== null then return # Error thus skiped
845 var mmodule
= mpropdef
.mclassdef
.mmodule
846 var mtype
: nullable MType = null
848 var ntype
= self.n_type
849 mtype
= modelbuilder
.resolve_mtype
(nclassdef
, ntype
)
850 if mtype
== null then return
852 mpropdef
.bound
= mtype
853 # print "{mpropdef}: {mtype}"
856 redef fun check_signature
(modelbuilder
, nclassdef
)
858 var bound
= self.mpropdef
.bound
860 # Fast case: the bound is not a formal type
861 if not bound
isa MVirtualType then return
863 var mmodule
= nclassdef
.mclassdef
.mmodule
864 var anchor
= nclassdef
.mclassdef
.bound_mtype
866 # Slow case: progress on each resolution until: (i) we loop, or (ii) we found a non formal type
867 var seen
= [self.mpropdef
.mproperty
.mvirtualtype
]
869 if seen
.has
(bound
) then
871 modelbuilder
.error
(self, "Error: circularity of virtual type definition: {seen.join(" -> ")}")
875 var next
= bound
.lookup_bound
(mmodule
, anchor
)
876 if not next
isa MVirtualType then return