2020-10-09 18:15:26 +02:00
|
|
|
# This work is licensed under the terms of the GNU GPL, version 2 or later.
|
|
|
|
# See the COPYING file in the top-level directory.
|
|
|
|
|
|
|
|
"""
|
|
|
|
QAPI Generator
|
|
|
|
|
|
|
|
This is the main entry point for generating C code from the QAPI schema.
|
|
|
|
"""
|
|
|
|
|
|
|
|
import argparse
|
|
|
|
import sys
|
|
|
|
from typing import Optional
|
|
|
|
|
qapi: Prefer explicit relative imports
All of the QAPI include statements are changed to be package-aware, as
explicit relative imports.
A quirk of Python packages is that the name of the package exists only
*outside* of the package. This means that to a module inside of the qapi
folder, there is inherently no such thing as the "qapi" package. The
reason these imports work is because the "qapi" package exists in the
context of the caller -- the execution shim, where sys.path includes a
directory that has a 'qapi' folder in it.
When we write "from qapi import sibling", we are NOT referencing the folder
'qapi', but rather "any package named qapi in sys.path". If you should
so happen to have a 'qapi' package in your path, it will use *that*
package.
When we write "from .sibling import foo", we always reference explicitly
our sibling module; guaranteeing consistency in *where* we are importing
these modules from.
This can be useful when working with virtual environments and packages
in development mode. In development mode, a package is installed as a
series of symlinks that forwards to your same source files. The problem
arises because code quality checkers will follow "import qapi.x" to the
"installed" version instead of the sibling file and -- even though they
are the same file -- they have different module paths, and this causes
cyclic import problems, false positive type mismatch errors, and more.
It can also be useful when dealing with hierarchical packages, e.g. if
we allow qemu.core.qmp, qemu.qapi.parser, etc.
Signed-off-by: John Snow <jsnow@redhat.com>
Reviewed-by: Eduardo Habkost <ehabkost@redhat.com>
Reviewed-by: Cleber Rosa <crosa@redhat.com>
Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Message-Id: <20201009161558.107041-6-jsnow@redhat.com>
Reviewed-by: Markus Armbruster <armbru@redhat.com>
Signed-off-by: Markus Armbruster <armbru@redhat.com>
2020-10-09 18:15:27 +02:00
|
|
|
from .commands import gen_commands
|
2021-05-19 20:39:45 +02:00
|
|
|
from .common import must_match
|
qapi: Prefer explicit relative imports
All of the QAPI include statements are changed to be package-aware, as
explicit relative imports.
A quirk of Python packages is that the name of the package exists only
*outside* of the package. This means that to a module inside of the qapi
folder, there is inherently no such thing as the "qapi" package. The
reason these imports work is because the "qapi" package exists in the
context of the caller -- the execution shim, where sys.path includes a
directory that has a 'qapi' folder in it.
When we write "from qapi import sibling", we are NOT referencing the folder
'qapi', but rather "any package named qapi in sys.path". If you should
so happen to have a 'qapi' package in your path, it will use *that*
package.
When we write "from .sibling import foo", we always reference explicitly
our sibling module; guaranteeing consistency in *where* we are importing
these modules from.
This can be useful when working with virtual environments and packages
in development mode. In development mode, a package is installed as a
series of symlinks that forwards to your same source files. The problem
arises because code quality checkers will follow "import qapi.x" to the
"installed" version instead of the sibling file and -- even though they
are the same file -- they have different module paths, and this causes
cyclic import problems, false positive type mismatch errors, and more.
It can also be useful when dealing with hierarchical packages, e.g. if
we allow qemu.core.qmp, qemu.qapi.parser, etc.
Signed-off-by: John Snow <jsnow@redhat.com>
Reviewed-by: Eduardo Habkost <ehabkost@redhat.com>
Reviewed-by: Cleber Rosa <crosa@redhat.com>
Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Message-Id: <20201009161558.107041-6-jsnow@redhat.com>
Reviewed-by: Markus Armbruster <armbru@redhat.com>
Signed-off-by: Markus Armbruster <armbru@redhat.com>
2020-10-09 18:15:27 +02:00
|
|
|
from .error import QAPIError
|
|
|
|
from .events import gen_events
|
|
|
|
from .introspect import gen_introspect
|
|
|
|
from .schema import QAPISchema
|
|
|
|
from .types import gen_types
|
|
|
|
from .visit import gen_visit
|
2020-10-09 18:15:26 +02:00
|
|
|
|
|
|
|
|
|
|
|
def invalid_prefix_char(prefix: str) -> Optional[str]:
|
2021-05-19 20:39:45 +02:00
|
|
|
match = must_match(r'([A-Za-z_.-][A-Za-z0-9_.-]*)?', prefix)
|
2020-10-09 18:15:26 +02:00
|
|
|
if match.end() != len(prefix):
|
|
|
|
return prefix[match.end()]
|
|
|
|
return None
|
|
|
|
|
|
|
|
|
|
|
|
def generate(schema_file: str,
|
|
|
|
output_dir: str,
|
|
|
|
prefix: str,
|
|
|
|
unmask: bool = False,
|
2022-01-26 17:11:26 +01:00
|
|
|
builtins: bool = False,
|
|
|
|
gen_tracing: bool = False) -> None:
|
2020-10-09 18:15:26 +02:00
|
|
|
"""
|
|
|
|
Generate C code for the given schema into the target directory.
|
|
|
|
|
|
|
|
:param schema_file: The primary QAPI schema file.
|
|
|
|
:param output_dir: The output directory to store generated code.
|
|
|
|
:param prefix: Optional C-code prefix for symbol names.
|
|
|
|
:param unmask: Expose non-ABI names through introspection?
|
|
|
|
:param builtins: Generate code for built-in types?
|
|
|
|
|
|
|
|
:raise QAPIError: On failures.
|
|
|
|
"""
|
|
|
|
assert invalid_prefix_char(prefix) is None
|
|
|
|
|
|
|
|
schema = QAPISchema(schema_file)
|
|
|
|
gen_types(schema, output_dir, prefix, builtins)
|
|
|
|
gen_visit(schema, output_dir, prefix, builtins)
|
2022-01-26 17:11:26 +01:00
|
|
|
gen_commands(schema, output_dir, prefix, gen_tracing)
|
2020-10-09 18:15:26 +02:00
|
|
|
gen_events(schema, output_dir, prefix)
|
|
|
|
gen_introspect(schema, output_dir, prefix, unmask)
|
|
|
|
|
|
|
|
|
|
|
|
def main() -> int:
|
|
|
|
"""
|
|
|
|
gapi-gen executable entry point.
|
|
|
|
Expects arguments via sys.argv, see --help for details.
|
|
|
|
|
|
|
|
:return: int, 0 on success, 1 on failure.
|
|
|
|
"""
|
|
|
|
parser = argparse.ArgumentParser(
|
|
|
|
description='Generate code from a QAPI schema')
|
|
|
|
parser.add_argument('-b', '--builtins', action='store_true',
|
|
|
|
help="generate code for built-in types")
|
|
|
|
parser.add_argument('-o', '--output-dir', action='store',
|
|
|
|
default='',
|
|
|
|
help="write output to directory OUTPUT_DIR")
|
|
|
|
parser.add_argument('-p', '--prefix', action='store',
|
|
|
|
default='',
|
|
|
|
help="prefix for symbols")
|
|
|
|
parser.add_argument('-u', '--unmask-non-abi-names', action='store_true',
|
|
|
|
dest='unmask',
|
|
|
|
help="expose non-ABI names in introspection")
|
2022-01-26 17:11:26 +01:00
|
|
|
|
2022-01-26 17:11:30 +01:00
|
|
|
# Option --suppress-tracing exists so we can avoid solving build system
|
2022-01-26 17:11:26 +01:00
|
|
|
# problems. TODO Drop it when we no longer need it.
|
2022-01-26 17:11:30 +01:00
|
|
|
parser.add_argument('--suppress-tracing', action='store_true',
|
|
|
|
help="suppress adding trace events to qmp marshals")
|
2022-01-26 17:11:26 +01:00
|
|
|
|
2020-10-09 18:15:26 +02:00
|
|
|
parser.add_argument('schema', action='store')
|
|
|
|
args = parser.parse_args()
|
|
|
|
|
|
|
|
funny_char = invalid_prefix_char(args.prefix)
|
|
|
|
if funny_char:
|
|
|
|
msg = f"funny character '{funny_char}' in argument of --prefix"
|
|
|
|
print(f"{sys.argv[0]}: {msg}", file=sys.stderr)
|
|
|
|
return 1
|
|
|
|
|
|
|
|
try:
|
|
|
|
generate(args.schema,
|
|
|
|
output_dir=args.output_dir,
|
|
|
|
prefix=args.prefix,
|
|
|
|
unmask=args.unmask,
|
2022-01-26 17:11:26 +01:00
|
|
|
builtins=args.builtins,
|
2022-01-26 17:11:30 +01:00
|
|
|
gen_tracing=not args.suppress_tracing)
|
2020-10-09 18:15:26 +02:00
|
|
|
except QAPIError as err:
|
|
|
|
print(f"{sys.argv[0]}: {str(err)}", file=sys.stderr)
|
|
|
|
return 1
|
|
|
|
return 0
|