1 # This file is part of NIT ( http://www.nitlanguage.org ).
3 # Copyright 2011 Alexis Laferrière <alexis.laf@xymus.net>
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
9 # http://www.apache.org/licenses/LICENSE-2.0
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.
18 fun isa_b
: Bool is extern import A
as(B
)
19 fun as_b
: nullable B
is extern import A
as(B
), A
as(nullable B
)
27 fun isa_a
: Bool is extern import C
as(A
)
34 fun as_a
: A
is extern import D
as(A
)
42 print
"a isa b {a.isa_b} (expected: false)"
43 print
"c isa a {c.isa_a} (expected: true)"
44 print
"d isa b {d.isa_b} (expected: true)"
50 print
"da is null? {da==null} (expected: false)"
51 print
"db is null? {db==null} (expected: false)"
52 print
"ab is null? {ab==null} (expected: true)"