| #!/usr/bin/python |
| |
| from __future__ import print_function |
| |
| import os |
| import sys |
| |
| THIS_NAME = "generate.py" |
| |
| # Note: these lists must be kept in sync with the lists in |
| # Document-createElement-namespace.html, and this script must be run whenever |
| # the lists are updated. (We could keep the lists in a shared JSON file, but |
| # seems like too much effort.) |
| FILES = ( |
| ("empty", ""), |
| ("minimal_html", "<!doctype html><title></title>"), |
| |
| ("xhtml", '<html xmlns="http://www.w3.org/1999/xhtml"></html>'), |
| ("svg", '<svg xmlns="http://www.w3.org/2000/svg"></svg>'), |
| ("mathml", '<mathml xmlns="http://www.w3.org/1998/Math/MathML"></mathml>'), |
| |
| ("bare_xhtml", "<html></html>"), |
| ("bare_svg", "<svg></svg>"), |
| ("bare_mathml", "<math></math>"), |
| |
| ("xhtml_ns_removed", """\ |
| <html xmlns="http://www.w3.org/1999/xhtml"> |
| <head><script> |
| var newRoot = document.createElementNS(null, "html"); |
| document.removeChild(document.documentElement); |
| document.appendChild(newRoot); |
| </script></head> |
| </html> |
| """), |
| ("xhtml_ns_changed", """\ |
| <html xmlns="http://www.w3.org/1999/xhtml"> |
| <head><script> |
| var newRoot = document.createElementNS("http://www.w3.org/2000/svg", "abc"); |
| document.removeChild(document.documentElement); |
| document.appendChild(newRoot); |
| </script></head> |
| </html> |
| """), |
| ) |
| |
| EXTENSIONS = ( |
| "html", |
| "xhtml", |
| "xml", |
| "svg", |
| # Was not able to get server MIME type working properly :( |
| #"mml", |
| ) |
| |
| def __main__(): |
| if len(sys.argv) > 1: |
| print("No arguments expected, aborting") |
| return |
| |
| if not os.access(THIS_NAME, os.F_OK): |
| print("Must be run from the directory of " + THIS_NAME + ", aborting") |
| return |
| |
| for name in os.listdir("."): |
| if name == THIS_NAME: |
| continue |
| os.remove(name) |
| |
| manifest = open("MANIFEST", "w") |
| |
| for name, contents in FILES: |
| for extension in EXTENSIONS: |
| f = open(name + "." + extension, "w") |
| f.write(contents) |
| f.close() |
| manifest.write("support " + name + "." + extension + "\n") |
| |
| manifest.close() |
| |
| __main__() |
