tests/base_isa_gen.nit

   1 # This file is part of NIT ( http://www.nitlanguage.org ).
   2 #
   3 # Licensed under the Apache License, Version 2.0 (the "License");
   4 # you may not use this file except in compliance with the License.
   5 # You may obtain a copy of the License at
   6 #
   7 #     http://www.apache.org/licenses/LICENSE-2.0
   8 #
   9 # Unless required by applicable law or agreed to in writing, software
  10 # distributed under the License is distributed on an "AS IS" BASIS,
  11 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  12 # See the License for the specific language governing permissions and
  13 # limitations under the License.
  14
  15 import kernel
  16
  17 class A[E]
  18 end
  19
  20 class B
  21         # B < A[B] < A[A[B]] < ... < Object
  22         super A[B]
  23 end
  24
  25 class C
  26         # C < A[A[B]] < A[A[B]] < ... < Object
  27         super A[A[B]]
  28 end
  29
  30 class Z
  31 end
  32
  33 fun test(o: Object)
  34 do
  35 (o isa B).output
  36 (o isa A[B]).output
  37 (o isa A[A[B]]).output
  38 (o isa A[A[A[B]]]).output
  39 (o isa A[A[A[A[A[A[A[A[A[A[A[A[A[A[A[B]]]]]]]]]]]]]]]).output
  40 (o isa A[Object]).output
  41 '\n'.output
  42 end
  43
  44 test(new B)
  45 test(new A[B])
  46 test(new C)
  47 test(new A[C])
  48 test(new A[A[A[A[A[A[A[A[A[A[A[A[A[A[A[B]]]]]]]]]]]]]]])
  49 test(new A[Z])
  50 test(new Z)