tests/base_isa_gen5.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 Animal end
  20
  21 class Canard
  22         super Animal
  23 end
  24
  25 class A
  26 end
  27
  28 class B[T]
  29         super A
  30 end
  31
  32 class C[T]
  33         super B[T]
  34 end
  35
  36 var b1 = new B[Canard]
  37 var b2 = new B[B[Canard]]
  38
  39 assert b1 isa A
  40 assert b1 isa B[Canard]
  41 assert b1 isa B[Animal]
  42 assert not b1 isa B[Bool]
  43 assert not b2 isa C[Animal]
  44
  45 assert not b2 isa B[Bool]
  46 assert b2 isa B[B[Canard]]
  47 assert not b2 isa B[B[Bool]]
  48 assert b2 isa B[B[Animal]]
  49
  50 true.output