# This file is part of NIT ( http://www.nitlanguage.org ).
#
# Copyright 2004-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.

import kernel

class Gen1[E, F]
special Object
   readable writable attr _e: E
   attr _f_: F
   meth f: F do return _f_ end 
   meth f=(x: F) do _f_ = x end

   init do end
end

class Gen2[G: Int]
special Gen1[G, Char]

   init do end
end

class Gen3[H: Int]
special Gen1[H, Char]
   redef readable redef writable redef attr _e: H
   redef attr _f_: Char
   redef meth f: Char do return _f_ end 
   redef meth f=(x: Char) do _f_ = x end

   init do end
end

var g1 = new Gen1[Int, Char]
var g2 = new Gen2[Int]
var g3 = new Gen3[Int]
g1.e = 1
g1.f = '1'
g2.e = 2
g2.f = '2'
g3.e = 3
g3.f = '3'

g1.f.output
g1.e.output
g2.f.output
g2.e.output
g3.f.output
g3.e.output

g1 = g2
g1.f.output
g1.e.output

g1 = g3
g1.f.output
g1.e.output