1 # This file is part of NIT ( http://www.nitlanguage.org ).
3 # Licensed under the Apache License, Version 2.0 (the "License");
4 # you may not use this file except in compliance with the License.
5 # You may obtain a copy of the License at
7 # http://www.apache.org/licenses/LICENSE-2.0
9 # Unless required by applicable law or agreed to in writing, software
10 # distributed under the License is distributed on an "AS IS" BASIS,
11 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 # See the License for the specific language governing permissions and
13 # limitations under the License.
15 # Platform system, used to customize the behavior of the compiler according
16 # to the target platform. Also detects conflicts between targetted platforms.
20 private import parser_util
21 private import annotation
23 redef class ToolContext
24 var platform_phase
: Phase = new PlatformPhase(self, [modelize_property_phase
])
26 protected fun platform_from_name
(name
: String): nullable Platform
32 private class PlatformPhase
35 redef fun process_annotated_node
(nmoduledecl
, nat
)
37 var annotation_name
= "platform"
39 # Skip if we are not interested
40 if nat
.name
!= annotation_name
then return
42 # Do some validity checks and print errors if the annotation is used incorrectly
43 var modelbuilder
= toolcontext
.modelbuilder
44 if not nmoduledecl
isa AModuledecl then
45 modelbuilder
.error
(nat
, "Syntax error: only the declaration of modules may use \"{annotation_name}\
".")
51 if args
.length
> 1 then
52 modelbuilder
.error
(nat
, "Syntax error: \"{annotation_name}\
" expects at most a single argument.")
54 else if args
.is_empty
then
55 platform_name
= nmoduledecl
.n_name
.collect_text
57 platform_name
= args
.first
.as_string
58 if platform_name
== null then
59 var format_error
= "Syntax error: \"{annotation_name}\
" expects its argument to be the name of the target platform as a String literal."
60 modelbuilder
.error
(nat
, format_error
)
65 var nmodule
= nmoduledecl
.parent
.as(AModule)
66 var mmodule
= nmodule
.mmodule
68 var platform
= toolcontext
.platform_from_name
(platform_name
)
69 if platform
== null then
70 toolcontext
.error
(nat
.location
, "Error: target platform \"{platform_name}\
" unknown")
74 var previous_target_platform
= mmodule
.target_platform
75 if previous_target_platform
!= null and previous_target_platform
!= platform
then
76 modelbuilder
.error
(nat
, "Syntax error: a target platform has already been defined as \"{previous_target_platform}\
".")
79 mmodule
.local_target_platform
= platform
84 private var local_target_platform
: nullable Platform = null
86 # Recusively get the platform targetted by this module or imported modules
87 fun target_platform
: nullable Platform
89 var ltp
= local_target_platform
90 if ltp
!= null then return ltp
92 for mmodule
in in_importation
.greaters
do
93 ltp
= mmodule
.local_target_platform
94 if ltp
!= null then return ltp
101 # Sub-classes of `Platform` represent the target platform of a compilation
103 # Services will be added to this class in other modules.
104 abstract class Platform
105 fun supports_libunwind
: Bool do return true
107 fun supports_libgc
: Bool do return true
109 # Does this platform declare its own main function? If so, we won't generate one in Nit.
110 fun no_main
: Bool do return false