| # Copyright 2015 Google Inc. All rights reserved. |
| # |
| # Permission is hereby granted, free of charge, to any person obtaining a copy |
| # of this software and associated documentation files (the "Software"), to deal |
| # in the Software without restriction, including without limitation the rights |
| # to use, copy, modify, merge, publish, distribute, sublicense, and/or sell |
| # copies of the Software, and to permit persons to whom the Software is |
| # furnished to do so, subject to the following conditions: |
| # |
| # The above copyright notice and this permission notice shall be included in |
| # all copies or substantial portions of the Software. |
| # |
| # THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR |
| # IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, |
| # FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE |
| # AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER |
| # LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, |
| # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN |
| # THE SOFTWARE. |
| |
| # Note: this script no longer works on python 2! |
| |
| # get https://html.spec.whatwg.org/multipage/entities.json |
| # Usage: python tools/mk_entities.py entities.json > src/entities.rs |
| |
| import json |
| import sys |
| |
| def main(args): |
| with open(args[1]) as json_file: |
| jsondata = json.load(json_file) |
| entities = [entity[1:-1] for entity in jsondata.keys() if entity.endswith(';')] |
| entities.sort() |
| print(f"""// Copyright 2015 Google Inc. All rights reserved. |
| // |
| // Permission is hereby granted, free of charge, to any person obtaining a copy |
| // of this software and associated documentation files (the "Software"), to deal |
| // in the Software without restriction, including without limitation the rights |
| // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell |
| // copies of the Software, and to permit persons to whom the Software is |
| // furnished to do so, subject to the following conditions: |
| // |
| // The above copyright notice and this permission notice shall be included in |
| // all copies or substantial portions of the Software. |
| // |
| // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR |
| // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, |
| // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE |
| // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER |
| // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, |
| // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN |
| // THE SOFTWARE. |
| |
| //! Expansions of HTML5 entities |
| |
| // Autogenerated by mk_entities.py |
| |
| const ENTITIES: [(&[u8], &str); {len(entities)}] = [""") |
| |
| for e in entities: |
| codepoints = jsondata['&' + e + ';']["codepoints"]; |
| s = ''.join([r'\u{%04X}' % cp for cp in codepoints]) |
| print(f" (b\"{e}\", \"{s}\"),") |
| print("""]; |
| |
| pub(crate) fn get_entity(bytes: &[u8]) -> Option<&'static str> { |
| ENTITIES |
| .binary_search_by_key(&bytes, |&(key, _value)| key) |
| .ok() |
| .map(|i| ENTITIES[i].1) |
| } |
| """) |
| |
| main(sys.argv) |