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.
19 import modelize_property
21 import simple_misc_analysis
24 redef class ToolContext
25 var platform_phase
: Phase = new PlatformPhase(self, [modelize_property_phase
])
27 protected fun platform_from_name
(name
: String): nullable Platform
33 private class PlatformPhase
36 redef fun process_annotated_node
(nmoduledecl
, nat
)
38 var annotation_name
= "platform"
40 # Skip if we are not interested
41 if nat
.n_atid
.n_id
.text
!= annotation_name
then return
43 # Do some validity checks and print errors if the annotation is used incorrectly
44 var modelbuilder
= toolcontext
.modelbuilder
45 if not nmoduledecl
isa AModuledecl then
46 modelbuilder
.error
(nat
, "Syntax error: only the declaration of modules may use \"{annotation_name}\
".")
52 if args
.length
> 1 then
53 modelbuilder
.error
(nat
, "Syntax error: \"{annotation_name}\
" expects at most a single argument.")
55 else if args
.is_empty
then
56 platform_name
= nmoduledecl
.n_name
.collect_text
59 var format_error
= "Syntax error: \"{annotation_name}\
" expects its argument to be the name of the target platform as a String literal."
61 if not arg
isa AExprAtArg then
62 modelbuilder
.error
(nat
, format_error
)
67 if not expr
isa AStringFormExpr then
68 modelbuilder
.error
(nat
, format_error
)
71 var target
= expr
.collect_text
72 platform_name
= target
.substring
(1, target
.length-2
)
75 var nmodule
= nmoduledecl
.parent
.as(AModule)
76 var mmodule
= nmodule
.mmodule
78 var platform
= toolcontext
.platform_from_name
(platform_name
)
79 if platform
== null then
80 toolcontext
.error
(nat
.location
, "Error: target platform \"{platform_name}\
" unknown")
84 var previous_target_platform
= mmodule
.target_platform
85 if previous_target_platform
!= null and previous_target_platform
!= platform
then
86 modelbuilder
.error
(nat
, "Syntax error: a target platform has already been defined as \"{previous_target_platform}\
".")
89 mmodule
.local_target_platform
= platform
94 private var local_target_platform
: nullable Platform = null
96 # Recusively get the platform targetted by this module or imported modules
97 fun target_platform
: nullable Platform
99 var ltp
= local_target_platform
100 if ltp
!= null then return ltp
102 for mmodule
in in_importation
.greaters
do
103 ltp
= mmodule
.local_target_platform
104 if ltp
!= null then return ltp
111 # Sub-classes of `Platform` represent the target platform of a compilation
113 # Services will be added to this class in other modules.
114 abstract class Platform
115 fun supports_libunwind
: Bool do return true