Function generate_java_source

javascript/private/gen_file.py:150–189

(file_name, out, preamble, js_map)

def generate_java_source(file_name, out, preamble, js_map):
    if not file_name.endswith(".java"):
        raise RuntimeError("File name must end in .java")
    class_name = os.path.basename(file_name[:-5])

    out.write(_copyright)
    out.write("\n")
    out.write(preamble)
    out.write("")
    out.write(
        f"""
public enum {class_name} {{

    // AUTO GENERATED - DO NOT EDIT BY HAND
"""
    )

    for name, file in js_map.items():
        contents = open(file).read()
        write_atom_literal(out, name, contents, "java", True)

    out.write(
        f"""
  ;
  private final String value;

  public String getValue() {{
    return value;
  }}

  public String toString() {{
    return getValue();
  }}

  {class_name}(String value) {{
    this.value = value;
  }}
}}
"""
    )


def main(argv=[]):