tests/base_isa_vt_ft.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 end
  18
  19 interface Object
  20 end
  21
  22 enum Bool
  23         fun output is intern
  24 end
  25
  26 class A[X]
  27         type T: nullable Object
  28
  29         fun foo(o: Object): Bool do
  30                 return o isa T
  31         end
  32 end
  33
  34 class B[X]
  35         super A[X]
  36         redef type T: X
  37         type U: Bool
  38
  39         fun bar(o: Object): Bool do
  40                 return o isa U
  41         end
  42 end
  43
  44 class C[X, Y]
  45         super B[X]
  46         redef type T: X
  47 end
  48
  49 var a = new A[Object]
  50 assert a.foo(new A[Object])
  51
  52 var b = new B[A[Object]]
  53 assert b.foo(new A[Object])
  54 assert b.foo(new B[Object])
  55 assert not b.foo(true)
  56 assert not b.bar(new B[Object])
  57 assert b.bar(true)
  58
  59 var c = new C[Object, B[Object]]
  60 assert c.foo(new A[Object])
  61 assert c.foo(new B[Object])
  62 assert c.foo(new C[Object, B[Object]])
  63
  64 true.output