From d9684516bdfdfc8efdb69538821bebc972a23d89 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Wed, 5 Dec 2012 19:43:32 -0500 Subject: [PATCH] tests: add base_attr_init_val_raf.nit Signed-off-by: Jean Privat --- tests/base_attr_init_val_raf.nit | 24 ++++++++++++++++++++ tests/sav/base_attr_init_val_raf.res | 3 +++ tests/sav/base_attr_init_val_raf_alt1.res | 1 + tests/sav/base_attr_init_val_raf_alt1.sav | 1 + tests/sav/base_attr_init_val_raf_alt2.res | 3 +++ .../sav/nitc/fixme/base_attr_init_val_raf_alt2.res | 1 + .../sav/nitg/fixme/base_attr_init_val_raf_alt1.res | 3 +++ tests/sav/niti/base_attr_init_val_raf_alt1.res | 1 + 8 files changed, 37 insertions(+) create mode 100644 tests/base_attr_init_val_raf.nit create mode 100644 tests/sav/base_attr_init_val_raf.res create mode 100644 tests/sav/base_attr_init_val_raf_alt1.res create mode 100644 tests/sav/base_attr_init_val_raf_alt1.sav create mode 100644 tests/sav/base_attr_init_val_raf_alt2.res create mode 100644 tests/sav/nitc/fixme/base_attr_init_val_raf_alt2.res create mode 100644 tests/sav/nitg/fixme/base_attr_init_val_raf_alt1.res create mode 100644 tests/sav/niti/base_attr_init_val_raf_alt1.res diff --git a/tests/base_attr_init_val_raf.nit b/tests/base_attr_init_val_raf.nit new file mode 100644 index 0000000..802938a --- /dev/null +++ b/tests/base_attr_init_val_raf.nit @@ -0,0 +1,24 @@ +# 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 base_attr_init_val1 + +redef class A + var j: Int = 2 #alt1# var j: Int #alt2# var j: Int = i +end + +super + +var a = new A +a.j.output diff --git a/tests/sav/base_attr_init_val_raf.res b/tests/sav/base_attr_init_val_raf.res new file mode 100644 index 0000000..3328062 --- /dev/null +++ b/tests/sav/base_attr_init_val_raf.res @@ -0,0 +1,3 @@ +1 +1 +2 diff --git a/tests/sav/base_attr_init_val_raf_alt1.res b/tests/sav/base_attr_init_val_raf_alt1.res new file mode 100644 index 0000000..b9c5a88 --- /dev/null +++ b/tests/sav/base_attr_init_val_raf_alt1.res @@ -0,0 +1 @@ +Runtime error: Uninitialized attribute @j (alt/base_attr_init_val_raf_alt1.nit:18) diff --git a/tests/sav/base_attr_init_val_raf_alt1.sav b/tests/sav/base_attr_init_val_raf_alt1.sav new file mode 100644 index 0000000..c23ed39 --- /dev/null +++ b/tests/sav/base_attr_init_val_raf_alt1.sav @@ -0,0 +1 @@ +Runtime error: Uninitialized attribute @j (alt/base_attr_init_val_raf_alt1.nit) diff --git a/tests/sav/base_attr_init_val_raf_alt2.res b/tests/sav/base_attr_init_val_raf_alt2.res new file mode 100644 index 0000000..e8183f0 --- /dev/null +++ b/tests/sav/base_attr_init_val_raf_alt2.res @@ -0,0 +1,3 @@ +1 +1 +1 diff --git a/tests/sav/nitc/fixme/base_attr_init_val_raf_alt2.res b/tests/sav/nitc/fixme/base_attr_init_val_raf_alt2.res new file mode 100644 index 0000000..40ae671 --- /dev/null +++ b/tests/sav/nitc/fixme/base_attr_init_val_raf_alt2.res @@ -0,0 +1 @@ +Runtime error: Uninitialized attribute _i (base_attr_init_val1.nit:20) diff --git a/tests/sav/nitg/fixme/base_attr_init_val_raf_alt1.res b/tests/sav/nitg/fixme/base_attr_init_val_raf_alt1.res new file mode 100644 index 0000000..2f1465d --- /dev/null +++ b/tests/sav/nitg/fixme/base_attr_init_val_raf_alt1.res @@ -0,0 +1,3 @@ +1 +1 +0 diff --git a/tests/sav/niti/base_attr_init_val_raf_alt1.res b/tests/sav/niti/base_attr_init_val_raf_alt1.res new file mode 100644 index 0000000..5f621c3 --- /dev/null +++ b/tests/sav/niti/base_attr_init_val_raf_alt1.res @@ -0,0 +1 @@ +Runtime error: Uninitialized attribute @j (base_attr_init_val1.nit:29) -- 1.7.9.5