1 # This file is part of NIT ( http://www.nitlanguage.org ).
3 # Copyright 2012 Alexis Laferrière <alexis.laf@xymus.net>
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 # Native interface related services (used underneath the FFI)
19 # All nitni properties may not be visible to the user but they are
20 # shared between engines
24 import modelbuilder
# builder only for externcalls
25 private import compiler
::abstract_compiler
28 # Short name of this method in C (without the class name)
29 fun short_cname
: String do
32 if nit_name
== "+" then return "_plus"
33 if nit_name
== "-" then return "_minus"
34 if nit_name
== "unary -" then return "_unary_minus"
35 if nit_name
== "*" then return "_star"
36 if nit_name
== "/" then return "_slash"
37 if nit_name
== "%" then return "_percent"
38 if nit_name
== "[]" then return "_index"
39 if nit_name
== "[]=" then return "_index_assign"
40 if nit_name
== "==" then return "_equal"
41 if nit_name
== "<" then return "_less"
42 if nit_name
== ">" then return "_geater"
43 if nit_name
== "<=" then return "_less_or_equal"
44 if nit_name
== ">=" then return "_greater_or_equal"
45 if nit_name
== "!=" then return "_not_equal"
46 if nit_name
== "<<" then return "_left"
47 if nit_name
== ">>" then return "_right"
48 if nit_name
== "<=>" then return "_starship"
50 if nit_name
.chars
.last
== '=' then return "{nit_name.substring(0, nit_name.length-1)}__assign"
56 # Mangled name of this module in C
57 fun cname
: String do return c_name
# FIXME this is a hack to keep the internal FFI
58 # API independent of the compilers while still using the `MModule::c_name` service.
61 redef class MMethodDef
62 # Name of the function to callback this method from C,
63 # also used in other functions names used for this method.
64 fun cname
: String do return "{mclassdef.mclass.name}_{mproperty.short_cname}"
68 # Representation of this type in pure C on the FFI extern side
71 fun cname
: String is abstract
73 # Representation of this type in C for the internal of the system
75 fun cname_blind
: String is abstract
77 # Representation of this type in mangled C
80 fun mangled_cname
: String is abstract
82 # Does this types has a primitive reprensentation
83 # type Object is_primitive? false
84 # type Pointer is_primitive? true
85 fun is_cprimitive
: Bool is abstract
88 redef class MClassType
91 var name
= mclass
.name
92 if name
== "Bool" then return "int"
93 if name
== "Char" then return "char"
94 if name
== "Float" then return "double"
95 if name
== "Int" then return "long"
96 if name
== "NativeString" then return "char*"
97 if mclass
.kind
== extern_kind
then
98 var ctype
= mclass
.ctype
105 redef fun cname_blind
do
106 var name
= mclass
.name
107 if name
== "Bool" then return "int"
108 if name
== "Char" then return "char"
109 if name
== "Float" then return "double"
110 if name
== "Int" then return "long"
111 if name
== "NativeString" then return "char*"
112 if mclass
.kind
== extern_kind
then return "void*"
113 return "struct nitni_instance *"
116 redef fun mangled_cname
do return mclass
.name
118 redef fun is_cprimitive
do return mclass
.kind
== extern_kind
or
119 (once
["Bool", "Char", "Float", "Int", "NativeString"]).has
(mclass
.name
)
122 redef class MNullableType
123 redef fun cname
do return mangled_cname
124 redef fun cname_blind
do return "struct nitni_instance *"
125 redef fun mangled_cname
do return "nullable_{mtype.mangled_cname}"
126 redef fun is_cprimitive
do return false
129 redef class MVirtualType
130 redef fun mangled_cname
: String do return to_s
133 redef class MGenericType
134 redef fun cname
do return mangled_cname
135 redef fun mangled_cname
139 var params
= new Array[String]
140 for arg
in arguments
do params
.add
(arg
.mangled_cname
)
142 return "{base}_of_{params.join("_")}"
147 fun ctype
: nullable String
149 assert kind
== extern_kind