From f640a280c3592780595aca5ddc4dca00d2f76b4a Mon Sep 17 00:00:00 2001 From: Norman Walsh Date: Thu, 26 Dec 2024 16:19:31 +0000 Subject: [PATCH] Tests for a selection of untested static errors --- test-suite/pipelines/err-xs0071.xpl | 14 +++++++++ test-suite/tests/nw-err-xs0006-001.xml | 38 ++++++++++++++++++++++++ test-suite/tests/nw-err-xs0015-001.xml | 30 +++++++++++++++++++ test-suite/tests/nw-err-xs0015-002.xml | 30 +++++++++++++++++++ test-suite/tests/nw-err-xs0015-003.xml | 30 +++++++++++++++++++ test-suite/tests/nw-err-xs0015-004.xml | 33 +++++++++++++++++++++ test-suite/tests/nw-err-xs0015-005.xml | 36 +++++++++++++++++++++++ test-suite/tests/nw-err-xs0015-006.xml | 31 ++++++++++++++++++++ test-suite/tests/nw-err-xs0015-007.xml | 35 ++++++++++++++++++++++ test-suite/tests/nw-err-xs0015-008.xml | 40 ++++++++++++++++++++++++++ test-suite/tests/nw-err-xs0029-001.xml | 32 +++++++++++++++++++++ test-suite/tests/nw-err-xs0057-001.xml | 33 +++++++++++++++++++++ test-suite/tests/nw-err-xs0057-002.xml | 33 +++++++++++++++++++++ test-suite/tests/nw-err-xs0058-001.xml | 33 +++++++++++++++++++++ test-suite/tests/nw-err-xs0059-001.xml | 33 +++++++++++++++++++++ test-suite/tests/nw-err-xs0066-001.xml | 33 +++++++++++++++++++++ test-suite/tests/nw-err-xs0066-002.xml | 33 +++++++++++++++++++++ test-suite/tests/nw-err-xs0071-001.xml | 35 ++++++++++++++++++++++ 18 files changed, 582 insertions(+) create mode 100644 test-suite/pipelines/err-xs0071.xpl create mode 100644 test-suite/tests/nw-err-xs0006-001.xml create mode 100644 test-suite/tests/nw-err-xs0015-001.xml create mode 100644 test-suite/tests/nw-err-xs0015-002.xml create mode 100644 test-suite/tests/nw-err-xs0015-003.xml create mode 100644 test-suite/tests/nw-err-xs0015-004.xml create mode 100644 test-suite/tests/nw-err-xs0015-005.xml create mode 100644 test-suite/tests/nw-err-xs0015-006.xml create mode 100644 test-suite/tests/nw-err-xs0015-007.xml create mode 100644 test-suite/tests/nw-err-xs0015-008.xml create mode 100644 test-suite/tests/nw-err-xs0029-001.xml create mode 100644 test-suite/tests/nw-err-xs0057-001.xml create mode 100644 test-suite/tests/nw-err-xs0057-002.xml create mode 100644 test-suite/tests/nw-err-xs0058-001.xml create mode 100644 test-suite/tests/nw-err-xs0059-001.xml create mode 100644 test-suite/tests/nw-err-xs0066-001.xml create mode 100644 test-suite/tests/nw-err-xs0066-002.xml create mode 100644 test-suite/tests/nw-err-xs0071-001.xml diff --git a/test-suite/pipelines/err-xs0071.xpl b/test-suite/pipelines/err-xs0071.xpl new file mode 100644 index 00000000..9c46f9b1 --- /dev/null +++ b/test-suite/pipelines/err-xs0071.xpl @@ -0,0 +1,14 @@ + + + + + + + + + + + + diff --git a/test-suite/tests/nw-err-xs0006-001.xml b/test-suite/tests/nw-err-xs0006-001.xml new file mode 100644 index 00000000..c5cb4e77 --- /dev/null +++ b/test-suite/tests/nw-err-xs0006-001.xml @@ -0,0 +1,38 @@ + + + Test nw-err-xs0006-001 + + + 2024-12-26 + + Norm Tovey-Walsh + + +

Initial commit.

+
+
+
+
+ +

Tests that err:XS0006 is raised.

+
+ + + + + + + + + + + + + + + +
diff --git a/test-suite/tests/nw-err-xs0015-001.xml b/test-suite/tests/nw-err-xs0015-001.xml new file mode 100644 index 00000000..fb52fbad --- /dev/null +++ b/test-suite/tests/nw-err-xs0015-001.xml @@ -0,0 +1,30 @@ + + + Test nw-err-xs0015-001 + + + 2024-12-26 + + Norm Tovey-Walsh + + +

Initial commit.

+
+
+
+
+ +

Tests that err:XS0015 is raised.

+
+ + + + + + + +
diff --git a/test-suite/tests/nw-err-xs0015-002.xml b/test-suite/tests/nw-err-xs0015-002.xml new file mode 100644 index 00000000..1fb3b9af --- /dev/null +++ b/test-suite/tests/nw-err-xs0015-002.xml @@ -0,0 +1,30 @@ + + + Test nw-err-xs0015-002 + + + 2024-12-26 + + Norm Tovey-Walsh + + +

Initial commit.

+
+
+
+
+ +

Tests that err:XS0015 is raised.

+
+ + + + + + + +
diff --git a/test-suite/tests/nw-err-xs0015-003.xml b/test-suite/tests/nw-err-xs0015-003.xml new file mode 100644 index 00000000..ff3b4cf3 --- /dev/null +++ b/test-suite/tests/nw-err-xs0015-003.xml @@ -0,0 +1,30 @@ + + + Test nw-err-xs0015-003 + + + 2024-12-26 + + Norm Tovey-Walsh + + +

Initial commit.

+
+
+
+
+ +

Tests that err:XS0015 is raised.

+
+ + + + + + + +
diff --git a/test-suite/tests/nw-err-xs0015-004.xml b/test-suite/tests/nw-err-xs0015-004.xml new file mode 100644 index 00000000..63c2c812 --- /dev/null +++ b/test-suite/tests/nw-err-xs0015-004.xml @@ -0,0 +1,33 @@ + + + Test nw-err-xs0015-004 + + + 2024-12-26 + + Norm Tovey-Walsh + + +

Initial commit.

+
+
+
+
+ +

Tests that err:XS0015 is raised.

+
+ + + + + + + + + + +
diff --git a/test-suite/tests/nw-err-xs0015-005.xml b/test-suite/tests/nw-err-xs0015-005.xml new file mode 100644 index 00000000..a165c198 --- /dev/null +++ b/test-suite/tests/nw-err-xs0015-005.xml @@ -0,0 +1,36 @@ + + + Test nw-err-xs0015-005 + + + 2024-12-26 + + Norm Tovey-Walsh + + +

Initial commit.

+
+
+
+
+ +

Tests that err:XS0015 is raised.

+
+ + + + + + + + + + + + + +
diff --git a/test-suite/tests/nw-err-xs0015-006.xml b/test-suite/tests/nw-err-xs0015-006.xml new file mode 100644 index 00000000..0226e3a2 --- /dev/null +++ b/test-suite/tests/nw-err-xs0015-006.xml @@ -0,0 +1,31 @@ + + + Test nw-err-xs0015-006 + + + 2024-12-26 + + Norm Tovey-Walsh + + +

Initial commit.

+
+
+
+
+ +

Tests that err:XS0015 is raised.

+
+ + + + + + + + +
diff --git a/test-suite/tests/nw-err-xs0015-007.xml b/test-suite/tests/nw-err-xs0015-007.xml new file mode 100644 index 00000000..a202473d --- /dev/null +++ b/test-suite/tests/nw-err-xs0015-007.xml @@ -0,0 +1,35 @@ + + + Test nw-err-xs0015-007 + + + 2024-12-26 + + Norm Tovey-Walsh + + +

Initial commit.

+
+
+
+
+ +

Tests that err:XS0015 is raised.

+
+ + + + + + + + + + + + +
diff --git a/test-suite/tests/nw-err-xs0015-008.xml b/test-suite/tests/nw-err-xs0015-008.xml new file mode 100644 index 00000000..b7288fe7 --- /dev/null +++ b/test-suite/tests/nw-err-xs0015-008.xml @@ -0,0 +1,40 @@ + + + Test nw-err-xs0015-008 + + + 2024-12-26 + + Norm Tovey-Walsh + + +

Initial commit.

+
+
+
+
+ +

Tests that err:XS0015 is raised.

+
+ + + + + + + + + + + + + + + + + +
diff --git a/test-suite/tests/nw-err-xs0029-001.xml b/test-suite/tests/nw-err-xs0029-001.xml new file mode 100644 index 00000000..85599424 --- /dev/null +++ b/test-suite/tests/nw-err-xs0029-001.xml @@ -0,0 +1,32 @@ + + + Test nw-err-xs0029-001 + + + 2024-12-26 + + Norm Tovey-Walsh + + +

Initial commit.

+
+
+
+
+ +

Tests that err:XS0029 is raised.

+
+ + + + + + + + + +
diff --git a/test-suite/tests/nw-err-xs0057-001.xml b/test-suite/tests/nw-err-xs0057-001.xml new file mode 100644 index 00000000..a2833df1 --- /dev/null +++ b/test-suite/tests/nw-err-xs0057-001.xml @@ -0,0 +1,33 @@ + + + Test nw-err-xs0057-001 + + + 2024-12-26 + + Norm Tovey-Walsh + + +

Initial commit.

+
+
+
+
+ +

Tests that err:XS0057 is raised.

+
+ + + + + + + + + + +
diff --git a/test-suite/tests/nw-err-xs0057-002.xml b/test-suite/tests/nw-err-xs0057-002.xml new file mode 100644 index 00000000..27f763ec --- /dev/null +++ b/test-suite/tests/nw-err-xs0057-002.xml @@ -0,0 +1,33 @@ + + + Test nw-err-xs0057-002 + + + 2024-12-26 + + Norm Tovey-Walsh + + +

Initial commit.

+
+
+
+
+ +

Tests that err:XS0057 is raised.

+
+ + + + + + + + + + +
diff --git a/test-suite/tests/nw-err-xs0058-001.xml b/test-suite/tests/nw-err-xs0058-001.xml new file mode 100644 index 00000000..ece0ed04 --- /dev/null +++ b/test-suite/tests/nw-err-xs0058-001.xml @@ -0,0 +1,33 @@ + + + Test nw-err-xs0058-001 + + + 2024-12-26 + + Norm Tovey-Walsh + + +

Initial commit.

+
+
+
+
+ +

Tests that err:XS0058 is raised.

+
+ + + + + + + + + + +
diff --git a/test-suite/tests/nw-err-xs0059-001.xml b/test-suite/tests/nw-err-xs0059-001.xml new file mode 100644 index 00000000..d75e13f8 --- /dev/null +++ b/test-suite/tests/nw-err-xs0059-001.xml @@ -0,0 +1,33 @@ + + + Test nw-err-xs0059-001 + + + 2024-12-26 + + Norm Tovey-Walsh + + +

Initial commit.

+
+
+
+
+ +

Tests that err:XS0059 is raised.

+
+ + + + + + + + + + +
diff --git a/test-suite/tests/nw-err-xs0066-001.xml b/test-suite/tests/nw-err-xs0066-001.xml new file mode 100644 index 00000000..268aec24 --- /dev/null +++ b/test-suite/tests/nw-err-xs0066-001.xml @@ -0,0 +1,33 @@ + + + Test nw-err-xs0066-001 + + + 2024-12-26 + + Norm Tovey-Walsh + + +

Initial commit.

+
+
+
+
+ +

Tests that err:XS0066 is raised.

+
+ + + + + + + {3+4 + + + +
diff --git a/test-suite/tests/nw-err-xs0066-002.xml b/test-suite/tests/nw-err-xs0066-002.xml new file mode 100644 index 00000000..a0b19b69 --- /dev/null +++ b/test-suite/tests/nw-err-xs0066-002.xml @@ -0,0 +1,33 @@ + + + Test nw-err-xs0066-002 + + + 2024-12-26 + + Norm Tovey-Walsh + + +

Initial commit.

+
+
+
+
+ +

Tests that err:XS0066 is raised.

+
+ + + + + + + 3+4} + + + +
diff --git a/test-suite/tests/nw-err-xs0071-001.xml b/test-suite/tests/nw-err-xs0071-001.xml new file mode 100644 index 00000000..e119fe5e --- /dev/null +++ b/test-suite/tests/nw-err-xs0071-001.xml @@ -0,0 +1,35 @@ + + + Test nw-err-xs0071-001 + + + 2024-12-26 + + Norm Tovey-Walsh + + +

Initial commit.

+
+
+
+
+ +

Tests that err:XS0071 is raised.

+
+ + + + + + + + + + + + +