tests/base_isa_gen7.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 Ferme[V]
  20 end
  21
  22 class Animal end
  23 class Canard super Animal end
  24
  25 class A[T, U]
  26         fun foo(o: Object): Bool do
  27                 return o isa T
  28         end
  29
  30         fun bar(o: Object): Bool do
  31                 return o isa U
  32         end
  33 end
  34
  35 class B[U]
  36         super A[U, Object]
  37 end
  38
  39 class C end
  40
  41 var x = new Canard
  42 var y = new Ferme[Canard]
  43
  44 var a = new A[Animal, C]
  45 var b = new B[Canard]
  46 var c = new B[Ferme[Canard]]
  47
  48 assert a.foo(x)                 # true
  49 assert not a.bar(x)             # false
  50 assert not a.foo(y)             # false
  51 assert not a.bar(y)             # false
  52 assert a.bar(new C)             # true
  53 assert b.foo(x)                 # true
  54 assert b.bar(x)                 # true
  55 assert not b.foo(y)             # false
  56 assert b.bar(y)                 # true
  57 assert b.bar(new C)             # true
  58
  59 true.output