Philippe Mathieu-Daudé | 3d004a3 | 2020-01-30 17:32:25 +0100 | [diff] [blame] | 1 | #!/usr/bin/env python3 |
John Snow | 52a4741 | 2020-10-09 12:15:25 -0400 | [diff] [blame^] | 2 | |
Markus Armbruster | fb0bc83 | 2018-02-26 13:48:58 -0600 | [diff] [blame] | 3 | # This work is licensed under the terms of the GNU GPL, version 2 or later. |
| 4 | # See the COPYING file in the top-level directory. |
| 5 | |
John Snow | 52a4741 | 2020-10-09 12:15:25 -0400 | [diff] [blame^] | 6 | """ |
| 7 | QAPI Generator |
| 8 | |
| 9 | This is the main entry point for generating C code from the QAPI schema. |
| 10 | """ |
Markus Armbruster | e6c42b9 | 2019-10-18 09:43:44 +0200 | [diff] [blame] | 11 | |
Markus Armbruster | 3b446a1 | 2018-02-11 10:35:47 +0100 | [diff] [blame] | 12 | import argparse |
| 13 | import re |
Markus Armbruster | fb0bc83 | 2018-02-26 13:48:58 -0600 | [diff] [blame] | 14 | import sys |
John Snow | 52a4741 | 2020-10-09 12:15:25 -0400 | [diff] [blame^] | 15 | from typing import Optional |
Markus Armbruster | e6c42b9 | 2019-10-18 09:43:44 +0200 | [diff] [blame] | 16 | |
Markus Armbruster | fb0bc83 | 2018-02-26 13:48:58 -0600 | [diff] [blame] | 17 | from qapi.commands import gen_commands |
John Snow | 52a4741 | 2020-10-09 12:15:25 -0400 | [diff] [blame^] | 18 | from qapi.error import QAPIError |
Markus Armbruster | fb0bc83 | 2018-02-26 13:48:58 -0600 | [diff] [blame] | 19 | from qapi.events import gen_events |
| 20 | from qapi.introspect import gen_introspect |
John Snow | 52a4741 | 2020-10-09 12:15:25 -0400 | [diff] [blame^] | 21 | from qapi.schema import QAPISchema |
Markus Armbruster | e6c42b9 | 2019-10-18 09:43:44 +0200 | [diff] [blame] | 22 | from qapi.types import gen_types |
| 23 | from qapi.visit import gen_visit |
Markus Armbruster | fb0bc83 | 2018-02-26 13:48:58 -0600 | [diff] [blame] | 24 | |
| 25 | |
John Snow | 52a4741 | 2020-10-09 12:15:25 -0400 | [diff] [blame^] | 26 | def invalid_prefix_char(prefix: str) -> Optional[str]: |
| 27 | match = re.match(r'([A-Za-z_.-][A-Za-z0-9_.-]*)?', prefix) |
| 28 | if match.end() != len(prefix): |
| 29 | return prefix[match.end()] |
| 30 | return None |
| 31 | |
| 32 | |
| 33 | def generate(schema_file: str, |
| 34 | output_dir: str, |
| 35 | prefix: str, |
| 36 | unmask: bool = False, |
| 37 | builtins: bool = False) -> None: |
| 38 | """ |
| 39 | Generate C code for the given schema into the target directory. |
| 40 | |
| 41 | :param schema_file: The primary QAPI schema file. |
| 42 | :param output_dir: The output directory to store generated code. |
| 43 | :param prefix: Optional C-code prefix for symbol names. |
| 44 | :param unmask: Expose non-ABI names through introspection? |
| 45 | :param builtins: Generate code for built-in types? |
| 46 | |
| 47 | :raise QAPIError: On failures. |
| 48 | """ |
| 49 | assert invalid_prefix_char(prefix) is None |
| 50 | |
| 51 | schema = QAPISchema(schema_file) |
| 52 | gen_types(schema, output_dir, prefix, builtins) |
| 53 | gen_visit(schema, output_dir, prefix, builtins) |
| 54 | gen_commands(schema, output_dir, prefix) |
| 55 | gen_events(schema, output_dir, prefix) |
| 56 | gen_introspect(schema, output_dir, prefix, unmask) |
| 57 | |
| 58 | |
| 59 | def main() -> int: |
| 60 | """ |
| 61 | gapi-gen executable entry point. |
| 62 | Expects arguments via sys.argv, see --help for details. |
| 63 | |
| 64 | :return: int, 0 on success, 1 on failure. |
| 65 | """ |
Markus Armbruster | 3b446a1 | 2018-02-11 10:35:47 +0100 | [diff] [blame] | 66 | parser = argparse.ArgumentParser( |
| 67 | description='Generate code from a QAPI schema') |
| 68 | parser.add_argument('-b', '--builtins', action='store_true', |
| 69 | help="generate code for built-in types") |
John Snow | 52a4741 | 2020-10-09 12:15:25 -0400 | [diff] [blame^] | 70 | parser.add_argument('-o', '--output-dir', action='store', |
| 71 | default='', |
Markus Armbruster | 3b446a1 | 2018-02-11 10:35:47 +0100 | [diff] [blame] | 72 | help="write output to directory OUTPUT_DIR") |
John Snow | 52a4741 | 2020-10-09 12:15:25 -0400 | [diff] [blame^] | 73 | parser.add_argument('-p', '--prefix', action='store', |
| 74 | default='', |
Markus Armbruster | 3b446a1 | 2018-02-11 10:35:47 +0100 | [diff] [blame] | 75 | help="prefix for symbols") |
| 76 | parser.add_argument('-u', '--unmask-non-abi-names', action='store_true', |
| 77 | dest='unmask', |
| 78 | help="expose non-ABI names in introspection") |
| 79 | parser.add_argument('schema', action='store') |
| 80 | args = parser.parse_args() |
Markus Armbruster | fb0bc83 | 2018-02-26 13:48:58 -0600 | [diff] [blame] | 81 | |
John Snow | 52a4741 | 2020-10-09 12:15:25 -0400 | [diff] [blame^] | 82 | funny_char = invalid_prefix_char(args.prefix) |
| 83 | if funny_char: |
| 84 | msg = f"funny character '{funny_char}' in argument of --prefix" |
| 85 | print(f"{sys.argv[0]}: {msg}", file=sys.stderr) |
| 86 | return 1 |
Markus Armbruster | fb0bc83 | 2018-02-26 13:48:58 -0600 | [diff] [blame] | 87 | |
Markus Armbruster | 181feaf | 2018-02-11 10:35:51 +0100 | [diff] [blame] | 88 | try: |
John Snow | 52a4741 | 2020-10-09 12:15:25 -0400 | [diff] [blame^] | 89 | generate(args.schema, |
| 90 | output_dir=args.output_dir, |
| 91 | prefix=args.prefix, |
| 92 | unmask=args.unmask, |
| 93 | builtins=args.builtins) |
Markus Armbruster | 181feaf | 2018-02-11 10:35:51 +0100 | [diff] [blame] | 94 | except QAPIError as err: |
John Snow | 52a4741 | 2020-10-09 12:15:25 -0400 | [diff] [blame^] | 95 | print(f"{sys.argv[0]}: {str(err)}", file=sys.stderr) |
| 96 | return 1 |
| 97 | return 0 |
Markus Armbruster | fb0bc83 | 2018-02-26 13:48:58 -0600 | [diff] [blame] | 98 | |
| 99 | |
| 100 | if __name__ == '__main__': |
John Snow | 52a4741 | 2020-10-09 12:15:25 -0400 | [diff] [blame^] | 101 | sys.exit(main()) |