tests: add base_is_optional to check the evaluation order of attribute values

Signed-off-by: Jean Privat <jean@pryen.org>

diff --git a/tests/base_is_optional.nit b/tests/base_is_optional.nit
new file mode 100644 (file)
index 0000000..ea13e28
--- /dev/null
+++ b/tests/base_is_optional.nit
@@ -0,0 +1,68 @@
+# This file is part of NIT ( http://www.nitlanguage.org ).
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+import core::kernel
+
+fun foo(i: Int): Int
+do
+       'f'.output
+       i.output
+       return i
+end
+
+class A
+       # needed on the new
+       var i: Int
+
+       # initialized by the allocation
+       var j: Int = foo(2)
+
+       # optional in the new, default value evaluated if `null` is given
+       var k: Int = foo(3) is optional
+
+       # the `init` will initialize it
+       var l: Int is noautoinit
+       init do l = foo(4)
+
+       # initialized if needed on the first `read`
+       var m: Int = foo(5) is lazy
+
+       fun set
+       do
+               i = 10
+               j = 20
+               k = 30
+               l = 40
+               m = 50
+       end
+
+       fun test
+       do
+               #alt1#set
+               i.output
+               j.output
+               k.output
+               l.output
+               m.output
+               '\n'.output
+       end
+end
+
+var a
+a = new A(foo(100))
+a.test
+a = new A(foo(100), null)
+a.test
+a = new A(foo(100), foo(300))
+a.test

diff --git a/tests/sav/base_is_optional.res b/tests/sav/base_is_optional.res
new file mode 100644 (file)
index 0000000..3f89579
--- /dev/null
+++ b/tests/sav/base_is_optional.res
@@ -0,0 +1,33 @@
+f2
+f100
+f3
+f4
+100
+2
+3
+4
+f5
+5
+
+f2
+f100
+f3
+f4
+100
+2
+3
+4
+f5
+5
+
+f2
+f100
+f300
+f4
+100
+2
+300
+4
+f5
+5
+

diff --git a/tests/sav/base_is_optional_alt1.res b/tests/sav/base_is_optional_alt1.res
new file mode 100644 (file)
index 0000000..12d1806
--- /dev/null
+++ b/tests/sav/base_is_optional_alt1.res
@@ -0,0 +1,30 @@
+f2
+f100
+f3
+f4
+10
+20
+30
+40
+50
+
+f2
+f100
+f3
+f4
+10
+20
+30
+40
+50
+
+f2
+f100
+f300
+f4
+10
+20
+30
+40
+50
+