tests/base_simple2.nit

   1 # This file is part of NIT ( http://www.nitlanguage.org ).
   2 #
   3 # Copyright 2006-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 end
  18
  19 class Object
  20 end
  21
  22 class Int
  23         meth output is intern
  24 end
  25
  26 class A
  27         meth foo(i: Int)
  28         do
  29                 i.output
  30                 i.output
  31         end
  32         meth bar(i: Int)
  33         do
  34                 0.output
  35         end
  36         meth baz(a: A)
  37         do
  38                 0.output
  39         end
  40
  41         init
  42         do
  43         end
  44 end
  45
  46 class B
  47 special A
  48         redef meth bar(i: Int)
  49         do
  50                 i.output
  51                 i.output
  52                 i.output
  53         end
  54
  55         redef meth baz(a: A)
  56         do
  57                 4.output
  58         end
  59
  60         meth this_is_a_dead_method
  61         do
  62                 0.output
  63         end
  64
  65         redef init
  66         do
  67                 1.output
  68         end
  69 end
  70
  71 class Sys
  72         meth foo(a: A)
  73         do
  74                 a.baz(a)
  75         end
  76 end
  77
  78 var a = new A   # A simple construction
  79 a = new B       # A complex construction
  80 a.foo(2)        # A monormphic call
  81 a.bar(3)        # A polymorphic call
  82 self.foo(a)     # A non null call