tests/base_as_cast.nit

   1 # This file is part of NIT ( http://www.nitlanguage.org ).
   2 #
   3 # Copyright 2005-2008 Jean Privat <jean@pryen.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 kernel
  18
  19 class O
  20         redef fun output do 0.output
  21 end
  22
  23 class A
  24 special O
  25         init do end
  26 end
  27
  28 class U
  29         redef fun output do 1.output
  30 end
  31
  32 class B
  33 special A
  34 special U
  35         redef fun output do 2.output
  36         init do end
  37 end
  38
  39 var a: Object = new A
  40 var b: Object = new B
  41
  42 a.as(Object).output
  43 a.as(O).output
  44 a.as(A).output
  45 #alt1#a.as(U).output
  46 #alt2#a.as(B).output
  47 #alt3#a.as(Int).output
  48 #alt4#a.as(Comparable).output
  49
  50 '\n'.output
  51
  52 b.as(Object).output
  53 b.as(O).output
  54 b.as(A).output
  55 b.as(U).output
  56 b.as(B).output
  57 #alt5#b.as(Int).output
  58 #alt6#b.as(Comparable).output
  59