John Snow 7c610ce6a9 qapi/parser: Assert lexer value is a string ...

The type checker can't narrow the type of the token value to string,
because it's only loosely correlated with the return token.

We know that a token of '#' should always have a "str" value.
Add an assertion.

Signed-off-by: John Snow <jsnow@redhat.com>
Message-Id: <20210519183951.3946870-6-jsnow@redhat.com>
Reviewed-by: Markus Armbruster <armbru@redhat.com>
Signed-off-by: Markus Armbruster <armbru@redhat.com>

2021-05-20 11:28:27 +02:00

..

__init__.py

…

.flake8

qapi: delint using flake8

2020-10-10 11:37:47 +02:00

.isort.cfg

qapi: enforce import order/styling with isort

2020-10-10 11:37:47 +02:00

commands.py

qapi: Implement deprecated-input=reject for QMP command arguments

2021-03-19 16:05:11 +01:00

common.py

qapi: Permit flat union members for any tag value

2021-03-23 22:30:08 +01:00

error.py

qapi/error: Add type hints

2021-04-30 12:59:54 +02:00

events.py

qapi: Implement deprecated-output=hide for QMP event data

2021-03-19 15:43:33 +01:00

expr.py

qapi/expr: Update authorship and copyright information

2021-04-30 12:59:54 +02:00

gen.py

qapi: Replace List[str] with Sequence[str] for ifcond

2021-02-18 17:10:29 +01:00

introspect.py

qapi/introspect.py: set _gen_tree's default ifcond argument to ()

2021-02-18 19:51:14 +01:00

main.py

qapi/main: handle theoretical None-return from re.match()

2021-02-08 14:15:58 +01:00

mypy.ini

qapi/error.py: enable mypy checks

2021-04-30 12:59:54 +02:00

parser.py

qapi/parser: Assert lexer value is a string

2021-05-20 11:28:27 +02:00

pylintrc

qapi/error.py: enable pylint checks

2021-04-30 12:59:54 +02:00

schema.py

qapi/parser: Don't try to handle file errors

2021-05-20 11:28:27 +02:00

source.py

qapi/source: Remove line number from QAPISourceInfo initializer

2021-05-20 11:28:27 +02:00

types.py

qapi: Replace List[str] with Sequence[str] for ifcond

2021-02-18 17:10:29 +01:00

visit.py

qapi: Implement deprecated-input=reject for QMP command arguments

2021-03-19 16:05:11 +01:00