2012-05-21 15:12:37 +04:00
|
|
|
# This Source Code Form is subject to the terms of the Mozilla Public
|
|
|
|
# License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
|
|
# file, You can obtain one at http://mozilla.org/MPL/2.0/.
|
2010-05-10 18:09:13 +04:00
|
|
|
|
|
|
|
|
2015-02-19 18:35:08 +03:00
|
|
|
def main(header, propFile):
|
2018-06-10 15:25:47 +03:00
|
|
|
mappings = {}
|
2010-05-10 18:09:13 +04:00
|
|
|
|
2018-06-10 15:25:47 +03:00
|
|
|
with open(propFile, "r") as f:
|
|
|
|
for line in f:
|
|
|
|
line = line.strip()
|
|
|
|
if not line.startswith("#"):
|
|
|
|
parts = line.split("=", 1)
|
|
|
|
if len(parts) == 2 and len(parts[0]) > 0:
|
|
|
|
mappings[parts[0].strip()] = parts[1].strip()
|
2010-05-10 18:09:13 +04:00
|
|
|
|
2018-06-10 15:25:47 +03:00
|
|
|
keys = mappings.keys()
|
2010-05-10 18:09:13 +04:00
|
|
|
|
2018-06-10 15:25:47 +03:00
|
|
|
header.write("// This is a generated file. Please do not edit.\n")
|
|
|
|
header.write("// Please edit the corresponding .properties file instead.\n")
|
2010-05-10 18:09:13 +04:00
|
|
|
|
2020-02-28 03:28:24 +03:00
|
|
|
entries = [
|
|
|
|
'{ "%s", "%s", %d }' % (key, mappings[key], len(mappings[key]))
|
|
|
|
for key in sorted(keys)
|
|
|
|
]
|
2018-06-10 15:25:47 +03:00
|
|
|
header.write(",\n".join(entries) + "\n")
|