src: remove old metamodel and nitc

[nit.git] / src / metamodel / type_formal.nit

diff --git a/src/metamodel/type_formal.nit b/src/metamodel/type_formal.nit
deleted file mode 100644 (file)
index 58fa335..0000000
--- a/src/metamodel/type_formal.nit
+++ /dev/null
@@ -1,60 +0,0 @@
-# This file is part of NIT ( http://www.nitlanguage.org ).
-#
-# Copyright 2004-2008 Jean Privat <jean@pryen.org>
-# Copyright 2006-2008 Floréal Morandat <morandat@lirmm.fr>
-#
-# 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.
-
-# Formal types
-module type_formal
-
-import inheritance
-
-redef class MMType
-       # The type a indirect type refers to
-       fun direct_type: MMType do return self
-
-       fun has_formal: Bool do return false
-end
-
-# Formal types are named indirect types
-abstract class MMTypeFormal
-       super MMType
-       redef fun is_valid do return _bound != null and _bound.is_valid
-
-       # The name of the type
-       readable var _name: Symbol
-
-       # The type refered
-       fun bound: MMType do return _bound.as(not null)
-       var _bound: nullable MMType
-
-       redef fun <(t) do return t == self or t.is_supertype(bound)
-       redef fun is_supertype(t) do return _bound.is_supertype(t)
-       redef fun is_nullable do return _bound.is_nullable
-       redef fun direct_type do return _bound.direct_type
-       redef fun local_class do return _bound.local_class
-       redef fun has_formal do return true
-
-       redef fun to_s do return _name.to_s
-
-       protected init(name: Symbol, bound: nullable MMType)
-       do
-               _name = name
-               _bound = bound
-       end
-end
-
-redef class MMNullableType
-       redef fun has_formal do return self.base_type.has_formal
-end