tests: error_defs_init.nit for a combinasion of 7*7 cases

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

diff --git a/tests/error_defs_init.nit b/tests/error_defs_init.nit
new file mode 100644 (file)
index 0000000..adff5f2
--- /dev/null
+++ b/tests/error_defs_init.nit
@@ -0,0 +1,33 @@
+# 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 kernel
+
+class A
+       #1alt1#init do abort
+       #1alt2#init(a: Int) do abort
+       #1alt3#new do abort
+       #1alt4#new(c: Int) do abort
+       #1alt5#init foo(a: Int) do abort
+       #1alt6#new foo(c: Int) do abort
+       #1alt7#fun foo do end
+
+       #alt1#init do abort
+       #alt2#init(b: Float) do abort
+       #alt3#new do abort
+       #alt4#new(d: Float) do abort
+       #alt5#init foo(a: Float) do abort
+       #alt6#new foo(c: Float) do abort
+       #alt7#fun foo do end
+end

diff --git a/tests/sav/error_defs_init_1alt1_alt1.res b/tests/sav/error_defs_init_1alt1_alt1.res
new file mode 100644 (file)
index 0000000..fc4db99
--- /dev/null
+++ b/tests/sav/error_defs_init_1alt1_alt1.res
@@ -0,0 +1 @@
+alt/error_defs_init_1alt1_alt1.nit:26,2--5: Error: A property init is already defined in class A at line 18.

diff --git a/tests/sav/error_defs_init_1alt1_alt2.res b/tests/sav/error_defs_init_1alt1_alt2.res
new file mode 100644 (file)
index 0000000..d8121d9
--- /dev/null
+++ b/tests/sav/error_defs_init_1alt1_alt2.res
@@ -0,0 +1 @@
+alt/error_defs_init_1alt1_alt2.nit:27,2--5: Error: A property init is already defined in class A at line 18.

diff --git a/tests/sav/error_defs_init_1alt2_alt1.res b/tests/sav/error_defs_init_1alt2_alt1.res
new file mode 100644 (file)
index 0000000..428ec4f
--- /dev/null
+++ b/tests/sav/error_defs_init_1alt2_alt1.res
@@ -0,0 +1 @@
+alt/error_defs_init_1alt2_alt1.nit:26,2--5: Error: A property init is already defined in class A at line 18.

diff --git a/tests/sav/error_defs_init_1alt2_alt2.res b/tests/sav/error_defs_init_1alt2_alt2.res
new file mode 100644 (file)
index 0000000..f3971f5
--- /dev/null
+++ b/tests/sav/error_defs_init_1alt2_alt2.res
@@ -0,0 +1 @@
+alt/error_defs_init_1alt2_alt2.nit:27,2--5: Error: A property init is already defined in class A at line 18.

diff --git a/tests/sav/error_defs_init_1alt3_alt3.res b/tests/sav/error_defs_init_1alt3_alt3.res
new file mode 100644 (file)
index 0000000..497d5c5
--- /dev/null
+++ b/tests/sav/error_defs_init_1alt3_alt3.res
@@ -0,0 +1 @@
+alt/error_defs_init_1alt3_alt3.nit:28,2--4: Error: A property new is already defined in class A at line 18.

diff --git a/tests/sav/error_defs_init_1alt3_alt4.res b/tests/sav/error_defs_init_1alt3_alt4.res
new file mode 100644 (file)
index 0000000..bf6b758
--- /dev/null
+++ b/tests/sav/error_defs_init_1alt3_alt4.res
@@ -0,0 +1 @@
+alt/error_defs_init_1alt3_alt4.nit:29,2--4: Error: A property new is already defined in class A at line 18.

diff --git a/tests/sav/error_defs_init_1alt4_alt3.res b/tests/sav/error_defs_init_1alt4_alt3.res
new file mode 100644 (file)
index 0000000..42194cf
--- /dev/null
+++ b/tests/sav/error_defs_init_1alt4_alt3.res
@@ -0,0 +1 @@
+alt/error_defs_init_1alt4_alt3.nit:28,2--4: Error: A property new is already defined in class A at line 18.

diff --git a/tests/sav/error_defs_init_1alt4_alt4.res b/tests/sav/error_defs_init_1alt4_alt4.res
new file mode 100644 (file)
index 0000000..56af643
--- /dev/null
+++ b/tests/sav/error_defs_init_1alt4_alt4.res
@@ -0,0 +1 @@
+alt/error_defs_init_1alt4_alt4.nit:29,2--4: Error: A property new is already defined in class A at line 18.

diff --git a/tests/sav/error_defs_init_1alt5_alt5.res b/tests/sav/error_defs_init_1alt5_alt5.res
new file mode 100644 (file)
index 0000000..4db55bb
--- /dev/null
+++ b/tests/sav/error_defs_init_1alt5_alt5.res
@@ -0,0 +1 @@
+alt/error_defs_init_1alt5_alt5.nit:30,7--9: Error: A property foo is already defined in class A at line 18.

diff --git a/tests/sav/error_defs_init_1alt5_alt6.res b/tests/sav/error_defs_init_1alt5_alt6.res
new file mode 100644 (file)
index 0000000..c0863fd
--- /dev/null
+++ b/tests/sav/error_defs_init_1alt5_alt6.res
@@ -0,0 +1 @@
+alt/error_defs_init_1alt5_alt6.nit:31,6--8: Error: A property foo is already defined in class A at line 18.

diff --git a/tests/sav/error_defs_init_1alt5_alt7.res b/tests/sav/error_defs_init_1alt5_alt7.res
new file mode 100644 (file)
index 0000000..23f59bb
--- /dev/null
+++ b/tests/sav/error_defs_init_1alt5_alt7.res
@@ -0,0 +1 @@
+alt/error_defs_init_1alt5_alt7.nit:32,6--8: Error: A property foo is already defined in class A at line 18.

diff --git a/tests/sav/error_defs_init_1alt6_alt5.res b/tests/sav/error_defs_init_1alt6_alt5.res
new file mode 100644 (file)
index 0000000..0f733f8
--- /dev/null
+++ b/tests/sav/error_defs_init_1alt6_alt5.res
@@ -0,0 +1 @@
+alt/error_defs_init_1alt6_alt5.nit:30,7--9: Error: A property foo is already defined in class A at line 18.

diff --git a/tests/sav/error_defs_init_1alt6_alt6.res b/tests/sav/error_defs_init_1alt6_alt6.res
new file mode 100644 (file)
index 0000000..842b525
--- /dev/null
+++ b/tests/sav/error_defs_init_1alt6_alt6.res
@@ -0,0 +1 @@
+alt/error_defs_init_1alt6_alt6.nit:31,6--8: Error: A property foo is already defined in class A at line 18.

diff --git a/tests/sav/error_defs_init_1alt6_alt7.res b/tests/sav/error_defs_init_1alt6_alt7.res
new file mode 100644 (file)
index 0000000..21fb680
--- /dev/null
+++ b/tests/sav/error_defs_init_1alt6_alt7.res
@@ -0,0 +1 @@
+alt/error_defs_init_1alt6_alt7.nit:32,6--8: Error: A property foo is already defined in class A at line 18.

diff --git a/tests/sav/error_defs_init_1alt7_alt5.res b/tests/sav/error_defs_init_1alt7_alt5.res
new file mode 100644 (file)
index 0000000..446f89e
--- /dev/null
+++ b/tests/sav/error_defs_init_1alt7_alt5.res
@@ -0,0 +1 @@
+alt/error_defs_init_1alt7_alt5.nit:30,7--9: Error: A property foo is already defined in class A at line 18.

diff --git a/tests/sav/error_defs_init_1alt7_alt6.res b/tests/sav/error_defs_init_1alt7_alt6.res
new file mode 100644 (file)
index 0000000..c3761f1
--- /dev/null
+++ b/tests/sav/error_defs_init_1alt7_alt6.res
@@ -0,0 +1 @@
+alt/error_defs_init_1alt7_alt6.nit:31,6--8: Error: A property foo is already defined in class A at line 18.

diff --git a/tests/sav/error_defs_init_1alt7_alt7.res b/tests/sav/error_defs_init_1alt7_alt7.res
new file mode 100644 (file)
index 0000000..f834897
--- /dev/null
+++ b/tests/sav/error_defs_init_1alt7_alt7.res
@@ -0,0 +1 @@
+alt/error_defs_init_1alt7_alt7.nit:32,6--8: Error: A property foo is already defined in class A at line 18.