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 # Common syntax structures for syntax analysis of NIT AST.
23 # Concrete NIT source module
26 # The related AST node
27 readable attr _node
: AModule
29 # Concrete NIT source local classs by name
30 readable attr _src_local_classes
: Map[Symbol, MMSrcLocalClass]
32 init(c
: MMContext, source
: AModule, dir
: MMDirectory, name
: Symbol)
36 _src_local_classes
= new HashMap[Symbol, MMSrcLocalClass]
40 redef class MMGlobalClass
41 # Check that a module can access a class
42 meth check_visibility
(v
: AbsSyntaxVisitor, n
: PNode, cm
: MMSrcModule): Bool do
44 assert pm
isa MMSrcModule
45 var vpm
= cm
.visibility_for
(pm
)
49 v
.error
(n
, "Visibility error: Class {self} comes from the hidden module {cm}.") # TODO: should not occur
51 else if visibility_level
>= 3 then
52 v
.error
(n
, "Visibility error: Class {self} is private.")
59 # Concrete NIT source local classes
61 special MMConcreteClass
62 # The related AST nodes
63 readable attr _nodes
: Array[PClassdef]
65 # Concrete NIT source generic formal parameter by name
66 readable writable attr _formal_dict
: Map[Symbol, MMTypeFormalParameter]
68 # Concrete NIT source properties by name
69 readable attr _src_local_properties
: Map[Symbol, MMConcreteProperty]
71 init(n
: Symbol, cla
: PClassdef, a
: Int)
75 _src_local_properties
= new HashMap[Symbol, MMConcreteProperty]
79 redef class MMGlobalProperty
80 # Check that a module can access a property
81 meth check_visibility
(v
: AbsSyntaxVisitor, n
: PNode, cm
: MMSrcModule, allows_protected
: Bool): Bool do
82 var pm
= local_class
.module
83 assert pm
isa MMSrcModule
84 var vpm
= cm
.visibility_for
(pm
)
88 # TODO: should not occurs
89 v
.error
(n
, "Visibility error: Property {self} comes from the hidden module {cm}.")
91 else if visibility_level
>= 3 then
92 v
.error
(n
, "Visibility error: Property {self} is private.")
94 else if visibility_level
>= 2 and not allows_protected
then
95 v
.error
(n
, "Visibility error: Property {self} is protected and can only acceded by self.")
102 redef class MMConcreteProperty
103 # The attached node (if any)
104 meth node
: PNode do return null
107 # Concrete NIT source attribute
109 special MMConcreteProperty
111 redef readable attr _node
: AAttrPropdef
112 init(name
: Symbol, cla
: MMLocalClass, n
: AAttrPropdef)
114 super(name
, cla
, self)
119 # Concrete NIT source method
121 special MMConcreteProperty
125 # Concrete NIT source method for an automatic accesor
126 class MMAttrImplementationMethod
128 redef readable attr _node
: AAttrPropdef
131 # Concrete NIT source method for an automatic read accesor
132 class MMReadImplementationMethod
133 special MMAttrImplementationMethod
135 init(name
: Symbol, cla
: MMLocalClass, n
: AAttrPropdef)
137 super(name
, cla
, self)
142 # Concrete NIT source method for an automatic write accesor
143 class MMWriteImplementationMethod
144 special MMAttrImplementationMethod
146 init(name
: Symbol, cla
: MMLocalClass, n
: AAttrPropdef)
148 super(name
, cla
, self)
153 # Concrete NIT source method for an explicit method
154 class MMMethSrcMethod
156 redef readable attr _node
: AMethPropdef
157 init(name
: Symbol, cla
: MMLocalClass, n
: AMethPropdef)
159 super(name
, cla
, self)
164 # Concrete NIT source virtual type
165 class MMSrcTypeProperty
166 special MMConcreteProperty
167 special MMTypeProperty
168 redef readable attr _node
: ATypePropdef
169 init(name
: Symbol, cla
: MMLocalClass, n
: ATypePropdef)
171 super(name
, cla
, self)
177 # Local variable and method parameter
179 # Name of the variable
180 readable attr _name
: Symbol
182 # Declaration AST node
183 readable attr _decl
: PNode
186 readable writable attr _stype
: MMType
188 init(n
: Symbol, d
: PNode)
197 ###############################################################################
199 # Visitor used during the syntax analysis
200 class AbsSyntaxVisitor
202 # The primitive type Bool
203 meth type_bool
: MMType
205 return _module
.class_by_name
(once
("Bool".to_symbol
)).get_type
208 # The primitive type Int
209 meth type_int
: MMType
211 return _module
.class_by_name
(once
("Int".to_symbol
)).get_type
214 # The primitive type Float
215 meth type_float
: MMType
217 return _module
.class_by_name
(once
("Float".to_symbol
)).get_type
220 # The primitive type Char
221 meth type_char
: MMType
223 return _module
.class_by_name
(once
("Char".to_symbol
)).get_type
226 # The primitive type String
227 meth type_string
: MMType
229 return _module
.class_by_name
(once
("String".to_symbol
)).get_type
232 # The primitive type Collection[Object]
233 meth type_collection
: MMType
235 return _module
.class_by_name
(once
("Collection".to_symbol
)).get_type
238 # The primitive type Array[?]
239 meth type_array
(stype
: MMType): MMType
241 return _module
.class_by_name
(once
("Array".to_symbol
)).get_instantiate_type
([stype
])
244 # The primitive type Discrete
245 meth type_discrete
: MMType
247 return _module
.class_by_name
(once
("Discrete".to_symbol
)).get_type
250 # The primitive type Range[?]
251 meth type_range
(stype
: MMType): MMType
253 return _module
.class_by_name
(once
("Range".to_symbol
)).get_instantiate_type
([stype
])
256 # The primitive type of null
257 meth type_none
: MMType
259 return _module
.type_none
263 readable writable attr _module
: MMSrcModule
266 readable writable attr _local_class
: MMSrcLocalClass
268 # The current property
269 readable writable attr _local_property
: MMConcreteProperty
271 # The current tool configuration/status
272 readable attr _tc
: ToolContext
274 # Display an error for a given syntax node
275 meth error
(n
: PNode, s
: String)
277 _tc
.error
("{n.locate}: {s}")
280 # Display a warning for a given syntax node
281 meth warning
(n
: PNode, s
: String)
283 _tc
.warning
("{n.locate}: {s}")
286 # Check conformity and display error
287 meth check_conform
(n
: PNode, subtype
: MMType, stype
: MMType): Bool
289 if stype
== null or subtype
== null then
292 if subtype
< stype
then
295 error
(n
, "Type error: expected {stype}, got {subtype}")
300 protected init(tc
: ToolContext, module: MMSrcModule)
307 ###############################################################################
310 protected meth accept_abs_syntax_visitor
(v
: AbsSyntaxVisitor) do visit_all
(v
)
316 # Symbol associated with the text
318 meth to_symbol
: Symbol
329 redef class PClassdef
330 # Associated class (MM entity)
331 meth local_class
: MMSrcLocalClass is abstract
334 redef class AAttrPropdef
335 # Associated attribute (MM entity)
336 meth prop
: MMSrcAttribute is abstract
338 # Associated read accessor (MM entity)
339 meth readmethod
: MMSrcMethod is abstract
341 # Associated write accessor (MM entity)
342 meth writemethod
: MMSrcMethod is abstract
345 redef class AMethPropdef
346 # Associated method (MM entity)
347 meth method
: MMMethSrcMethod is abstract
350 redef class ATypePropdef
351 # Associated formal type (MM entity)
352 meth prop
: MMSrcTypeProperty is abstract
356 # Position in the signature
357 meth position
: Int is abstract
359 # Associated local variable
360 meth variable
: Variable is abstract
364 # Retrieve the local class corresponding to the type.
365 # Display an error and return null if there is no class
366 # Display an error and return null if the type is not class based (formal one)
367 meth get_local_class
(v
: AbsSyntaxVisitor): MMLocalClass is abstract
369 # Retrieve corresponding static type.
370 # Display an error and return null if there is a problem
371 meth get_stype
(v
: AbsSyntaxVisitor): MMType is abstract
373 # Retrieve corresponding static type.
374 # Display an error and return null if there is a problem
375 # But do not performs any subtype check.
376 # get_unchecked_stype should be called to check that the static type is fully valid
377 meth get_unchecked_stype
(v
: AbsSyntaxVisitor): MMType is abstract
379 # Check that a static definition type is conform with regard to formal types
380 # Useful with get_unchecked_stype
381 # Remember that conformance check need that ancestors are totaly computed
382 meth check_conform
(v
: AbsSyntaxVisitor) is abstract
386 attr _stype_cache
: MMType
387 attr _stype_cached
: Bool
389 redef meth get_local_class
(v
)
391 var name
= n_id
.to_symbol
393 var cla
= v
.local_class
395 if (cla
.formal_dict
!= null and cla
.formal_dict
.has_key
(name
)) or (cla
.global_properties
!= null and cla
.has_global_property_by_name
(name
)) then
396 v
.error
(n_id
, "Type error: {name} is a formal type")
401 if not mod
.has_global_class_named
(name
) then
402 v
.error
(n_id
, "Type error: class {name} not found in module {mod}.")
407 var local_class
= mod
.class_by_name
(name
)
408 local_class
.global
.check_visibility
(v
, self, mod
)
412 redef meth get_unchecked_stype
(v
)
414 if _stype_cached
then return _stype_cache
417 var name
= n_id
.to_symbol
419 var cla
= v
.local_class
421 if cla
.formal_dict
.has_key
(name
) then
422 if n_types
.length
> 0 then
423 v
.error
(self, "Type error: formal type {name} cannot have formal parameters.")
426 var formal
= cla
.formal_dict
[name
]
427 _stype_cache
= formal
431 if cla
.global_properties
!= null and cla
.has_global_property_by_name
(name
) then
432 if n_types
.length
> 0 then
433 v
.error
(self, "Type error: formal type {name} cannot have formal parameters.")
436 var t
= cla
.get_type
.select_virtual_type
(name
).stype
438 v
.error
(self, "Type error: circular definition in formal type {name}.")
445 var local_class
= get_local_class
(v
)
446 if local_class
== null then return null
448 var arity
= n_types
.length
449 if local_class
.arity
!= arity
then
450 v
.error
(self, "Type error: '{local_class}' has {local_class.arity} parameters which differs from the {arity} params.")
455 var tab
= new Array[MMType]
457 tab
.add
(p
.get_unchecked_stype
(v
))
459 var t
= local_class
.get_instantiate_type
(tab
)
463 var t
= local_class
.get_type
469 redef meth get_stype
(v
)
471 var t
= get_unchecked_stype
(v
)
472 if t
!= null then check_conform
(v
)
476 redef meth check_conform
(v
)
478 var st
= get_unchecked_stype
(v
)
479 if st
== null then return
480 var local_class
= st
.local_class
481 var arity
= n_types
.length
483 for i
in [0..arity
[ do
485 var pt
= p
.get_stype
(v
)
486 var bt
= local_class
.get_formal
(i
).bound
487 if bt
== null then return
488 bt
= bt
.adapt_to
(st
) # We need to abapt because of F-genericity
489 v
.check_conform
(p
, pt
, bt
)
497 # Is null for statement and for erronus expression
498 meth stype
: MMType is abstract