(out)
| 401 | |
| 402 | |
| 403 | def write_java(out): |
| 404 | with open(out, 'w') as f: |
| 405 | f.write('''/* Generated using gen_toc.py. Do not edit. */ |
| 406 | |
| 407 | import java.util.HashSet; |
| 408 | import java.util.Set; |
| 409 | |
| 410 | public class XmlToHtmlConverterData { |
| 411 | Set<String> allCommandNames = new HashSet<String>(); |
| 412 | ''') |
| 413 | f.write(java_for_user(ROOT_ADMIN) + "\n") |
| 414 | |
| 415 | f.write(''' |
| 416 | } |
| 417 | |
| 418 | ''') |
| 419 | |
| 420 | |
| 421 | write_xml('generatetoc_include.xsl', ROOT_ADMIN) |
no test coverage detected