Merge branch 'fix-ni' into wip

[nit.git] / src / syntax / mmbuilder.nit

# This file is part of NIT ( http://www.nitlanguage.org ).
#
# Copyright 2008 Jean Privat <jean@pryen.org>
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
#     http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.

# Build MM entity from NIT AST and check conformance of these entities.
# This module introduce specific MM class (MMSrcXXX) that specialize the abstract one from metamodel
#
package mmbuilder

import syntax_base
private import primitive_info

redef class ToolContext
        redef fun handle_property_conflict(lc, impls)
        do
                var location: nullable Location = null
                if lc isa MMSrcLocalClass then
                        var node = lc.node
                        if node != null then node.location
                end
                #if location == null then location = lc.mmmodule.location
                var clas = new Array[MMLocalClass]
                for i in impls do
                        clas.add(i.local_class)
                end
                self.fatal_error(location, "Property inheritance conflict in class {lc} for `{impls.first.name}': conflicting properties are defined in {clas.join(", ")}")
        end
end

# Class specialization hierarchy sorter
private class CSHSorter
        super AbstractSorter[MMLocalClass]
        redef fun compare(a, b)
        do
                return a.cshe.rank <=> b.cshe.rank
        end

        init do end
end

redef class MMSrcModule
        # Syntax analysis and MM construction for the module
        # Require that supermodules are processed
        fun do_mmbuilder(tc: ToolContext)
        do
                # Import global classes
                import_global_classes

                # Create local classes and attach them to global classes
                var mmbv = new ClassBuilderVisitor(tc, self)
                mmbv.enter_visit(node)
                tc.check_errors

                if mhe.direct_greaters.is_empty then
                        process_default_classes(tc)
                end

                # Import unrefined local classes and attach them to global classes
                import_local_classes

                # Resolve classes in super clauses
                var mmbv1 = new ClassSpecializationBuilderVisitor(tc, self)
                mmbv1.enter_visit(node)
                tc.check_errors

                # Compute specialization relation
                for c in local_classes do
                        if visibility_for(c.global.intro.mmmodule) < c.global.visibility_level then
                                continue
                        end
                        c.compute_super_classes
                end
                tc.check_errors

                # Class that we will process now are those in the hierarchy
                # Its mean all the visible classes and their super-classes
                # Note that leaves invisible classes are not in the 'classes' set
                var classes = class_specialization_hierarchy.to_a

                # Prepare class list to process the following in a right order
                var sorter = once new CSHSorter
                sorter.sort(classes)

                # Compute class ancestors types
                var mmbv1b = new ClassAncestorBuilder(tc, self)
                for c in classes do
                        c.accept_class_visitor(mmbv1b)
                        tc.check_errors
                        c.compute_ancestors
                end

                # Check class conformity
                var mmbv1c = new ClassVerifierVisitor(tc, self)
                for c in classes do
                        c.accept_class_visitor(mmbv1c)
                end
                tc.check_errors

                # Property inhritance and introduction
                var mmbv2 = new PropertyBuilderVisitor(tc, self)
                for c in classes do
                        # Global property introduction and redefinition 
                        c.accept_class_visitor(mmbv2)

                        # Default and inherited constructor if needed
                        if c isa MMSrcLocalClass and c.global.intro == c and not c.global.is_enum and not c.global.is_extern and not c.global.is_interface then
                                c.process_default_constructors(mmbv2)
                        end

                        # Note that inherited unredefined property are processed on demand latter
                end
                tc.check_errors

                # Property signature analysis and inheritance conformance
                var mmbv3 = new PropertyVerifierVisitor(tc, self)
                for c in classes do
                        c.accept_properties_visitor(mmbv3)
                end

                tc.check_errors
        end

        # Create some primitive default classes if they do not exists
        fun process_default_classes(tc: ToolContext)
        do
                var name = once ("Object".to_symbol)
                if not has_global_class_named(name) then
                        var c = new MMSrcLocalClass(self, name, null, 0)
                        c.new_global
                        src_local_classes[name] = c
                end
                name = once ("Bool".to_symbol)
                if not has_global_class_named(name) then
                        var c = new MMSrcLocalClass(self, name, null, 0)
                        c.new_global
                        src_local_classes[name] = c
                end
        end
end

redef class MMLocalClass
        # Accept a class visitor (on class nodes)
        private fun accept_class_visitor(v: AbsSyntaxVisitor)
        do
        end

        # Accept a class visitor (on class properties)
        private fun accept_properties_visitor(v: AbsSyntaxVisitor)
        do
        end
end

redef class MMSrcLocalClass
        redef fun accept_class_visitor(v)
        do
                var n = node
                while n != null do
                        v.enter_visit(n)
                        n = n.next_node
                end
        end

        # Accept a class visitor (on class properties)
        redef fun accept_properties_visitor(v)
        do
                var n = node
                while n != null do
                        v.enter_visit(n)
                        n = n.next_node
                end

                for p in src_local_properties.values do
                        p.accept_property_visitor(v)
                end
        end

        # Introduce or inherit default constructors
        private fun process_default_constructors(v: PropertyBuilderVisitor)
        do
                # Is there already a constructor ?
                for gp in global_properties do
                        if gp.is_init then
                                # Return if explicit constructor in the class
                                if gp.intro.local_class == self then return
                        end
                end

                # Collect visible constructors in super stateful classes
                var super_inits = new ArraySet[MMLocalProperty]
                var super_constructors = new ArraySet[MMGlobalProperty]
                for sc in che.direct_greaters do
                        if sc.global.is_enum and not sc.global.is_extern or sc.global.is_interface then continue
                        for gp in sc.global_properties do
                                if not gp.is_init then continue
                                super_constructors.add(gp)
                        end
                        var initname = once ("init".to_symbol)
                        if sc.has_global_property_by_name(initname) then
                                var gp = sc.get_property_by_name(initname)
                                super_inits.add(self[gp])
                        end
                end

                # Collect unassigned attributes
                var unassigned_attributes = new Array[MMSrcAttribute]
                for a in src_local_properties.values do
                        if a isa MMSrcAttribute then
                                var n = a.node
                                if n.n_expr == null then unassigned_attributes.add(a)
                        end
                end

                if not super_constructors.is_empty then
                        # Select most specific classes introducing inheritable constructors
                        # Mixin classes are skipped
                        var supers = new Array[MMLocalClass]
                        for gp in super_constructors do
                                var sc = gp.local_class
                                if supers.has(sc) then continue
                                if not sc.global.is_mixin then
                                        supers.add(sc)
                                end
                        end
                        supers = che.order.select_smallests(supers)

                        # A mixin class can only have 0 or 1 most specific non-mixin superclass
                        var superclass: nullable MMLocalClass = null # This most specific non-mixin superclass (if any)

                        if supers.length > 1 then
                                v.error(node, "Error: Explicit constructor required in {self} since multiple inheritance of constructor is forbiden. Conflicting classes are {supers.join(", ")}. Costructors are {super_constructors.join(", ")}.")
                                return
                        else if supers.length == 1 then
                                superclass = supers.first
                        end

                        for gp in super_constructors do
                                # Inherit constructors : the one of the non-mixin super class or all from the all mixin super-classes
                                if superclass == null or gp.local_class == superclass then
                                        make_visible_an_inherited_global_property(gp)
                                end
                        end
                        global.mixin_of = superclass.as(not null).global # FIXME Dear! this should break!
                else
                        # v.error(nodes.first, "Error, constructor required in {self} since no anonimous init found in {sc}.")

                        # unassigned attributes, then implicit consructors are generated
                        var p = new MMImplicitInit(self, unassigned_attributes, super_inits.to_a)
                        add_src_local_property(v, p)
                        #print("Create implicit init {p} in {self} from {super_inits.join(", ")} + {unassigned_attributes.length} args")
                end
        end

        # Add a source property
        # Register it to the class and attach it to global property
        private fun add_src_local_property(v: PropertyBuilderVisitor, prop: MMLocalProperty)
        do
                var pname = prop.name
                # Check double definition in the same class
                if src_local_properties.has_key(pname) then
                        v.error(prop.node, "Error: A property {pname} is already defined in class {name}.")
                        return
                end
                src_local_properties[pname] = prop

                # Intro or redefinition ?
                if has_global_property_by_name(pname) then
                        var g = get_property_by_name(pname)
                        prop.inherit_global(g)
                end

                if not prop.is_global_set then
                        prop.new_global
                        prop.global.is_init = prop.is_init
                end
        end
end

redef class MMLocalProperty
        private fun accept_property_visitor(v: AbsSyntaxVisitor)
        do
        end
end

redef class MMImplicitInit
        redef readable var _super_init: nullable MMLocalProperty = null
        redef fun accept_property_visitor(v)
        do
                var base: nullable MMLocalProperty = null
                for p in super_inits do
                        if p.signature.arity > 0 then
                                if base == null then
                                        base = p
                                else
                                        v.error(null, "Error: explicit constructor needed in {local_class} since both super-constructor {base.full_name} and {p.full_name} have paramters")
                                        return
                                end
                        end
                end
                _super_init = base

                var params = new Array[MMParam]
                if base != null then
                        var sig = base.signature
                        for i in [0..sig.arity[ do
                                params.add(sig.params[i])
                        end
                end
                for a in unassigned_attributes do
                        var sig = a.signature
                        if sig == null then return # Broken attribute definition
                        var name = a.name
                        if name.to_s.first == '_' or name.to_s.first == '@' then
                                name = a.to_s.substring_from(1).to_symbol
                        end
                        params.add(new MMParam(sig.return_type.as(not null), name))
                end
                signature = new MMSignature(params, null, local_class.get_type)
        end
end


# Concrete NIT class specialization relation
class MMSrcAncestor
        super MMAncestor
        redef readable var _local_class: MMLocalClass

        init(c: MMLocalClass)
        do
                _local_class = c
        end
end

###############################################################################

# A pass visitor for syntax analysis.
# * Build the classes and attach them to global classes
# * Collect generic formal parameters.
private class ClassBuilderVisitor
        super AbsSyntaxVisitor
        # Current class arity
        readable writable var _local_class_arity: Int = 0

        # Current class formal parameters
        readable writable var _formals: nullable Map[Symbol, MMTypeFormalParameter]

        redef fun visit(n) do n.accept_class_builder(self)
        init(tc, m) do super
end

# Another pass visitor for syntax analysis.
# * Build ancertors (with only class informations not the type one)
private class ClassSpecializationBuilderVisitor
        super AbsSyntaxVisitor
        redef fun visit(n) do n.accept_class_specialization_builder(self)
        init(tc, m) do super
end

# Another pass visitor for syntax analysis.
# * Compute types in ancestors
private class ClassAncestorBuilder
        super AbsSyntaxVisitor
        redef fun visit(n) do n.accept_class_ancestor_builder(self)
        init(tc, m) do super
end

# Another pass visitor for syntax analysis.
# * Checks classes in regard to superclasses
private class ClassVerifierVisitor
        super AbsSyntaxVisitor
        redef fun visit(n) do n.accept_class_verifier(self)
        init(tc, m) do super
end


# Another pass visitor for syntax analysis.
# * Build propertie names
# * Build local properties and attache them to global properties
# * Attach bound to formal types
private class PropertyBuilderVisitor
        super AbsSyntaxVisitor
        redef fun visit(n) do n.accept_property_builder(self)
        init(tc, m) do super
end

# Another pass pass visitor for syntax analysis.
# * Check property conformance
private class PropertyVerifierVisitor
        super AbsSyntaxVisitor

        # The signature currently build
        readable writable var _signature_builder: SignatureBuilder

        redef fun visit(n) do n.accept_property_verifier(self)

        init(tc, m)
        do
                super
                _signature_builder = new SignatureBuilder
        end
end

# Information about a signature currently build
private class SignatureBuilder
        # Current visited parameter types
        readable writable var _params: Array[AParam] = new Array[AParam]
        
        # Visited parameters without type information added
        readable writable var _untyped_params: Array[AParam] = new Array[AParam]

        # Position of the current star parameter
        readable writable var _vararg_rank: Int = -1

        # Current closure declarations
        readable writable var _closure_decls: Array[AClosureDecl] = new Array[AClosureDecl]

        # True is a problen occured durring building
        readable writable var _has_error_occured: Bool = false

        # Current signature
        readable writable var _signature: nullable MMSignature = null 
end

###############################################################################

redef class ANode
        private fun accept_class_builder(v: ClassBuilderVisitor) do accept_abs_syntax_visitor(v)
        private fun accept_class_specialization_builder(v: ClassSpecializationBuilderVisitor) do accept_abs_syntax_visitor(v)
        private fun accept_class_ancestor_builder(v: ClassAncestorBuilder) do accept_abs_syntax_visitor(v)
        private fun accept_class_verifier(v: ClassVerifierVisitor) do accept_abs_syntax_visitor(v)
        private fun accept_property_builder(v: PropertyBuilderVisitor) do accept_abs_syntax_visitor(v)
        private fun accept_property_verifier(v: PropertyVerifierVisitor) do accept_abs_syntax_visitor(v)
end

redef class AModule
        # Import supermodules and compute visibility
        fun import_super_modules(tc: ToolContext, mod: MMSrcModule)
        do
                # Import super-modules
                var supers = new Array[MMModule]
                var no_import: nullable AImport = null
                for i in n_imports do
                        var n = i.module_name
                        if n != null then
                                var m = tc.get_module(n, mod)
                                supers.add(m)
                                mod.add_super_module(m, i.visibility_level)
                        else
                                no_import = i
                        end
                end
                if no_import != null then
                        if not supers.is_empty then
                                tc.error(no_import.location, "Error: Top modules cannot import other modules.")
                        end
                else if supers.is_empty then
                        var stdname = once "standard".to_symbol
                        var m = tc.get_module(stdname, mod)
                        supers.add(m)
                        mod.add_super_module(m, 1)
                end

                tc.add_module(mod, supers)
        end
end

redef class AModuledecl
        redef fun accept_class_builder(v)
        do
                if n_name.n_id.to_symbol != v.mmmodule.name then
                        v.error(n_name.n_id, "Error: Module name mismatch between {v.mmmodule.name} and {n_name.n_id.to_symbol}")
                end
        end
end

redef class AImport
        # Imported module name (or null)
        fun module_name: nullable Symbol is abstract

        # Visibility level (intrude/public/private)
        fun visibility_level: Int is abstract
end
redef class AStdImport
        redef fun module_name
        do
                return n_name.n_id.to_symbol
        end
        redef fun visibility_level
        do
                return n_visibility.level
        end
end
redef class ANoImport
        redef fun module_name
        do
                return null
        end
end

redef class AVisibility
        # Visibility level
        fun level: Int is abstract
end
redef class APublicVisibility
        redef fun level do return 1
end
redef class AProtectedVisibility
        redef fun level do return 2
end
redef class APrivateVisibility
        redef fun level do return 3
end
redef class AIntrudeVisibility
        redef fun level do return 0
end


redef class AClassdef
        redef fun local_class: MMSrcLocalClass do return _local_class.as(not null)
        var _local_class: nullable MMSrcLocalClass

        # Name of the class
        fun name: Symbol is abstract

        # Number of formal parameters
        fun arity: Int do return 0

        # Visibility of the class
        fun visibility_level: Int do return 1

        redef fun accept_class_builder(v)
        do
                var local_class: MMSrcLocalClass
                var mod = v.mmmodule
                var local_classes = mod.src_local_classes
                if local_classes.has_key(name) then
                        local_class = local_classes[name]
                        _local_class = local_class
                        if self isa AStdClassdef then
                                # If we are not a special implicit class then rant
                                v.error(self, "Error: A class {name} is already defined at line {local_class.node.location.line_start}.")
                                return
                        end
                        # Add the new node after the last node
                        var n = local_class.node
                        while n.next_node != null do n = n.next_node
                        n.next_node = self
                else
                        local_class = new MMSrcLocalClass(mod, name, self, arity)
                        _local_class = local_class
                        local_classes[name] = local_class
                        if not mod.has_global_class_named(name) then
                                build_class_introduction(v)
                        else
                                var glob = mod.global_class_named(name)
                                build_class_refinement(v, glob)
                        end

                end
                v.local_class_arity = 0
                v.formals = local_class.formal_dict

                #####
                super
                #####

                v.formals = null
        end

        fun build_class_introduction(v: AbsSyntaxVisitor)
        do
                local_class.new_global
                var glob = local_class.global

                glob.visibility_level = visibility_level
                if self isa AStdClassdef then
                        if n_kwredef != null then
                                v.error(self, "Redef error: No class {name} is imported. Remove the redef keyword to define a new class.")
                                return
                        end
                        glob.is_interface = n_classkind.is_interface
                        glob.is_abstract = n_classkind.is_abstract
                        glob.is_enum = n_classkind.is_enum
                end
        end

        fun build_class_refinement(v: AbsSyntaxVisitor, glob: MMGlobalClass)
        do
                local_class.set_global(glob)

                glob.check_visibility(v, self, v.mmmodule)
                if self isa AStdClassdef and n_kwredef == null then
                        v.error(self, "Redef error: {name} is an imported class. Add the redef keyword to refine it.")
                        return
                end

                if glob.intro.arity != _local_class.arity then
                        v.error(self, "Redef error: Formal parameter arity missmatch; got {_local_class.arity}, expected {glob.intro.arity}.")
                end

                if self isa AStdClassdef and (not glob.is_interface and n_classkind.is_interface or
                        not glob.is_abstract and n_classkind.is_abstract or
                        not glob.is_enum and n_classkind.is_enum)
                then
                        v.error(self, "Redef error: cannot change kind of class {name}.")
                end
        end

        redef fun accept_class_verifier(v)
        do
                super
                var glob = _local_class.global
                for c in _local_class.cshe.direct_greaters do
                        var cg = c.global
                        if glob.is_interface then
                                if cg.is_enum then
                                        v.error(self, "Special error: Interface {name} try to specialise enum class {c.name}.")
                                else if not cg.is_interface then
                                        v.error(self, "Special error: Interface {name} try to specialise class {c.name}.")
                                end
                        else if glob.is_enum then
                                if not cg.is_interface and not cg.is_enum then
                                        v.error(self, "Special error: Enum class {name} try to specialise class {c.name}.")
                                end
                        else
                                if cg.is_enum then
                                        v.error(self, "Special error: Class {name} try to specialise enum class {c.name}.")
                                end
                        end

                end
        end

        redef fun accept_abs_syntax_visitor(v)
        do
                v.local_class = _local_class
                super
                v.local_class = null
        end
end

redef class AClasskind
        fun is_interface: Bool do return false
        fun is_enum: Bool do return false
        fun is_abstract: Bool do return false
        fun is_extern : Bool do return false
end

redef class AInterfaceClasskind
        redef fun is_interface do return true
end
redef class AEnumClasskind
        redef fun is_enum do return true
end
redef class AExternClasskind
        redef fun is_extern do return true
end
redef class AAbstractClasskind
        redef fun is_abstract do return true
end

redef class AStdClassdef
        redef fun name
        do
                return n_id.to_symbol
        end
        redef fun arity
        do
                return n_formaldefs.length
        end
        redef fun accept_class_specialization_builder(v)
        do
                super

                var glob = local_class.global
                if glob.intro == local_class then
                        glob.is_interface = n_classkind.is_interface
                        glob.is_abstract = n_classkind.is_abstract
                        glob.is_enum = n_classkind.is_enum
                        glob.is_extern = n_classkind.is_extern
                        glob.visibility_level = visibility_level
                end
        end
        redef fun accept_class_verifier(v)
        do
                super
                var glob = _local_class.global
                if glob.intro == _local_class then
                        # Intro
                        if n_kwredef != null then
                                v.error(self, "Redef error: No class {name} is imported. Remove the redef keyword to define a new class.")
                        end
                        if glob.is_extern then
                                glob.mmmodule.is_extern_hybrid = true
                        end

                        for c in _local_class.cshe.direct_greaters do
                                var cg = c.global
                                if glob.is_interface then
                                        if cg.is_enum then
                                                v.error(self, "Special error: Interface {name} try to specialise enum class {c.name}.")
                                        else if not cg.is_interface then
                                                v.error(self, "Special error: Interface {name} try to specialise class {c.name}.")
                                        end
                                else if glob.is_enum then
                                        if not cg.is_interface and not cg.is_enum then
                                                v.error(self, "Special error: Enum class {name} try to specialise class {c.name}.")
                                        end
                                else if glob.is_extern then
                                        if not cg.is_interface and not cg.is_extern then
                                                v.error(self, "Special error: Extern class {name} try to specialise class {c.name}.")
                                        end
                                else
                                        if cg.is_enum then
                                                v.error(self, "Special error: Class {name} try to specialise enum class {c.name}.")
                                        else if cg.is_extern then
                                                v.error(self, "Special error: Class {name} try to specialise extern class {c.name}.")
                                        end
                                end

                        end
                        return
                end

                # Redef

                glob.check_visibility(v, self, v.mmmodule)
                if n_kwredef == null then
                        v.error(self, "Redef error: {name} is an imported class. Add the redef keyword to refine it.")
                        return
                end

                if glob.intro.arity != _local_class.arity then
                        v.error(self, "Redef error: Formal parameter arity mismatch; got {_local_class.arity}, expected {glob.intro.arity}.")
                end

                if 
                        not glob.is_interface and n_classkind.is_interface or
                        not glob.is_abstract and n_classkind.is_abstract or
                        not glob.is_enum and n_classkind.is_enum or
                        not glob.is_extern and n_classkind.is_extern
                then
                        v.error(self, "Redef error: cannot change kind of class {name}.")
                end
        end

        redef fun visibility_level
        do
                return n_visibility.level
        end
end

redef class AMainClassdef
        redef fun name
        do
                return once "Sys".to_symbol
        end
end

redef class ATopClassdef
        redef fun name
        do
                return once "Object".to_symbol
        end
end

redef class AFormaldef
        # The associated formal generic parameter (MM entity)
        var _formal: nullable MMTypeFormalParameter

        redef fun accept_class_builder(v)
        do
                var name = n_id.to_symbol
                var formal_type = new MMTypeFormalParameter(name, v.local_class_arity, v.local_class)
                _formal = formal_type
                v.local_class_arity = v.local_class_arity + 1
                v.local_class.register_formal(formal_type)
                v.formals[name] = formal_type
                super
        end

        redef fun accept_class_verifier(v)
        do
                super
                var c = v.local_class
                var o = c.global.intro
                if c == o then
                        if n_type == null then
                                _formal.bound = v.mmmodule.type_any.as_nullable
                        else
                                var stype = n_type.get_stype(v)
                                if stype == null then return
                                _formal.bound = stype
                        end
                else
                        var ob = o.get_formal(_formal.position).bound.for_module(v.mmmodule)
                        if n_type == null then
                                _formal.bound = ob
                        else
                                var stype = n_type.get_stype(v)
                                if stype == null then return
                                _formal.bound = stype
                                if _formal.bound != ob then
                                        v.error(self, "Redef error: Cannot change formal parameter type of class {c}; got {_formal.bound}, expected {ob}.")
                                end
                        end
                end
        end
end

redef class ASuperclass
        readable var _ancestor: nullable MMSrcAncestor

        redef fun accept_class_specialization_builder(v)
        do
                super
                var c = n_type.get_local_class(v)
                if c == null then return
                var ancestor = new MMSrcAncestor(c)
                _ancestor = ancestor
                v.local_class.add_direct_parent(ancestor)
        end

        redef fun accept_class_ancestor_builder(v)
        do
                super
                _ancestor.stype = n_type.get_unchecked_stype(v)
                _ancestor.inheriter = v.local_class.get_type
        end

        redef fun accept_class_verifier(v)
        do
                super
                n_type.check_conform(v)
        end
end

redef class APropdef
        # Process and check properties of the property.
        # * Distinguish inits and methods
        # * Inherit or check visibility.
        # * Check redef errors.
        # * Check forbiden attribute definitions.
        # * Check signature conformance.
        private fun process_and_check(v: PropertyVerifierVisitor, prop: MMLocalProperty, has_redef: Bool, visibility_level: Int)
        do
                if prop.global.intro == prop then
                        do_and_check_intro(v, prop, has_redef, visibility_level)
                else
                        do_and_check_redef(v, prop, has_redef, visibility_level)
                end
        end

        # The part of process_and_check when prop is an introduction
        private fun do_and_check_intro(v: PropertyVerifierVisitor, prop: MMLocalProperty, has_redef: Bool, visibility_level: Int)
        do
                var glob = prop.global
                var gbc = prop.local_class.global
                if v.local_class.global.visibility_level >= 3 then
                        # Method of private classes are private
                        visibility_level = 3
                end
                glob.visibility_level = visibility_level
                if has_redef then
                        v.error(self, "Error: No property {prop.local_class}::{prop} is inherited. Remove the redef keyword to define a new property.")
                end
                if glob.is_attribute then
                        if gbc.is_interface then
                                v.error(self, "Error: Attempt to define attribute {prop} in the interface {prop.local_class}.")
                        else if gbc.is_enum then
                                v.error(self, "Error: Attempt to define attribute {prop} in the enum class {prop.local_class}.")
                        else if gbc.is_extern then
                                v.error(self, "Error: Attempt to define attribute {prop} in the extern class {prop.local_class}.")
                        end
                else if glob.is_init then
                        if gbc.is_interface then
                                v.error(self, "Error: Attempt to define a constructor {prop} in the class {prop.local_class}.")
                        else if gbc.is_enum then
                                v.error(self, "Error: Attempt to define a constructor {prop} in the enum {prop.local_class}.")
                        end

                        # ok in extern
                end
                if prop.signature == null then
                        if glob.is_init then
                                var supers = prop.local_class.super_methods_named(prop.name)
                                inherit_signature(v, prop, supers)
                        end
                        if prop.signature != null or v.signature_builder.has_error_occured then
                                # ok
                        else if not v.signature_builder.untyped_params.is_empty then
                                v.error(v.signature_builder.untyped_params.first, "Error: Untyped parameter.")
                        else
                                prop.signature = new MMSignature(new Array[MMParam], null, v.local_class.get_type)
                                for clos in v.signature_builder.closure_decls do
                                        prop.signature.closures.add(clos.variable.closure)
                                end
                        end
                end
        end

        private fun inherit_signature(v: PropertyVerifierVisitor, prop: MMLocalProperty, supers: Array[MMLocalProperty])
        do
                var s = prop.signature
                for ip in supers do
                        var isig = ip.signature.adaptation_to(v.local_class.get_type)

                        if s == null then
                                if v.signature_builder.params.length != isig.arity then
                                        return
                                end
                                for p in v.signature_builder.params do
                                        var t = isig[p.position]
                                        p.stype = t
                                        if p.position == isig.vararg_rank then
                                                t = v.type_array(t)
                                        end
                                        p.variable.stype = t
                                end

                                s = isig
                                prop.signature = s
                        end
                end
        end

        # The part of process_and_check when prop is a redefinition
        private fun do_and_check_redef(v: PropertyVerifierVisitor, prop: MMLocalProperty, has_redef: Bool, visibility_level: Int)
        do
                var is_init = self isa AInitPropdef
                var glob = prop.global

                if not has_redef then
                        v.error(self, "Redef error: {prop.local_class}::{prop} is an inherited property. To redefine it, add the redef keyword.")
                        return
                end
                if glob.is_init and not is_init then
                        v.error(self, "Redef error: A method {prop.local_class}::{prop} cannot redefine a constructor.")
                else if not glob.is_init and is_init then
                        v.error(self, "Redef error: A constructor {prop.local_class}::{prop} cannot redefine a method.")
                end

                var s = prop.signature
                #print "process {prop.local_class.mmmodule}::{prop.local_class}::{prop} from global {prop.global.local_property.local_class.mmmodule}::{prop.global.local_property.local_class}::{prop.global.local_property}"
                for i in prop.prhe.direct_greaters do
                        var ip = i.local_class[prop.global]
                        var isig = i.signature
                        if isig == null then break # previous signature is invalid
                        isig = isig.adaptation_to(v.local_class.get_type)

                        if s == null then
                                #print "{prop.full_name} inherits signature from {ip.full_name}"
                                if v.signature_builder.params.length != isig.arity then
                                        v.error(self, "Redef error: {prop.local_class}::{prop} redefines {ip.local_class}::{ip} with {isig.arity} parameter(s).")
                                        return
                                end
                                if v.signature_builder.closure_decls.length != isig.closures.length then
                                        v.error(self, "Redef error: {prop.local_class}::{prop} redefines {ip.local_class}::{ip} with {isig.arity} closure(s).")
                                        return
                                end
                                for p in v.signature_builder.params do
                                        var t = isig[p.position]
                                        p.stype = t
                                        if p.position == isig.vararg_rank then
                                                t = v.type_array(t)
                                        end
                                        p.variable.stype = t

                                        isig.params[p.position].name = p.variable.name
                                end
                                s = isig
                                prop.signature = s
                                #print "s is null"
                        end

                        var nberr = v.tc.error_count
                        #print "Check {prop.local_class}::{prop}{s} vs {ip.local_class}::{ip}{isig}"
                        #print "s={s.object_id} isig={isig.object_id} isigorig={i.signature.object_id}"

                        #print "orig signature:  {i.signature.recv} . {i.signature}"
                        #print "inh signature:   {isig.recv} . {isig}"
                        #print "redef signature: {s.recv} . {s}"

                        if s.arity != isig.arity then
                                v.error(self, "Redef error: {prop.local_class}::{prop} redefines {ip.local_class}::{ip} with {isig.arity} parameter(s).")
                        else if s.arity > 0 then
                                if self isa AMethPropdef then
                                        # A standard method
                                        for j in [0..s.arity[ do
                                                if s[j] != isig[j] then
                                                        v.error(n_signature.n_params[j], "Redef error: Expected {isig[j]}, as in {ip.local_class}::{ip}.")
                                                end
                                        end
                                else if self isa AAttrPropdef then
                                        # A write accessor
                                        if s[0] != isig[0] then
                                                v.error(n_type, "Redef error: Expected {isig[0]}, as in the parameter of {ip.local_class}::{ip}.")
                                        end

                                else
                                        abort #
                                end
                        end

                        var srt = s.return_type
                        var isrt = isig.return_type
                        if srt == null and isrt != null then
                                v.error(self, "Redef error: The procedure {prop.local_class}::{prop} redefines the function {ip.local_class}::{ip}.")
                        else if srt != null and isrt == null then
                                v.error(self, "Redef error: The function {prop.local_class}::{prop} redefines the procedure {ip.local_class}::{ip}.")
                        else if srt != null and isrt != null and not srt < isrt then
                                var n: nullable ANode = null
                                if self isa AMethPropdef then
                                        n = self.n_signature.n_type
                                else if self isa AAttrPropdef then
                                        n = self.n_type
                                else if self isa ATypePropdef then
                                        n = self.n_type
                                end
                                v.error(n, "Redef error: Expected {isrt}, as in {ip.local_class}::{ip}.")
                        else if not s < isig and nberr == v.tc.error_count then
                                # Systematic fallback for conformance check
                                v.error(self, "Redef error: Incompatible redefinition of {ip.local_class}::{ip} with {prop.local_class}::{prop}")
                        else if srt != null and isrt != null and srt != isrt and prop isa MMAttribute then
                                # FIXME: To remove
                                v.warning(self, "Redef warning: Expected {isrt}, as in {ip.local_class}::{ip}.")
                        end
                end

                if visibility_level != 1 and glob.visibility_level != visibility_level then
                        v.error(self, "Redef error: {prop.local_class}::{prop} redefinition cannot change visibility.")
                end
                glob.check_visibility(v, self, v.mmmodule, true)
        end
end

redef class AAttrPropdef
        redef readable var _readmethod: nullable MMSrcMethod
        redef readable var _writemethod: nullable MMSrcMethod
        var _prop: nullable MMSrcAttribute
        redef fun prop do return _prop.as(not null)

        redef fun accept_property_builder(v)
        do
                super
                var name: Symbol
                if n_id != null then
                        name = n_id.to_symbol
                else
                        name = ("@" + n_id2.text).to_symbol
                end
                var lc = v.local_class
                var prop = new MMSrcAttribute(name, lc, self)
                _prop = prop
                v.local_class.add_src_local_property(v, prop)

                if n_readable != null or n_id == null then
                        if n_id != null then
                                name = n_id.text.substring_from(1).to_symbol
                        else
                                name = n_id2.to_symbol
                        end
                        var readmethod = new MMReadImplementationMethod(name, lc, self)
                        _readmethod = readmethod
                        v.local_class.add_src_local_property(v, readmethod)
                end
                if n_writable != null or n_id == null then
                        if n_id != null then
                                name = (n_id.text.substring_from(1) + "=").to_symbol
                        else
                                name = (n_id2.text + "=").to_symbol
                        end
                        var writemethod = new MMWriteImplementationMethod(name, lc, self)
                        _writemethod = writemethod
                        v.local_class.add_src_local_property(v, writemethod)
                end
        end
        
        redef fun accept_property_verifier(v)
        do
                super
                var t: MMType
                if n_type != null then
                        var t0 = n_type.get_stype(v)
                        if t0 != null then t = t0 else return
                else
                        v.error(self, "Not yet implemented: Attribute definition {prop.local_class}::{prop} requires an explicit type.")
                        return
                end

                var prop = prop
                var signature = new MMSignature(new Array[MMParam], t, v.local_class.get_type)
                prop.signature = signature
                var visibility_level = n_visibility.level
                process_and_check(v, prop, n_id != null and n_kwredef != null, visibility_level)
                if n_readable != null or n_id == null then
                        var m = _readmethod.as(not null)
                        m.signature = signature
                        process_and_check(v, m, (n_readable != null and n_readable.n_kwredef != null) or (n_id == null and n_kwredef != null), visibility_level)
                        n_type.check_visibility(v, m)
                end
                if n_writable != null or n_id == null then
                        var m = _writemethod.as(not null)
                        m.signature = new MMSignature(new Array[MMParam].with_items(new MMParam(t, once "value".to_symbol)), null, v.local_class.get_type)
                        var vl = visibility_level
                        if n_id == null then
                                if n_writable == null then vl = 3 else vl = n_writable.n_visibility.level # write accessor has a specific visibility
                        end
                        process_and_check(v, m, n_writable != null and n_writable.n_kwredef != null, vl)
                        n_type.check_visibility(v, m)
                end
        end

        redef fun accept_abs_syntax_visitor(v)
        do
                v.local_property = _prop
                super
                v.local_property = null
        end
end

redef class AMethPropdef
        # Name of the method
        readable var _name: nullable Symbol 

        var _method: nullable MMMethSrcMethod
        redef fun method do return _method.as(not null)

        redef fun accept_property_builder(v)
        do
                super
                var name: Symbol
                if n_methid == null then
                        if self isa AInitPropdef then
                                name = once "init".to_symbol
                        else
                                name = once "main".to_symbol
                        end
                else
                        name = n_methid.name.as(not null)
                        # FIXME: Add the 'unary' keyword
                        if n_methid.name == (once "-".to_symbol) then
                                var ns = n_signature
                                if ns != null and ns.n_params.length == 0 then
                                        name = once "unary -".to_symbol
                                end
                        end
                end
                _name = name
                var prop = new MMMethSrcMethod(name, v.local_class, self)
                _method = prop
                v.local_class.add_src_local_property(v, prop)
        end

        redef fun accept_property_verifier(v)
        do
                v.signature_builder = new SignatureBuilder
                super

                if v.signature_builder.has_error_occured then return

                if v.signature_builder.signature == null then
                        #_method.signature = new MMSignature(new Array[MMType], null, v.local_class.get_type)
                else
                        method.signature = v.signature_builder.signature.as(not null)
                end
                var visibility_level = 1
                if n_visibility != null and n_visibility.level > 1 then
                        visibility_level = n_visibility.level
                end
                process_and_check(v, method, n_kwredef != null, visibility_level)
                if n_signature != null then n_signature.check_visibility(v, method)
        end

        redef fun accept_abs_syntax_visitor(v)
        do
                v.local_property = _method
                super
                v.local_property = null
        end
end

redef class AMainMethPropdef
        redef fun process_and_check(v, prop, has_redef, visibility_level)
        do
                prop.global.visibility_level = visibility_level
                prop.signature = new MMSignature(new Array[MMParam], null, v.local_class.get_type)
                # Disable all checks for main
        end
end

redef class AExternPropdef
        redef fun accept_property_verifier(v)
        do
                super # Compute signature
                var ename: String
                if n_extern != null then
                        ename = n_extern.text
                        ename = ename.substring(1, ename.length-2)
                else
                        ename = method.default_extern_name
                end
                method.extern_name = ename
        end
end

redef class ATypePropdef
        redef fun prop do return _prop.as(not null)
        var _prop: nullable MMSrcTypeProperty

        redef fun accept_property_builder(v)
        do
                super
                var name = n_id.to_symbol
                var prop = new MMSrcTypeProperty(name, v.local_class, self)
                _prop = prop
                v.local_class.add_src_local_property(v, prop)
        end
        
        redef fun accept_property_verifier(v)
        do
                super
                var signature = new MMSignature(new Array[MMParam], n_type.get_stype(v), v.local_class.get_type)
                prop.signature = signature
                var visibility_level = n_visibility.level
                process_and_check(v, prop, n_kwredef != null, visibility_level)
        end
        
        redef fun accept_abs_syntax_visitor(v)
        do
                v.local_property = _prop
                super
                v.local_property = null
        end
end

# Visitor used to build a full method name from multiple tokens
private class MethidAccumulator
        super Visitor
        readable var _name: Buffer = new Buffer
        redef fun visit(n)
        do
                if n isa Token then
                        _name.append(n.text)
                else
                        n.visit_all(self)
                end
        end
end

redef class AMethid
        redef readable var _name: nullable Symbol

        redef fun accept_property_builder(v)
        do
                var accumulator = new MethidAccumulator
                accumulator.enter_visit(self)
                _name = accumulator.name.to_s.to_symbol
                super
        end
end

redef class ASignature
        redef fun accept_property_verifier(v)
        do
                super
                if v.signature_builder.has_error_occured then
                        return
                else if not v.signature_builder.untyped_params.is_empty then
                        if v.signature_builder.untyped_params.first != v.signature_builder.params.first or n_type != null then
                                v.error(v.signature_builder.untyped_params.first, "Syntax error: untyped parameter.")
                                return
                        end
                else if not v.signature_builder.params.is_empty or n_type != null then
                        var pars = new Array[MMParam]
                        for p in v.signature_builder.params do
                                pars.add( new MMParam( p.stype.as(not null),  p.n_id.to_symbol ) )
                        end
                        var ret: nullable MMType = null
                        if n_type != null then
                                ret = n_type.get_stype(v)
                                if ret == null then
                                        v.signature_builder.has_error_occured = true
                                        return
                                end
                        end
                        v.signature_builder.signature = new MMSignature(pars, ret, v.local_class.get_type)
                        if v.signature_builder.vararg_rank >= 0 then
                                v.signature_builder.signature.vararg_rank = v.signature_builder.vararg_rank
                        end
                        for clos in v.signature_builder.closure_decls do
                                v.signature_builder.signature.closures.add(clos.variable.closure)
                        end
                end
        end

        # Check that visibilities of types in the signature are compatible with the visibility of the property.
        fun check_visibility(v: AbsSyntaxVisitor, p: MMLocalProperty)
        do
                if p.global.visibility_level >= 3 then return
                for n in n_params do
                        if n.n_type != null then n.n_type.check_visibility(v, p)
                end
                if n_type != null then n_type.check_visibility(v, p)
        end
end

redef class AParam
        redef readable var _position: Int = 0

        redef fun variable: ParamVariable do return _variable.as(not null)
        var _variable: nullable ParamVariable

        # The type of the parameter in signature
        readable writable var _stype: nullable MMType

        redef fun accept_property_verifier(v)
        do
                super
                _position = v.signature_builder.params.length
                _variable = new ParamVariable(n_id.to_symbol, n_id)
                v.signature_builder.params.add(self)
                v.signature_builder.untyped_params.add(self)
                if n_type != null then
                        var stype = n_type.get_stype(v)
                        if stype == null then
                                v.signature_builder.has_error_occured = true
                                return
                        end
                        for p in v.signature_builder.untyped_params do
                                p.stype = stype
                                if is_vararg then
                                        if v.signature_builder.vararg_rank == -1 then
                                                v.signature_builder.vararg_rank = p.position
                                        else
                                                v.error(self, "Error: A vararg parameter is already defined.")
                                        end
                                        stype = v.type_array(stype)
                                end
                                p.variable.stype = stype
                        end
                        v.signature_builder.untyped_params.clear
                end
        end

        fun is_vararg: Bool do return n_dotdotdot != null
end

redef class AClosureDecl
        redef readable var _position: Int = 0

        redef fun variable: ClosureVariable do return _variable.as(not null)
        var _variable: nullable ClosureVariable

        redef fun accept_property_verifier(v)
        do
                var old_signature_builder = v.signature_builder
                v.signature_builder = new SignatureBuilder
                super
                if v.signature_builder.has_error_occured then
                        return
                end
                var sig = v.signature_builder.signature
                if sig == null then
                        sig = new MMSignature(new Array[MMParam], null, v.local_class.get_type)
                end
                if sig.return_type != null and n_kwbreak != null then
                        v.error(self, "Syntax Error: A break block cannot have a return value.")
                end

                # Add the finalizer to the closure signature
                var finalize_sig = new MMSignature(new Array[MMParam], null, v.mmmodule.type_any) # FIXME should be no receiver
                var finalizer_clos = new MMClosure(once ("break".to_symbol), finalize_sig, false, true)
                sig.closures.add(finalizer_clos)

                var name = n_id.to_symbol
                var clos = new MMClosure(name, sig, n_kwbreak != null, n_expr != null)
                for c in old_signature_builder.closure_decls do
                        if c.n_id.to_symbol == name then
                                v.error(n_id, "A closure '!{name}' already defined at {c.n_id.location.relative_to(n_id.location)}.")
                                return
                        end
                end
                v.signature_builder = old_signature_builder
                _position = old_signature_builder.closure_decls.length
                old_signature_builder.closure_decls.add(self)
                _variable = new ClosureVariable(n_id.to_symbol, n_id, clos)
        end
end

redef class AType
        # Check that visibilities of types in the signature are compatible with the visibility of the property.
        private fun check_visibility(v: AbsSyntaxVisitor, p: MMLocalProperty)
        do
                if p.global.visibility_level >= 3 then return
                var t = get_stype(v)
                if t == null then return
                var bc = t.local_class
                if bc.global.visibility_level >= 3 then
                        v.error(self, "Access error: Class {bc} is private and cannot be used in the signature of the non-private property {p}.")
                end
                for n in n_types do
                        n.check_visibility(v, p)
                end
        end
end

redef class AExpr
        redef fun accept_class_builder(v) do end
        redef fun accept_property_builder(v) do end
        redef fun accept_property_verifier(v) do end
end