1 files changed, 243 insertions, 0 deletions
diff --git a/dom/bindings/parser/tests/test_undefined.py b/dom/bindings/parser/tests/test_undefined.py
new file mode 100644
index 0000000000..3b6f18292f
--- /dev/null
+++ b/dom/bindings/parser/tests/test_undefined.py
@@ -0,0 +1,243 @@
+def WebIDLTest(parser, harness):
+    try:
+        parser.parse(
+            """
+            dictionary Dict {
+              undefined undefinedMember;
+              double bar;
+            };
+            """
+        )
+        parser.finish()
+    except Exception:
+        threw = True
+
+    harness.ok(threw, "undefined must not be used as the type of a dictionary member")
+
+    parser = parser.reset()
+    threw = False
+
+    try:
+        parser.parse(
+            """
+            dictionary Dict {
+              (undefined or double) undefinedMemberOfUnionInDict;
+            };
+            """
+        )
+        parser.finish()
+    except Exception:
+        threw = True
+
+    harness.ok(
+        threw,
+        "undefined must not be used as the type of a dictionary member, "
+        "whether directly or in a union",
+    )
+
+    parser = parser.reset()
+    threw = False
+
+    try:
+        parser.parse(
+            """
+            interface Foo {
+              double bar(undefined foo);
+            };
+            """
+        )
+        parser.finish()
+    except Exception:
+        threw = True
+
+    harness.ok(
+        threw,
+        "undefined must not be used as the type of an argument in any "
+        "circumstance (so not as the argument of a regular operation)",
+    )
+
+    parser = parser.reset()
+    threw = False
+
+    try:
+        parser.parse(
+            """
+            interface Foo {
+              getter double(undefined name);
+            };
+            """
+        )
+        parser.finish()
+    except Exception:
+        threw = True
+
+    harness.ok(
+        threw,
+        "undefined must not be used as the type of an argument in any "
+        "circumstance (so not as the argument of a getter)",
+    )
+
+    parser = parser.reset()
+    threw = False
+
+    try:
+        parser.parse(
+            """
+            interface Foo {
+              setter undefined(DOMString name, undefined value);
+            };
+            """
+        )
+        parser.finish()
+    except Exception:
+        threw = True
+
+    harness.ok(
+        threw,
+        "undefined must not be used as the type of an argument in any "
+        "circumstance (so not as the argument of a setter)",
+    )
+
+    parser = parser.reset()
+    threw = False
+
+    try:
+        parser.parse(
+            """
+            interface Foo {
+              deleter undefined (undefined name);
+            };
+            """
+        )
+        parser.finish()
+    except Exception:
+        threw = True
+
+    harness.ok(
+        threw,
+        "undefined must not be used as the type of an argument in any "
+        "circumstance (so not as the argument of a deleter)",
+    )
+
+    parser = parser.reset()
+    threw = False
+
+    try:
+        parser.parse(
+            """
+            interface Foo {
+              constructor (undefined foo);
+            };
+            """
+        )
+        parser.finish()
+    except Exception:
+        threw = True
+
+    harness.ok(
+        threw,
+        "undefined must not be used as the type of an argument in any "
+        "circumstance (so not as the argument of a constructor)",
+    )
+
+    parser = parser.reset()
+    threw = False
+
+    try:
+        parser.parse(
+            """
+            callback Callback = undefined (undefined foo);
+            """
+        )
+        parser.finish()
+    except Exception:
+        threw = True
+
+    harness.ok(
+        threw,
+        "undefined must not be used as the type of an argument in any "
+        "circumstance (so not as the argument of a callback)",
+    )
+
+    parser = parser.reset()
+    threw = False
+
+    try:
+        parser.parse(
+            """
+            interface Foo {
+              async iterable(undefined name);
+            };
+            """
+        )
+        parser.finish()
+    except Exception:
+        threw = True
+
+    harness.ok(
+        threw,
+        "undefined must not be used as the type of an argument in any "
+        "circumstance (so not as the argument of an async iterable "
+        "iterator)",
+    )
+
+    parser = parser.reset()
+    threw = False
+
+    try:
+        parser.parse(
+            """
+            interface Foo {
+              static double bar(undefined foo);
+            };
+            """
+        )
+        parser.finish()
+    except Exception:
+        threw = True
+
+    harness.ok(
+        threw,
+        "undefined must not be used as the type of an argument in any "
+        "circumstance (so not as the argument of a static operation)",
+    )
+
+    parser = parser.reset()
+    threw = False
+
+    try:
+        parser.parse(
+            """
+            interface Foo {
+              const undefined FOO = undefined;
+            };
+            """
+        )
+        parser.finish()
+    except Exception:
+        threw = True
+
+    harness.ok(
+        threw,
+        "undefined is not a valid type for a constant",
+    )
+
+    parser = parser.reset()
+    threw = False
+
+    try:
+        parser.parse(
+            """
+            interface Foo {
+              const any FOO = undefined;
+            };
+            """
+        )
+        parser.finish()
+    except Exception:
+        threw = True
+
+    harness.ok(
+        threw,
+        "undefined is not a valid value for a constant",
+    )