+++ /dev/null
-# 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.
-
-# Common things for NIT compilation and C generation
-package compiling_base
-
-import syntax
-private import utils
-
-redef class ToolContext
- readable writable attr _global: Bool
- readable writable attr _attr_sim: Bool
- readable writable attr _base_dir: String
- readable writable attr _clibdir: String
- readable writable attr _bindir: String
- readable writable attr _output_file: String
- readable writable attr _boost: Bool
- readable writable attr _no_cc: Bool
- readable writable attr _ext_prefix: String
-end
-
-# Class used to generate files.
-# Note that in fact it is not a visitor.
-# Note also that this class is unefficient and poorly designed thus requires love.
-class CompilerVisitor
- # Add a line in the current declaration block
- meth add_decl(s: String)
- do
- if _indent_level >= 8 then
- _ctx.decls.add("\t\t" + s)
- else
- _ctx.decls.add(" " * _indent_level + s)
- end
- end
-
- # Add a line in the current instr block
- meth add_instr(s: String)
- do
- if _indent_level >= 8 then
- _ctx.instrs.add("\t\t" + s)
- else
- _ctx.instrs.add(" " * _indent_level + s)
- end
- end
-
- # Return a unique new number for the instance
- meth new_number: Int
- do
- var res = _number_cpt
- _number_cpt = res + 1
- return res
- end
- # next number for new_number
- attr _number_cpt: Int
-
- # Add an indent level.
- # New decl and instr will be indented.
- meth indent do _indent_level += 1
-
- # Remove an indent level.
- meth unindent
- do
- _indent_level -= 1
- if _indent_level < 0 then _indent_level = 0
- end
-
- # Return a big string containing all decl and instr
- redef meth to_s
- do
- var out = new Array[String]
- out.append(_ctx.decls)
- out.append(_ctx.instrs)
- out.add("")
- return out.join("\n")
- end
-
- # The current module processed
- readable writable attr _module: MMSrcModule
-
- # Where instr and decl are stored
- readable writable attr _ctx: CContext = new CContext
-
- # The current indent lever
- readable writable attr _indent_level: Int
-
- # The current ToolContext
- readable writable attr _tc: ToolContext
-
- # Create a new CompilerVisitor based on a module
- init(module: MMSrcModule) do _module = module
-end
-
-# Where instr and decl are stored for a module
-# Note that this class is as badly designed as CompilerVisitor
-class CContext
- readable attr _decls: Array[String] = new Array[String]
- readable attr _instrs: Array[String] = new Array[String]
-
- meth append(c: CContext)
- do
- _instrs.append(c.decls)
- _instrs.append(c.instrs)
- end
-
- init do end
-end
-
-redef class MMGlobalProperty
- # C symbol refering a method inocation
- meth meth_call: String
- do
- return "CALL_{intro.cname}"
- end
-
- # C symbol refering an attribure access
- meth attr_access: String
- do
- return "ATTR_{intro.cname}"
- end
-
- # C symbol refering the color of the global property
- meth color_id: String
- do
- return "COLOR_{intro.cname}"
- end
-
-end
-
-redef class MMGlobalClass
- # C symbol refering the identifier of the class
- meth id_id: String
- do
- return "ID_{intro.name}"
- end
-
- # C symbol refering the color of the class (for subtype tests)
- meth color_id: String
- do
- return "COLOR_{intro.name}"
- end
-
- # C symbol refering the init table position of the class (for constructor linearization)
- meth init_table_pos_id: String
- do
- return "INIT_TABLE_POS_{intro.name}"
- end
-end
-
-redef class MMLocalClass
- # Cached primitive_info result
- attr _primitive_info_cache: PrimitiveInfo
-
- # If primitive_info result cached?
- attr _primitive_info_b: Bool
-
- # Return the primitive information of the class.
- # Return null if the class is not primitive
- # FIXME: Only here since there is no universal type yet
- meth primitive_info: PrimitiveInfo
- do
- if _primitive_info_b == true then return _primitive_info_cache
-
- var ctypes = once primitive_ctypes
- if ctypes.has_key(name) then
- _primitive_info_cache = ctypes[name]
- _primitive_info_b = true
- return _primitive_info_cache
- end
- var i = ctypes.iterator
- while i.is_ok do
- var n = i.key
- if module.has_global_class_named(n) then
- var c = module.class_by_name(n)
- if cshe < c then
- _primitive_info_cache = i.item
- _primitive_info_b = true
- return _primitive_info_cache
- end
- end
- i.next
- end
- _primitive_info_b = true
- return null
- end
-
- # Static information of primitive types
- private meth primitive_ctypes: HashMap[Symbol, PrimitiveInfo]
- do
- var res = new HashMap[Symbol, PrimitiveInfo]
- var pnames = ["Int", "Char", "Bool", "Float", "NativeString", "NativeArray", "Pointer"]
- var tagged = [true, true, true, false, false, false, false]
- var cnames = ["int", "char", "int", "float", "char *", "val_t *", "void *"]
- for i in [0..pnames.length[ do
- var n = pnames[i].to_symbol
- var pi = new PrimitiveInfo
- pi.name = n
- pi.tagged = tagged[i]
- pi.cname = cnames[i]
- res[n] = pi
- end
- return res
- end
-end
-
-# Information about a primitive class
-class PrimitiveInfo
- # The name of the class
- readable writable attr _name: Symbol
-
- # Is the class tagged (aka not boxed)
- readable writable attr _tagged: Bool
-
- # The corresponding c type for the primitive value
- readable writable attr _cname: String
-
- private init do end
-end
-
-redef class MMType
- # The corresponding c type
- meth cname: String
- do
- var pi = local_class.primitive_info
- if pi == null then
- return "val_t"
- else
- return pi.cname
- end
- end
-
- # The default c value for uninitialized types.
- # Return "null" for non primitive types and something more specific for primitive types
- meth default_cvalue: String
- do
- var pi = local_class.primitive_info
- if pi != null and pi.tagged then
- return "TAG_{local_class.name}(({pi.cname})0)"
- else
- return "NIT_NULL"
- end
- end
-
- # Box (or tag) a primitive value
- # Is identity if not primitive
- meth boxtype(s: String): String
- do
- var pi = local_class.primitive_info
- if pi == null then
- return s
- else if pi.tagged then
- return "TAG_{local_class.name}({s})"
- else
- return "BOX_{local_class.name}({s})"
- end
- end
-
- # Unbox (or untag) a primitive value
- # Is identity if not primitive
- meth unboxtype(s: String): String
- do
- var pi = local_class.primitive_info
- if pi == null then
- return s
- else if pi.tagged then
- return "UNTAG_{local_class.name}({s})"
- else
- return "UNBOX_{local_class.name}({s})"
- end
- end
-end
-
-redef class MMLocalProperty
- # Cacher result of cname
- attr _cname_cache: String
-
- # The mangled name of the method
- meth cname: String
- do
- if _cname_cache == null then
- _cname_cache = cmangle(concrete_property.module.name, concrete_property.local_class.name, name)
- end
- return _cname_cache
- end
-
- # C symbol refering the color of the super call of a super property
- meth color_id_for_super: String
- do
- return "COLOR_SUPER_{cname}"
- end
-end
-