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 is_int_null
( ni
: nullable Int ) : Bool is extern import Int as not nullable
19 fun is_a_null
( na
: nullable A
) : Bool is extern import A
as not nullable
21 fun get_nullable_string
( get_nulled
: Bool ) : nullable String is extern import String::from_cstring
, String as nullable
26 print
"true -? {a.is_int_null( null )}"
27 print
"false -? {a.is_int_null( 0 )}"
28 print
"false -? {a.is_int_null( 1234 )}"
30 print
"true -? {a.is_a_null( null )}"
31 print
"false -? {a.is_a_null( a )}"
33 var nstr
= a
.get_nullable_string
( true )
34 if nstr
== null then print
"is null, ok" else print nstr
# expects "is null"
36 nstr
= a
.get_nullable_string
( false )
37 if nstr
== null then print
"is null, error" else print nstr
# expects "something"