From ff0b6b42c341dcf3b8c246cbc2c217f0b759cfa3 Mon Sep 17 00:00:00 2001 From: fennecdjay Date: Sat, 13 Jul 2019 18:14:05 +0200 Subject: [PATCH] :wrench: Work on tests --- tests/nonnull/nonnull_at_nonnull.gw | 1 + tests/nonnull/nonnull_decl.gw | 1 + tests/nonnull/nonnull_decl_ref.gw | 2 ++ tests/nonnull/nonnull_decl_ref_assign.gw | 1 + tests/nonnull/nonnull_impl_nonnull.gw | 2 ++ tests/nonnull/normal_at_nonnull.gw | 1 + tests/nonnull/normal_cast_nonnull.gw | 2 ++ tests/nonnull/normal_impl_nonnull.gw | 2 ++ tests/nonnull/null_at_nonnull.gw | 2 ++ tests/nonnull/null_cast_nonnull.gw | 2 ++ tests/nonnull/null_impl_nonnull.gw | 3 +++ tests/nonnull/ref_at_nonnull.gw | 2 ++ tests/nonnull/ref_cast_nonnull.gw | 2 ++ tests/nonnull/ref_impl_nonnull.gw | 3 +++ tests/sh/opt.sh | 10 +--------- 15 files changed, 27 insertions(+), 9 deletions(-) create mode 100644 tests/nonnull/nonnull_at_nonnull.gw create mode 100644 tests/nonnull/nonnull_decl.gw create mode 100644 tests/nonnull/nonnull_decl_ref.gw create mode 100644 tests/nonnull/nonnull_decl_ref_assign.gw create mode 100644 tests/nonnull/nonnull_impl_nonnull.gw create mode 100644 tests/nonnull/normal_at_nonnull.gw create mode 100644 tests/nonnull/normal_cast_nonnull.gw create mode 100644 tests/nonnull/normal_impl_nonnull.gw create mode 100644 tests/nonnull/null_at_nonnull.gw create mode 100644 tests/nonnull/null_cast_nonnull.gw create mode 100644 tests/nonnull/null_impl_nonnull.gw create mode 100644 tests/nonnull/ref_at_nonnull.gw create mode 100644 tests/nonnull/ref_cast_nonnull.gw create mode 100644 tests/nonnull/ref_impl_nonnull.gw diff --git a/tests/nonnull/nonnull_at_nonnull.gw b/tests/nonnull/nonnull_at_nonnull.gw new file mode 100644 index 00000000..5dd55161 --- /dev/null +++ b/tests/nonnull/nonnull_at_nonnull.gw @@ -0,0 +1 @@ +new Object! @=> Object !o; diff --git a/tests/nonnull/nonnull_decl.gw b/tests/nonnull/nonnull_decl.gw new file mode 100644 index 00000000..e32f1aa7 --- /dev/null +++ b/tests/nonnull/nonnull_decl.gw @@ -0,0 +1 @@ +Object !o; diff --git a/tests/nonnull/nonnull_decl_ref.gw b/tests/nonnull/nonnull_decl_ref.gw new file mode 100644 index 00000000..a0dff383 --- /dev/null +++ b/tests/nonnull/nonnull_decl_ref.gw @@ -0,0 +1,2 @@ +#! [contains] NullPtrException +Object ! @ o; diff --git a/tests/nonnull/nonnull_decl_ref_assign.gw b/tests/nonnull/nonnull_decl_ref_assign.gw new file mode 100644 index 00000000..34c99852 --- /dev/null +++ b/tests/nonnull/nonnull_decl_ref_assign.gw @@ -0,0 +1 @@ +new Object @=> Object ! @ o; diff --git a/tests/nonnull/nonnull_impl_nonnull.gw b/tests/nonnull/nonnull_impl_nonnull.gw new file mode 100644 index 00000000..c8566b97 --- /dev/null +++ b/tests/nonnull/nonnull_impl_nonnull.gw @@ -0,0 +1,2 @@ +fun void test(Object !o) { <<< o >>>; } +Object !o => test; diff --git a/tests/nonnull/normal_at_nonnull.gw b/tests/nonnull/normal_at_nonnull.gw new file mode 100644 index 00000000..72d689a2 --- /dev/null +++ b/tests/nonnull/normal_at_nonnull.gw @@ -0,0 +1 @@ +new Object @=> Object !o; diff --git a/tests/nonnull/normal_cast_nonnull.gw b/tests/nonnull/normal_cast_nonnull.gw new file mode 100644 index 00000000..da1bbc75 --- /dev/null +++ b/tests/nonnull/normal_cast_nonnull.gw @@ -0,0 +1,2 @@ +#! [contains] can't cast +new Object $ Object!; diff --git a/tests/nonnull/normal_impl_nonnull.gw b/tests/nonnull/normal_impl_nonnull.gw new file mode 100644 index 00000000..2e16439b --- /dev/null +++ b/tests/nonnull/normal_impl_nonnull.gw @@ -0,0 +1,2 @@ +fun void test(Object !o) { <<< o >>>; } +new Object => test; diff --git a/tests/nonnull/null_at_nonnull.gw b/tests/nonnull/null_at_nonnull.gw new file mode 100644 index 00000000..3fd7de70 --- /dev/null +++ b/tests/nonnull/null_at_nonnull.gw @@ -0,0 +1,2 @@ +#! [contains] can't assign +null @=> Object !o; diff --git a/tests/nonnull/null_cast_nonnull.gw b/tests/nonnull/null_cast_nonnull.gw new file mode 100644 index 00000000..8f66ffdc --- /dev/null +++ b/tests/nonnull/null_cast_nonnull.gw @@ -0,0 +1,2 @@ +#! [contains] can't cast +null $ Object!; diff --git a/tests/nonnull/null_impl_nonnull.gw b/tests/nonnull/null_impl_nonnull.gw new file mode 100644 index 00000000..b9628cde --- /dev/null +++ b/tests/nonnull/null_impl_nonnull.gw @@ -0,0 +1,3 @@ +#! [contains] NullPtrException +fun void test(Object !o) { <<< o >>>; } +null => test; diff --git a/tests/nonnull/ref_at_nonnull.gw b/tests/nonnull/ref_at_nonnull.gw new file mode 100644 index 00000000..55f5c447 --- /dev/null +++ b/tests/nonnull/ref_at_nonnull.gw @@ -0,0 +1,2 @@ +#! [contains] NullPtrException +Object @o @=> Object !o; diff --git a/tests/nonnull/ref_cast_nonnull.gw b/tests/nonnull/ref_cast_nonnull.gw new file mode 100644 index 00000000..35cc4984 --- /dev/null +++ b/tests/nonnull/ref_cast_nonnull.gw @@ -0,0 +1,2 @@ +#! [contains] NullPtrException +(Object @ o) $ Object!; diff --git a/tests/nonnull/ref_impl_nonnull.gw b/tests/nonnull/ref_impl_nonnull.gw new file mode 100644 index 00000000..ea07c0b4 --- /dev/null +++ b/tests/nonnull/ref_impl_nonnull.gw @@ -0,0 +1,3 @@ +#! [contains] can't implicitly cast +fun void test(Object !o) { <<< o >>>; } +Object @o => test; diff --git a/tests/sh/opt.sh b/tests/sh/opt.sh index 128437f8..8234e3d1 100644 --- a/tests/sh/opt.sh +++ b/tests/sh/opt.sh @@ -8,16 +8,8 @@ source tests/sh/common.sh run "$n" "test arguments" "examples/shred.gw:12" "file" n=$((n+1)) -good="All heap blocks were freed -- no leaks are possible" N=$(printf "% 4i" "$n") -valgrind ./gwion -d silent &> "file" -ok=0 -grep "$good" "file" > /dev/null && ok=1 -if [ $ok ] -then echo "ok $N test driver" -else echo "not ok $N test driver" -fi -rm "file" +run "$n" "simple run" "" "file" # help n=$((n+1)) -- 2.43.0