1 # This file is part of NIT ( http://www.nitlanguage.org ).
3 # Copyright 2008 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 # Build MM entity from NIT AST and check conformance of these entities.
18 # This module introduce specific MM class (MMSrcXXX) that specialize the abstract one from metamodel
24 # Class specialization hierarchy sorter
25 private class CSHSorter
26 special AbstractSorter[MMLocalClass]
27 redef meth compare
(a
, b
)
29 return a
.cshe
.rank
<=> b
.cshe
.rank
35 redef class MMSrcModule
36 # Syntax analysis and MM construction for the module
37 # Require that supermodules are processed
38 meth do_mmbuilder
(tc
: ToolContext)
40 # Import global classes
43 # Create local classes and attach them to global classes
44 var mmbv
= new ClassBuilderVisitor(tc
, self)
46 if tc
.error_count
> 0 then exit
(1)
48 # Import unrefined local classes and attach them to global classes
51 # Resolve classes in super clauses
52 var mmbv1
= new ClassSpecializationBuilderVisitor(tc
, self)
54 if tc
.error_count
> 0 then exit
(1)
56 # Compute specialization relation
57 for c
in local_classes
do
58 if visibility_for
(c
.global
.intro
.module) < c
.global
.visibility_level
then
61 c
.compute_super_classes
64 # Class that we will process now are those in the hierarchy
65 # Its mean all the visible classes and their super-classes
66 # Note that leaves invisible classes are not in the 'classes' set
67 var classes
= class_specialization_hierarchy
.to_a
69 # Prepare class list to process the following in a right order
70 var sorter
= once
new CSHSorter
73 # Compute class ancestors types
74 var mmbv1b
= new ClassAncestorBuilder(tc
, self)
76 c
.accept_class_visitor
(mmbv1b
)
79 if tc
.error_count
> 0 then exit
(1)
81 # Check class conformity
82 var mmbv1b
= new ClassVerifierVisitor(tc
, self)
84 c
.accept_class_visitor
(mmbv1b
)
86 if tc
.error_count
> 0 then exit
(1)
88 # Property inhritance and introduction
89 var mmbv2
= new PropertyBuilderVisitor(tc
, self)
91 # Inherit global properties
92 c
.inherit_global_properties
94 # Global property introduction and redefinition
95 c
.accept_class_visitor
(mmbv2
)
97 # Default and inherited constructor if needed
98 if c
isa MMSrcLocalClass and c
.global
.intro
== c
and not c
.global
.is_universal
and not c
.global
.is_interface
then
99 c
.process_default_constructors
(mmbv2
)
102 # Note that inherited unredefined property are processed on demand latter
104 if tc
.error_count
> 0 then exit
(1)
106 # Property signature analysis and inheritance conformance
107 var mmbv3
= new PropertyVerifierVisitor(tc
, self)
109 c
.accept_properties_visitor
(mmbv3
)
112 # Check inherited local properties
114 for g
in c
.global_properties
do
115 if visibility_for
(g
.intro
.module) < g
.visibility_level
then continue
120 if tc
.error_count
> 0 then exit
(1)
124 redef class MMLocalClass
125 # Accept a class visitor (on class nodes)
126 private meth accept_class_visitor
(v
: AbsSyntaxVisitor)
130 # Accept a class visitor (on class properties)
131 private meth accept_properties_visitor
(v
: AbsSyntaxVisitor)
136 redef class MMSrcLocalClass
137 redef meth accept_class_visitor
(v
)
144 # Accept a class visitor (on class properties)
145 redef meth accept_properties_visitor
(v
)
151 for p
in src_local_properties
do
152 p
.accept_property_visitor
(v
)
156 # A mixin class can be build the same way that one of its superclasses
157 readable attr _is_mixin
: Bool = false
159 # Introduce or inherit default constructors
160 private meth process_default_constructors
(v
: PropertyBuilderVisitor)
162 # Is there already a constructor ?
163 for gp
in global_properties
do
165 # Return if explicit constructor in the class
166 if gp
.intro
.local_class
== self then return
170 # Collect visible constructors in super stateful classes
171 var super_inits
= new ArraySet[MMLocalProperty]
172 var super_constructors
= new ArraySet[MMGlobalProperty]
173 for sc
in che
.direct_greaters
do
174 if sc
.global
.is_universal
or sc
.global
.is_interface
then continue
175 for gp
in sc
.global_properties
do
176 if not gp
.is_init
then continue
177 super_constructors
.add
(gp
)
179 var gp
= sc
.get_property_by_name
(once
("init".to_symbol
))
181 super_inits
.add
(self[gp
])
185 # Collect unassigned attributes
186 var unassigned_attributes
= new Array[MMSrcAttribute]
187 for a
in src_local_properties
do
188 if a
isa MMSrcAttribute then
190 assert n
isa AAttrPropdef
191 if n
.n_expr
== null then unassigned_attributes
.add
(a
)
195 if not super_constructors
.is_empty
then
196 # Select most specific classes introducing inheritable constructors
197 # Mixin classes are skipped
198 var supers
= new Array[MMLocalClass]
199 for gp
in super_constructors
do
200 var sc
= gp
.local_class
201 if supers
.has
(sc
) then continue
202 assert sc
isa MMSrcLocalClass
203 if not sc
.is_mixin
then
207 supers
= che
.order
.select_smallests
(supers
)
209 # A mixin class can only have 0 or 1 most specific non-mixin superclass
210 var superclass
: MMLocalClass = null # This most specific non-mixin superclass (if any)
212 if supers
.length
> 1 then
213 v
.error
(nodes
.first
, "Error: Explicit constructor required in {self} since multiple inheritance of constructor is forbiden. Conflicting classes are {supers.join(", ")}. Costructors are {super_constructors.join(", ")}.")
215 else if supers
.length
== 1 then
216 superclass
= supers
.first
219 for gp
in super_constructors
do
220 # Inherit constructors : the one of the non-mixin super class or all from the all mixin super-classes
221 if superclass
== null or gp
.local_class
== superclass
then
222 make_visible_an_inherited_global_property
(gp
)
227 # v.error(nodes.first, "Error, constructor required in {self} since no anonimous init found in {sc}.")
229 # unassigned attributes, then implicit consructors are generated
230 var p
= new MMImplicitInit(self, unassigned_attributes
, super_inits
.to_a
)
231 add_src_local_property
(v
, p
)
232 #print("Create implicit init {p} in {self} from {super_inits.join(", ")} + {unassigned_attributes.length} args")
236 # Add a source property
237 # Register it to the class and attach it to global property
238 private meth add_src_local_property
(v
: PropertyBuilderVisitor, prop
: MMLocalProperty)
240 var pname
= prop
.name
241 # Check double definition in the same class
242 if src_local_properties
.has_key
(pname
) then
243 v
.error
(prop
.node
, "Error: A property {pname} is already defined in class {name}.")
246 src_local_properties
[pname
] = prop
248 # Intro or redefinition ?
249 if has_global_property_by_name
(pname
) then
250 var globs
= properties_by_name
[pname
]
251 if globs
.length
> 1 then
252 v
.error
(prop
.node
, "Name error: {self} inherits {globs.length} global properties named {pname}.")
255 prop
.inherit_global
(g
)
258 if prop
.global
== null then
260 prop
.global
.is_init
= prop
.is_init
265 redef class MMLocalProperty
266 private meth accept_property_visitor
(v
: AbsSyntaxVisitor)
271 redef class MMImplicitInit
272 readable attr _super_init
: MMLocalProperty = null
273 redef meth accept_property_visitor
(v
)
275 var base
: MMLocalProperty = null
276 for p
in super_inits
do
277 if p
.signature
.arity
> 0 then
281 v
.error
(null, "Error: explicit constructor needed in {local_class} since both super-constructor {base.full_name} and {p.full_name} have paramters")
288 var params
= new Array[MMType]
290 var sig
= base
.signature
291 for i
in [0..sig
.arity
[ do
295 for a
in unassigned_attributes
do
296 params
.add
(a
.signature
.return_type
)
298 signature
= new MMSignature(params
, null, local_class
.get_type
)
303 # Concrete NIT class specialization relation
306 # The related AST node
307 readable attr _node
: ASuperclass
308 redef readable attr _local_class
: MMLocalClass
310 init(n
: ASuperclass, c
: MMLocalClass)
317 ###############################################################################
319 # A pass visitor for syntax analysis.
320 # * Build the classes and attach them to global classes
321 # * Collect generic formal parameters.
322 private class ClassBuilderVisitor
323 special AbsSyntaxVisitor
324 # Current class arity
325 readable writable attr _local_class_arity
: Int
327 # Current class formal parameters
328 readable writable attr _formals
: Map[Symbol, MMTypeFormalParameter]
330 redef meth visit
(n
) do n
.accept_class_builder
(self)
334 # Another pass visitor for syntax analysis.
335 # * Build ancertors (with only class informations not the type one)
336 private class ClassSpecializationBuilderVisitor
337 special AbsSyntaxVisitor
338 redef meth visit
(n
) do n
.accept_class_specialization_builder
(self)
342 # Another pass visitor for syntax analysis.
343 # * Compute types in ancestors
344 private class ClassAncestorBuilder
345 special AbsSyntaxVisitor
346 redef meth visit
(n
) do n
.accept_class_ancestor_builder
(self)
350 # Another pass visitor for syntax analysis.
351 # * Checks classes in regard to superclasses
352 private class ClassVerifierVisitor
353 special AbsSyntaxVisitor
354 redef meth visit
(n
) do n
.accept_class_verifier
(self)
359 # Another pass visitor for syntax analysis.
360 # * Build propertie names
361 # * Build local properties and attache them to global properties
362 # * Attach bound to formal types
363 private class PropertyBuilderVisitor
364 special AbsSyntaxVisitor
365 redef meth visit
(n
) do n
.accept_property_builder
(self)
369 # Another pass pass visitor for syntax analysis.
370 # * Check property conformance
371 private class PropertyVerifierVisitor
372 special AbsSyntaxVisitor
373 # Current visited parameter types
374 readable writable attr _params
: Array[PParam]
376 # Visited parameters without type information added
377 readable writable attr _untyped_params
: Array[PParam]
379 # Position of the current star parameter
380 readable writable attr _vararg_rank
: Int
383 readable writable attr _signature
: MMSignature
385 redef meth visit
(n
) do n
.accept_property_verifier
(self)
390 ###############################################################################
393 private meth accept_class_builder
(v
: ClassBuilderVisitor) do accept_abs_syntax_visitor
(v
)
394 private meth accept_class_specialization_builder
(v
: ClassSpecializationBuilderVisitor) do accept_abs_syntax_visitor
(v
)
395 private meth accept_class_ancestor_builder
(v
: ClassAncestorBuilder) do accept_abs_syntax_visitor
(v
)
396 private meth accept_class_verifier
(v
: ClassVerifierVisitor) do accept_abs_syntax_visitor
(v
)
397 private meth accept_property_builder
(v
: PropertyBuilderVisitor) do accept_abs_syntax_visitor
(v
)
398 private meth accept_property_verifier
(v
: PropertyVerifierVisitor) do accept_abs_syntax_visitor
(v
)
402 # Import supermodules and compute visibility
403 meth import_super_modules
(tc
: ToolContext, mod
: MMSrcModule)
405 # Import super-modules
406 var module_names_to_import
= new Array[Symbol]
407 var module_visibility
= new HashMap[Symbol, Int]
408 var no_import
: PImport = null
409 for i
in n_imports
do
410 var n
= i
.module_name
412 module_names_to_import
.add
(n
)
413 module_visibility
[n
] = i
.visibility_level
418 if no_import
!= null then
419 if not module_names_to_import
.is_empty
then
420 tc
.error
("{no_import.locate}: Error: Top modules cannot import other modules.")
422 else if module_names_to_import
.is_empty
then
423 var stdname
= once
"standard".to_symbol
424 module_names_to_import
.add
(stdname
)
425 module_visibility
[stdname
] = 1
428 mod
.import_supers_modules
(module_names_to_import
)
430 for mname
in module_names_to_import
do
431 var level
= module_visibility
[mname
]
432 var m
= tc
.get_module
(mname
, mod
)
433 mod
.add_super_module
(m
, level
)
438 redef class APackagedecl
439 redef meth accept_class_builder
(v
)
441 if n_id
.to_symbol
!= v
.module.name
then
442 v
.error
(n_id
, "Error: Package name missmatch between {v.module.name} and {n_id.to_symbol}")
448 # Imported module name (or null)
449 meth module_name
: Symbol is abstract
451 # Visibility level (intrude/public/private)
452 meth visibility_level
: Int is abstract
455 redef meth module_name
457 return n_id
.to_symbol
459 redef meth visibility_level
461 return n_visibility
.level
464 redef class ANoImport
465 redef meth module_name
471 redef class PVisibility
473 meth level
: Int is abstract
475 redef class APublicVisibility
476 redef meth level
do return 1
478 redef class AProtectedVisibility
479 redef meth level
do return 2
481 redef class APrivateVisibility
482 redef meth level
do return 3
484 redef class AIntrudeVisibility
485 redef meth level
do return 0
489 redef class PClassdef
490 redef readable attr _local_class
: MMSrcLocalClass
493 meth name
: Symbol is abstract
495 # Number of formal parameters
496 meth arity
: Int do return 0
498 # Visibility of the class
499 meth visibility_level
: Int do return 1
501 redef meth accept_class_builder
(v
)
503 var local_class
: MMSrcLocalClass
505 var local_classes
= mod
.src_local_classes
506 if (local_classes
.has_key
(name
)) then
507 local_class
= local_classes
[name
]
508 if self isa AClassdef then
509 # If we are not a special implicit class then rant
510 v
.error
(self, "Error: A class {name} is already defined at line {local_class.nodes.first.first_token.line}.")
513 local_class
.nodes
.add
(self)
515 local_class
= new MMSrcLocalClass(name
, self, arity
)
516 mod
.add_local_class
(local_class
)
517 local_classes
[name
] = local_class
518 var g
= mod
.global_class_named
(name
)
521 local_class
.new_global
522 g
= local_class
.global
524 local_class
.set_global
(g
)
528 _local_class
= local_class
529 v
.local_class_arity
= 0
530 v
.formals
= new HashMap[Symbol, MMTypeFormalParameter]
536 _local_class
.formal_dict
= v
.formals
540 redef meth accept_abs_syntax_visitor
(v
)
542 v
.local_class
= _local_class
548 redef class PClasskind
549 meth is_interface
: Bool do return false
550 meth is_universal
: Bool do return false
551 meth is_abstract
: Bool do return false
554 redef class AInterfaceClasskind
555 redef meth is_interface
do return true
557 redef class AUniversalClasskind
558 redef meth is_universal
do return true
560 redef class AAbstractClasskind
561 redef meth is_abstract
do return true
564 redef class AClassdef
567 return n_id
.to_symbol
571 return n_formaldefs
.length
573 redef meth accept_class_verifier
(v
)
576 var glob
= _local_class
.global
577 if glob
.intro
== _local_class
then
579 glob
.visibility_level
= visibility_level
580 glob
.is_interface
= n_classkind
.is_interface
581 glob
.is_abstract
= n_classkind
.is_abstract
582 glob
.is_universal
= n_classkind
.is_universal
583 if n_kwredef
!= null then
584 v
.error
(self, "Redef error: No class {name} is imported. Remove the redef keyword to define a new class.")
587 for c
in _local_class
.cshe
.direct_greaters
do
589 if glob
.is_interface
then
590 if cg
.is_universal
then
591 v
.error
(self, "Special error: Interface {name} try to specialise universal class {c.name}.")
592 else if not cg
.is_interface
then
593 v
.error
(self, "Special error: Interface {name} try to specialise class {c.name}.")
595 else if glob
.is_universal
then
596 if not cg
.is_interface
and not cg
.is_universal
then
597 v
.error
(self, "Special error: Universal class {name} try to specialise class {c.name}.")
600 if cg
.is_universal
then
601 v
.error
(self, "Special error: Class {name} try to specialise universal class {c.name}.")
611 glob
.check_visibility
(v
, self, v
.module)
612 if n_kwredef
== null then
613 v
.error
(self, "Redef error: {name} is an imported class. Add the redef keyword to refine it.")
617 if glob
.intro
.arity
!= _local_class
.arity
then
618 v
.error
(self, "Redef error: Formal parameter arity missmatch; got {_local_class.arity}, expected {glob.intro.arity}.")
622 not glob
.is_interface
and n_classkind
.is_interface
or
623 not glob
.is_abstract
and n_classkind
.is_abstract
or
624 not glob
.is_universal
and n_classkind
.is_universal
626 v
.error
(self, "Redef error: cannot change kind of class {name}.")
630 redef meth visibility_level
632 return n_visibility
.level
636 redef class AMainClassdef
639 return once
"Sys".to_symbol
643 redef class ATopClassdef
646 return once
"Object".to_symbol
650 class MMSrcTypeFormalParameter
651 special MMTypeFormalParameter
652 # The associated node
653 readable attr _node
: AFormaldef
655 init(name
: Symbol, pos
: Int, local_class
: MMLocalClass, n
: AFormaldef)
657 super(name
, pos
, local_class
)
662 redef class AFormaldef
663 # The associated formal generic parameter (MM entity)
664 attr _formal
: MMSrcTypeFormalParameter
666 redef meth accept_class_builder
(v
)
668 var name
= n_id
.to_symbol
669 var formal_type
= new MMSrcTypeFormalParameter(name
, v
.local_class_arity
, v
.local_class
, self)
670 _formal
= formal_type
671 v
.local_class_arity
= v
.local_class_arity
+ 1
672 v
.local_class
.register_formal
(formal_type
)
673 v
.formals
[name
] = formal_type
677 redef meth accept_class_verifier
(v
)
680 var c
= v
.local_class
681 var o
= c
.global
.intro
683 if n_type
== null then
684 _formal
.bound
= v
.module.type_any
686 _formal
.bound
= n_type
.get_stype
(v
)
689 var ob
= o
.get_formal
(_formal
.position
).bound
.for_module
(v
.module)
690 if n_type
== null then
693 _formal
.bound
= n_type
.get_stype
(v
)
694 if _formal
.bound
!= ob
then
695 v
.error
(self, "Redef error: Cannot change formal parameter type of class {c}; got {_formal.bound}, expected {ob}.")
702 redef class ASuperclass
703 readable attr _ancestor
: MMSrcAncestor
705 redef meth accept_class_specialization_builder
(v
)
708 var c
= n_type
.get_local_class
(v
)
709 var ancestor
= new MMSrcAncestor(self, c
)
711 v
.local_class
.add_direct_parent
(ancestor
)
714 redef meth accept_class_ancestor_builder
(v
)
717 _ancestor
.stype
= n_type
.get_unchecked_stype
(v
)
718 _ancestor
.inheriter
= v
.local_class
.get_type
721 redef meth accept_class_verifier
(v
)
724 n_type
.check_conform
(v
)
729 # Process and check properties of the property.
730 # * Distinguish inits and methods
731 # * Inherit or check visibility.
732 # * Check redef errors.
733 # * Check forbiden attribute definitions.
734 # * Check signature conformance.
735 private meth process_and_check
(v
: PropertyVerifierVisitor, prop
: MMLocalProperty, has_redef
: Bool, visibility_level
: Int)
737 if prop
.global
.intro
== prop
then
738 do_and_check_intro
(v
, prop
, has_redef
, visibility_level
)
740 do_and_check_redef
(v
, prop
, has_redef
, visibility_level
)
744 # The part of process_and_check when prop is an introduction
745 private meth do_and_check_intro
(v
: PropertyVerifierVisitor, prop
: MMLocalProperty, has_redef
: Bool, visibility_level
: Int)
747 var glob
= prop
.global
748 var gbc
= prop
.local_class
.global
749 if v
.local_class
.global
.visibility_level
>= 3 then
750 # Method of private classes are private
753 glob
.visibility_level
= visibility_level
755 v
.error
(self, "Error: No property {prop.local_class}::{prop} is inherited. Remove the redef keyword to define a new property.")
757 if glob
.is_attribute
then
758 if gbc
.is_interface
then
759 v
.error
(self, "Error: Attempt to define attribute {prop} in the interface {prop.local_class}.")
760 else if gbc
.is_universal
then
761 v
.error
(self, "Error: Attempt to define attribute {prop} in the universal class {prop.local_class}.")
763 else if glob
.is_init
then
764 if gbc
.is_interface
then
765 v
.error
(self, "Error: Attempt to define a constructor {prop} in the class {prop.local_class}.")
766 else if gbc
.is_universal
then
767 v
.error
(self, "Error: Attempt to define a constructor {prop} in the universal {prop.local_class}.")
770 if prop
.signature
== null then
772 var supers
= prop
.local_class
.super_methods_named
(prop
.name
)
773 inherit_signature
(v
, prop
, supers
)
775 if prop
.signature
!= null then
777 else if not v
.untyped_params
.is_empty
then
778 v
.error
(v
.untyped_params
.first
, "Error: Untyped parameter.")
780 prop
.signature
= new MMSignature(new Array[MMType], null, v
.local_class
.get_type
)
785 private meth inherit_signature
(v
: PropertyVerifierVisitor, prop
: MMLocalProperty, supers
: Array[MMLocalProperty])
787 var s
= prop
.signature
789 var isig
= ip
.signature
.adaptation_to
(v
.local_class
.get_type
)
792 if v
.params
.length
!= isig
.arity
then
793 #prop.node.printl("v.params.length {v.params.length} != isig.arity {isig.arity} ; {prop.full_name} vs {ip.full_name}")
797 var t
= isig
[p
.position
]
799 if p
.position
== isig
.vararg_rank
then
811 # The part of process_and_check when prop is a redefinition
812 private meth do_and_check_redef
(v
: PropertyVerifierVisitor, prop
: MMLocalProperty, has_redef
: Bool, visibility_level
: Int)
814 var is_init
= self isa AConcreteInitPropdef
815 var glob
= prop
.global
817 if not has_redef
then
818 v
.error
(self, "Redef error: {prop.local_class}::{prop} is an inherited property. To redefine it, add the redef keyword.")
821 if glob
.is_init
and not is_init
then
822 v
.error
(self, "Redef error: A method {prop.local_class}::{prop} cannot redefine a constructor.")
823 else if not glob
.is_init
and is_init
then
824 v
.error
(self, "Redef error: A constructor {prop.local_class}::{prop} cannot redefine a method.")
827 var s
= prop
.signature
828 #print "process {prop.local_class.module}::{prop.local_class}::{prop} from global {prop.global.local_property.local_class.module}::{prop.global.local_property.local_class}::{prop.global.local_property}"
829 for i
in prop
.prhe
.direct_greaters
do
830 var ip
= i
.local_class
[prop
.global
]
831 var isig
= i
.signature
.adaptation_to
(v
.local_class
.get_type
)
834 #print "{prop.full_name} inherits signature from {ip.full_name}"
835 if v
.params
.length
!= isig
.arity
then
836 v
.error
(self, "Redef error: {prop.local_class}::{prop} redefines {ip.local_class}::{ip} with {isig.arity} parameter(s).")
840 var t
= isig
[p
.position
]
842 if p
.position
== isig
.vararg_rank
then
851 #print "orig signature: {i.signature.recv} . {i.signature}"
852 #print "inh signature: {isig.recv} . {isig}"
853 #print "redef signature: {s.recv} . {s}"
855 if glob
.is_init
and i
.local_class
.global
!= prop
.local_class
.global
then
856 # Do not check signature
857 else if s
.arity
!= isig
.arity
then
858 v
.error
(self, "Redef error: {prop.local_class}::{prop} redefines {ip.local_class}::{ip} with {isig.arity} parameter(s).")
860 for i
in [0..s
.arity
[ do
861 if s
[i
] != isig
[i
] then
862 v
.error
(self, "Redef error: Expected {isig[i]} (as in {ip.local_class}::{ip}), got {s[i]} in {prop.local_class}::{prop}.")
867 var srt
= s
.return_type
868 var isrt
= isig
.return_type
869 if srt
== null and isrt
!= null then
870 v
.error
(self, "Redef error: The procedure {prop.local_class}::{prop} redefines the function {ip.local_class}::{ip}.")
871 else if srt
!= null and isrt
== null then
872 v
.error
(self, "Redef error: The function {prop.local_class}::{prop} redefines the procedure {ip.local_class}::{ip}.")
873 else if srt
!= null and isrt
!= null and not srt
< isrt
then
874 v
.error
(self, "Redef error: Expected {isrt} (as in {ip.local_class}::{ip}), got {srt} in {prop.local_class}::{prop}.")
875 else if srt
!= null and isrt
!= null and srt
!= isrt
and prop
isa MMAttribute then
877 v
.warning
(self, "Redef warning: Expected {isrt} (as in {ip.local_class}::{ip}), got {srt} in {prop.local_class}::{prop}.")
881 if visibility_level
!= 1 and glob
.visibility_level
!= visibility_level
then
882 v
.error
(self, "Redef error: {prop.local_class}::{prop} redefinition cannot change visibility.")
884 glob
.check_visibility
(v
, self, v
.module, true)
888 redef class AAttrPropdef
889 redef readable attr _readmethod
: MMSrcMethod
890 redef readable attr _writemethod
: MMSrcMethod
891 redef readable attr _prop
: MMSrcAttribute
893 redef meth accept_property_builder
(v
)
896 var name
= n_id
.to_symbol
897 var prop
= new MMSrcAttribute(name
, v
.local_class
, self)
899 v
.local_class
.add_src_local_property
(v
, prop
)
901 if n_readable
!= null then
902 name
= n_id
.text
.substring_from
(1).to_symbol
903 _readmethod
= new MMReadImplementationMethod(name
, v
.local_class
, self)
904 v
.local_class
.add_src_local_property
(v
, _readmethod
)
906 if n_writable
!= null then
907 name
= (n_id
.text
.substring_from
(1) + "=").to_symbol
908 _writemethod
= new MMWriteImplementationMethod(name
, v
.local_class
, self)
909 v
.local_class
.add_src_local_property
(v
, _writemethod
)
913 redef meth accept_property_verifier
(v
)
917 if n_type
!= null then
918 t
= n_type
.get_stype
(v
)
920 v
.error
(self, "Not yet implemented: Attribute definition {_prop.local_class}::{_prop} requires an explicit type.")
924 var signature
= new MMSignature(new Array[MMType], t
, v
.local_class
.get_type
)
925 _prop
.signature
= signature
926 var visibility_level
= n_visibility
.level
927 process_and_check
(v
, _prop
, n_kwredef
!= null, visibility_level
)
928 if n_readable
!= null then
929 _readmethod
.signature
= signature
930 process_and_check
(v
, _readmethod
, n_readable
.n_kwredef
!= null, visibility_level
)
931 n_type
.check_visibility
(v
, _readmethod
)
933 if n_writable
!= null then
934 _writemethod
.signature
= new MMSignature(new Array[MMType].with
(t
), null, v
.local_class
.get_type
)
935 process_and_check
(v
, _writemethod
, n_writable
.n_kwredef
!= null, visibility_level
)
936 n_type
.check_visibility
(v
, _writemethod
)
940 redef meth accept_abs_syntax_visitor
(v
)
942 v
.local_property
= prop
944 v
.local_property
= null
948 redef class AMethPropdef
950 readable attr _name
: Symbol
952 redef readable attr _method
: MMMethSrcMethod
954 redef meth accept_property_builder
(v
)
957 if n_methid
== null then
958 if self isa AConcreteInitPropdef then
959 _name
= once
"init".to_symbol
961 _name
= once
"main".to_symbol
964 _name
= n_methid
.name
965 # FIXME: Add the 'unary' keyword
966 if n_methid
.name
== (once
"-".to_symbol
) then
968 if ns
isa ASignature and ns
.n_params
.length
== 0 then
969 _name
= once
"unary -".to_symbol
973 var prop
= new MMMethSrcMethod(_name
, v
.local_class
, self)
975 v
.local_class
.add_src_local_property
(v
, prop
)
978 redef meth accept_property_verifier
(v
)
980 v
.params
= new Array[PParam]
981 v
.untyped_params
= new Array[PParam]
987 if v
.signature
== null then
988 #_method.signature = new MMSignature(new Array[MMType], null, v.local_class.get_type)
990 _method
.signature
= v
.signature
992 var visibility_level
= 1
993 if n_visibility
!= null and n_visibility
.level
> 1 then
994 visibility_level
= n_visibility
.level
996 process_and_check
(v
, _method
, n_kwredef
!= null, visibility_level
)
997 if n_signature
!= null then n_signature
.check_visibility
(v
, _method
)
1000 redef meth accept_abs_syntax_visitor
(v
)
1002 v
.local_property
= method
1004 v
.local_property
= null
1008 redef class AMainMethPropdef
1009 redef meth process_and_check
(v
, prop
, has_redef
, visibility_level
)
1011 prop
.global
.visibility_level
= visibility_level
1012 prop
.signature
= new MMSignature(new Array[MMType], null, v
.local_class
.get_type
)
1013 # Disable all checks for main
1017 redef class ATypePropdef
1018 redef readable attr _prop
: MMSrcTypeProperty
1020 redef meth accept_property_builder
(v
)
1023 var name
= n_id
.to_symbol
1024 var prop
= new MMSrcTypeProperty(name
, v
.local_class
, self)
1026 v
.local_class
.add_src_local_property
(v
, prop
)
1029 redef meth accept_property_verifier
(v
)
1032 var signature
= new MMSignature(new Array[MMType], n_type
.get_stype
(v
), v
.local_class
.get_type
)
1033 _prop
.signature
= signature
1034 var visibility_level
= n_visibility
.level
1035 process_and_check
(v
, _prop
, n_kwredef
!= null, visibility_level
)
1038 redef meth accept_abs_syntax_visitor
(v
)
1040 v
.local_property
= prop
1042 v
.local_property
= null
1046 # Visitor used to build a full method name from multiple tokens
1047 private class MethidAccumulator
1049 readable attr _name
: String
1053 _name
.append
(n
.text
)
1067 readable attr _name
: Symbol
1069 redef meth accept_property_builder
(v
)
1071 var accumulator
= new MethidAccumulator
1072 accumulator
.visit
(self)
1073 _name
= accumulator
.name
.to_symbol
1078 redef class PSignature
1079 # Check that visibilities of types in the signature are compatible with the visibility of the property.
1080 meth check_visibility
(v
: AbsSyntaxVisitor, p
: MMLocalProperty) is abstract
1083 redef class ASignature
1084 redef meth accept_property_verifier
(v
)
1087 if not v
.untyped_params
.is_empty
then
1088 if v
.untyped_params
.first
!= v
.params
.first
or n_type
!= null then
1089 v
.error
(v
.untyped_params
.first
, "Syntax error: untyped parameter.")
1092 else if not v
.params
.is_empty
or n_type
!= null then
1093 var pars
= new Array[MMType]
1094 for p
in v
.params
do
1097 var ret
: MMType = null
1098 if n_type
!= null then
1099 ret
= n_type
.get_stype
(v
)
1101 v
.signature
= new MMSignature(pars
, ret
, v
.local_class
.get_type
)
1102 if v
.vararg_rank
>= 0 then
1103 v
.signature
.vararg_rank
= v
.vararg_rank
1108 redef meth check_visibility
(v
, p
)
1110 if p
.global
.visibility_level
>= 3 then return
1111 for n
in n_params
do
1112 if n
.n_type
!= null then n
.n_type
.check_visibility
(v
, p
)
1114 if n_type
!= null then n_type
.check_visibility
(v
, p
)
1119 redef readable attr _position
: Int
1121 redef readable attr _variable
: Variable
1123 # The type of the parameter in signature
1124 readable writable attr _stype
: MMType
1126 redef meth accept_property_verifier
(v
)
1129 _position
= v
.params
.length
1130 _variable
= new Variable(n_id
.to_symbol
, self)
1132 v
.untyped_params
.add
(self)
1133 if n_type
!= null then
1134 var stype
= n_type
.get_stype
(v
)
1135 for p
in v
.untyped_params
do
1138 if v
.vararg_rank
== -1 then
1139 v
.vararg_rank
= p
.position
1141 v
.error
(self, "Error: A vararg parameter is already defined.")
1143 stype
= v
.type_array
(stype
)
1145 p
.variable
.stype
= stype
1147 v
.untyped_params
.clear
1151 meth is_vararg
: Bool is abstract
1155 redef meth is_vararg
do return n_dotdotdot
!= null
1159 # Check that visibilities of types in the signature are compatible with the visibility of the property.
1160 private meth check_visibility
(v
: AbsSyntaxVisitor, p
: MMLocalProperty) is abstract
1164 redef meth check_visibility
(v
, p
)
1166 if p
.global
.visibility_level
>= 3 then return
1167 var t
= get_stype
(v
)
1168 if t
== null then return
1169 var bc
= t
.local_class
1170 if bc
== null then return
1171 if bc
.global
.visibility_level
>= 3 then
1172 v
.error
(self, "Access error: Class {bc} is private and cannot be used in the signature of the non-private property {p}.")
1175 n
.check_visibility
(v
, p
)
1181 redef meth accept_class_builder
(v
) do end
1182 redef meth accept_property_builder
(v
) do end
1183 redef meth accept_property_verifier
(v
) do end