(name, brief, description, language, namespace, source)
| 38 | return line |
| 39 | |
| 40 | def gen_doc_header(name, brief, description, language, namespace, source): |
| 41 | return f""" |
| 42 | /*# {brief} |
| 43 | * |
| 44 | * {description} |
| 45 | * |
| 46 | * @document |
| 47 | * @language {language} |
| 48 | * @name {name} |
| 49 | * @namespace {namespace} |
| 50 | * @path {source} |
| 51 | */ |
| 52 | """ |
| 53 | |
| 54 | def get_indent(indent): |
| 55 | return ' ' * indent |