tests/base_isa_gen2.nit

   1 # This file is part of NIT ( http://www.nitlanguage.org ).
   2 #
   3 # Copyright 2012 Alexandre Terrasa <alexandre@moz-code.org>
   4 #
   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
   8 #
   9 #     http://www.apache.org/licenses/LICENSE-2.0
  10 #
  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.
  16
  17 import base_minimal
  18
  19 class A[T] end
  20
  21 class B[U]
  22         super A[U]
  23 end
  24
  25 class C[V]
  26         super A[V]
  27 end
  28
  29 class D[T, U]
  30         super B[T]
  31         super C[T]
  32 end
  33
  34 var a = new A[Object]
  35 var b = new B[Object]
  36 var c = new C[Object]
  37 var d = new D[Object, Object]
  38
  39 assert a isa A[Object]                  # true
  40 assert not a isa B[Object]              # false
  41 assert b isa A[Object]                  # true
  42 assert b isa B[Object]                  # true
  43 assert not b isa C[Object]              # false
  44 assert c isa A[Object]                  # true
  45 assert not c isa B[Object]              # false
  46 assert c isa C[Object]                  # true
  47 assert not c isa D[Object, Object] # false
  48 assert d isa A[Object]                  # true
  49 assert d isa B[Object]                  # true
  50 assert d isa C[Object]                  # true
  51 assert d isa D[Object, Object]  # false
  52
  53
  54 true.output