mirror of
https://github.com/servo/servo
synced 2026-04-25 17:15:48 +02:00
This is required to publish script_bindings, since all files used during codegen need to be there. It might also be possible to generate the bindings ahead of time and vendor them in-tree, but this seems painful to setup from a CI perspective. Since there don't seem to be any other users in-tree we can just vendor into the script-bindings directory. `ply` is licensed under the BSD 3 clause, and WebIDL under MPL-2.0, with the licenses available in our cargo package. Both tools won't end up in `servo` since they are build-time dependencies, so I believe we don't need to adjust the crate license, or configure `about.toml`. Testing: Should be covered by existing tests. We don't test if this allows vendored builds or published builds. Fixes: Partial fix for #43145 --------- Signed-off-by: Jonathan Schwender <schwenderjonathan@gmail.com>
236 lines
5.7 KiB
Python
236 lines
5.7 KiB
Python
import WebIDL
|
|
|
|
|
|
def WebIDLTest(parser, harness):
|
|
parser.parse(
|
|
"""
|
|
namespace MyNamespace {
|
|
attribute any foo;
|
|
any bar();
|
|
};
|
|
"""
|
|
)
|
|
|
|
results = parser.finish()
|
|
harness.check(len(results), 1, "Should have a thing.")
|
|
harness.ok(results[0].isNamespace(), "Our thing should be a namespace")
|
|
harness.check(len(results[0].members), 2, "Should have two things in our namespace")
|
|
harness.ok(results[0].members[0].isAttr(), "First member is attribute")
|
|
harness.ok(results[0].members[0].isStatic(), "Attribute should be static")
|
|
harness.ok(results[0].members[1].isMethod(), "Second member is method")
|
|
harness.ok(results[0].members[1].isStatic(), "Operation should be static")
|
|
|
|
parser = parser.reset()
|
|
parser.parse(
|
|
"""
|
|
namespace MyNamespace {
|
|
attribute any foo;
|
|
};
|
|
partial namespace MyNamespace {
|
|
any bar();
|
|
};
|
|
"""
|
|
)
|
|
|
|
results = parser.finish()
|
|
harness.check(len(results), 2, "Should have things.")
|
|
harness.ok(results[0].isNamespace(), "Our thing should be a namespace")
|
|
harness.check(len(results[0].members), 2, "Should have two things in our namespace")
|
|
harness.ok(results[0].members[0].isAttr(), "First member is attribute")
|
|
harness.ok(results[0].members[0].isStatic(), "Attribute should be static")
|
|
harness.ok(results[0].members[1].isMethod(), "Second member is method")
|
|
harness.ok(results[0].members[1].isStatic(), "Operation should be static")
|
|
|
|
parser = parser.reset()
|
|
parser.parse(
|
|
"""
|
|
partial namespace MyNamespace {
|
|
any bar();
|
|
};
|
|
namespace MyNamespace {
|
|
attribute any foo;
|
|
};
|
|
"""
|
|
)
|
|
|
|
results = parser.finish()
|
|
harness.check(len(results), 2, "Should have things.")
|
|
harness.ok(results[1].isNamespace(), "Our thing should be a namespace")
|
|
harness.check(len(results[1].members), 2, "Should have two things in our namespace")
|
|
harness.ok(results[1].members[0].isAttr(), "First member is attribute")
|
|
harness.ok(results[1].members[0].isStatic(), "Attribute should be static")
|
|
harness.ok(results[1].members[1].isMethod(), "Second member is method")
|
|
harness.ok(results[1].members[1].isStatic(), "Operation should be static")
|
|
|
|
parser = parser.reset()
|
|
threw = False
|
|
try:
|
|
parser.parse(
|
|
"""
|
|
namespace MyNamespace {
|
|
static attribute any foo;
|
|
};
|
|
"""
|
|
)
|
|
|
|
results = parser.finish()
|
|
except WebIDL.WebIDLError:
|
|
threw = True
|
|
harness.ok(threw, "Should have thrown.")
|
|
|
|
parser = parser.reset()
|
|
threw = False
|
|
try:
|
|
parser.parse(
|
|
"""
|
|
namespace MyNamespace {
|
|
static any bar();
|
|
};
|
|
"""
|
|
)
|
|
|
|
results = parser.finish()
|
|
except WebIDL.WebIDLError:
|
|
threw = True
|
|
harness.ok(threw, "Should have thrown.")
|
|
|
|
parser = parser.reset()
|
|
threw = False
|
|
try:
|
|
parser.parse(
|
|
"""
|
|
namespace MyNamespace {
|
|
any bar();
|
|
};
|
|
|
|
interface MyNamespace {
|
|
any baz();
|
|
};
|
|
"""
|
|
)
|
|
|
|
results = parser.finish()
|
|
except WebIDL.WebIDLError:
|
|
threw = True
|
|
harness.ok(threw, "Should have thrown.")
|
|
|
|
parser = parser.reset()
|
|
threw = False
|
|
try:
|
|
parser.parse(
|
|
"""
|
|
interface MyNamespace {
|
|
any baz();
|
|
};
|
|
|
|
namespace MyNamespace {
|
|
any bar();
|
|
};
|
|
"""
|
|
)
|
|
|
|
results = parser.finish()
|
|
except WebIDL.WebIDLError:
|
|
threw = True
|
|
harness.ok(threw, "Should have thrown.")
|
|
|
|
parser = parser.reset()
|
|
threw = False
|
|
try:
|
|
parser.parse(
|
|
"""
|
|
namespace MyNamespace {
|
|
any baz();
|
|
};
|
|
|
|
namespace MyNamespace {
|
|
any bar();
|
|
};
|
|
"""
|
|
)
|
|
|
|
results = parser.finish()
|
|
except WebIDL.WebIDLError:
|
|
threw = True
|
|
harness.ok(threw, "Should have thrown.")
|
|
|
|
parser = parser.reset()
|
|
threw = False
|
|
try:
|
|
parser.parse(
|
|
"""
|
|
partial namespace MyNamespace {
|
|
any baz();
|
|
};
|
|
|
|
interface MyNamespace {
|
|
any bar();
|
|
};
|
|
"""
|
|
)
|
|
|
|
results = parser.finish()
|
|
except WebIDL.WebIDLError:
|
|
threw = True
|
|
harness.ok(threw, "Should have thrown.")
|
|
|
|
parser = parser.reset()
|
|
threw = False
|
|
try:
|
|
parser.parse(
|
|
"""
|
|
namespace MyNamespace {
|
|
any bar();
|
|
};
|
|
|
|
partial interface MyNamespace {
|
|
any baz();
|
|
};
|
|
"""
|
|
)
|
|
|
|
results = parser.finish()
|
|
except WebIDL.WebIDLError:
|
|
threw = True
|
|
harness.ok(threw, "Should have thrown.")
|
|
|
|
parser = parser.reset()
|
|
threw = False
|
|
try:
|
|
parser.parse(
|
|
"""
|
|
partial interface MyNamespace {
|
|
any baz();
|
|
};
|
|
|
|
namespace MyNamespace {
|
|
any bar();
|
|
};
|
|
"""
|
|
)
|
|
|
|
results = parser.finish()
|
|
except WebIDL.WebIDLError:
|
|
threw = True
|
|
harness.ok(threw, "Should have thrown.")
|
|
|
|
parser = parser.reset()
|
|
threw = False
|
|
try:
|
|
parser.parse(
|
|
"""
|
|
interface MyNamespace {
|
|
any bar();
|
|
};
|
|
|
|
partial namespace MyNamespace {
|
|
any baz();
|
|
};
|
|
"""
|
|
)
|
|
|
|
results = parser.finish()
|
|
except WebIDL.WebIDLError:
|
|
threw = True
|
|
harness.ok(threw, "Should have thrown.")
|