Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-08 08:33:26 +00:00
Code Issues Projects Releases Packages Wiki Activity

script: Refer to DOM interfaces with generic types in generated bindings. (#35457)

Browse source 
Signed-off-by: Josh Matthews <josh@joshmatthews.net>
This commit is contained in:
Josh Matthews 2025-02-21 06:10:00 -05:00 • committed by GitHub
parent 14db055d46
commit 1192ae32b0
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
20 changed files with 627 additions and 167 deletions
Download patch file Download diff file Expand all files Collapse all files

12
components/script_bindings/codegen/run.py
View file

@ -28,7 +28,7 @@ def main():
import WebIDL
from Configuration import Configuration
from CodegenRust import CGBindingRoot
from CodegenRust import CGBindingRoot, CGConcreteBindingRoot
parser = WebIDL.Parser(make_dir(os.path.join(out_dir, "cache")))
webidls = [name for name in os.listdir(webidls_dir) if name.endswith(".webidl")]
@ -48,6 +48,7 @@ def main():
parser_results = parser.finish()
config = Configuration(config_file, parser_results)
make_dir(os.path.join(out_dir, "Bindings"))
make_dir(os.path.join(out_dir, "ConcreteBindings"))
for name, filename in [
("PrototypeList", "PrototypeList.rs"),
@ -59,7 +60,9 @@ def main():
("InheritTypes", "InheritTypes.rs"),
("ConcreteInheritTypes", "ConcreteInheritTypes.rs"),
("Bindings", "Bindings/mod.rs"),
("UnionTypes", "UnionTypes.rs"),
("Bindings", "ConcreteBindings/mod.rs"),
("UnionTypes", "GenericUnionTypes.rs"),
("ConcreteUnionTypes", "UnionTypes.rs"),
("DomTypes", "DomTypes.rs"),
("DomTypeHolder", "DomTypeHolder.rs"),
]:
@ -74,6 +77,11 @@ def main():
if module:
with open(os.path.join(out_dir, prefix + ".rs"), "wb") as f:
f.write(module.encode("utf-8"))
prefix = "ConcreteBindings/%sBinding" % webidl[:-len(".webidl")]
module = CGConcreteBindingRoot(config, prefix, filename).define()
if module:
with open(os.path.join(out_dir, prefix + ".rs"), "wb") as f:
f.write(module.encode("utf-8"))
def make_dir(path):