X-Git-Url: http://nitlanguage.org

diff --git a/src/compiling/compiling_base.nit b/src/compiling/compiling_base.nit
deleted file mode 100644
index 6ddfaeb..0000000
--- a/src/compiling/compiling_base.nit
+++ /dev/null
@@ -1,315 +0,0 @@
-# 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 = false 
-	readable writable attr _compdir: String
-	readable writable attr _clibdir: String
-	readable writable attr _bindir: String
-	readable writable attr _output_file: String
-	readable writable attr _boost: Bool = false
-	readable writable attr _no_cc: Bool = false
-	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 = 0
-
-	# 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 = 0 
-
-	# 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
-	
-	meth merge(c: CContext)
-	do
-		_decls.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 = false
-
-	# 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 = ["bigint", "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(module.name, 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
-
-	# C macro used to get the function for the call of a super property
-	meth super_meth_call: String
-	do
-		return "CALL_SUPER_{cname}"
-	end
-end
-