[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Qemu-devel] [PATCH v2 06/15] qapi: Simplify inclusion cycle detection
From: |
Markus Armbruster |
Subject: |
[Qemu-devel] [PATCH v2 06/15] qapi: Simplify inclusion cycle detection |
Date: |
Tue, 16 Jun 2015 16:40:49 +0200 |
We maintain a stack of filenames in include_hist for convenient cycle
detection.
As error_path() demonstrates, the same information is readily
available in the expr_info, so just use that, and drop include_hist.
Signed-off-by: Markus Armbruster <address@hidden>
Reviewed-by: Eric Blake <address@hidden>
---
scripts/qapi.py | 18 ++++++++----------
1 file changed, 8 insertions(+), 10 deletions(-)
diff --git a/scripts/qapi.py b/scripts/qapi.py
index 716e348..a24a7e2 100644
--- a/scripts/qapi.py
+++ b/scripts/qapi.py
@@ -101,15 +101,10 @@ class QAPIExprError(Exception):
class QAPISchema:
- def __init__(self, fp, include_hist = [],
- previously_included = [], incl_info = None):
- """ include_hist is a stack used to detect inclusion cycles
- previously_included is a global state used to avoid multiple
- inclusions of the same file"""
+ def __init__(self, fp, previously_included = [], incl_info = None):
abs_fname = os.path.abspath(fp.name)
fname = fp.name
self.fname = fname
- self.include_hist = include_hist + [(fname, abs_fname)]
previously_included.append(abs_fname)
self.incl_info = incl_info
self.src = fp.read()
@@ -135,10 +130,13 @@ class QAPISchema:
% include)
incl_abs_fname = os.path.join(os.path.dirname(abs_fname),
include)
- for elem in self.include_hist:
- if incl_abs_fname == elem[1]:
+ # catch inclusion cycle
+ inf = expr_info
+ while inf:
+ if incl_abs_fname == os.path.abspath(inf['file']):
raise QAPIExprError(expr_info, "Inclusion loop for %s"
% include)
+ inf = inf['parent']
# skip multiple include of the same file
if incl_abs_fname in previously_included:
continue
@@ -147,8 +145,8 @@ class QAPISchema:
except IOError, e:
raise QAPIExprError(expr_info,
'%s: %s' % (e.strerror, include))
- exprs_include = QAPISchema(fobj, self.include_hist,
- previously_included, expr_info)
+ exprs_include = QAPISchema(fobj, previously_included,
+ expr_info)
self.exprs.extend(exprs_include.exprs)
else:
expr_elem = {'expr': expr,
--
1.9.3
- [Qemu-devel] [PATCH v2 00/15] qapi: Miscellaneous fixes and cleanups, Markus Armbruster, 2015/06/16
- [Qemu-devel] [PATCH v2 05/15] qapi: Fix file name in error messages for included files, Markus Armbruster, 2015/06/16
- [Qemu-devel] [PATCH v2 12/15] qapi-types: Don't filter out expressions with 'gen', Markus Armbruster, 2015/06/16
- [Qemu-devel] [PATCH v2 09/15] qapi: Better separate the different kinds of helpers, Markus Armbruster, 2015/06/16
- [Qemu-devel] [PATCH v2 01/15] MAINTAINERS: Fix up QAPI and QAPI schema file patterns, Markus Armbruster, 2015/06/16
- [Qemu-devel] [PATCH v2 08/15] qapi: Move exprs checking from parse_schema() to check_exprs(), Markus Armbruster, 2015/06/16
- [Qemu-devel] [PATCH v2 13/15] qapi-types: Drop unused members parameters, Markus Armbruster, 2015/06/16
- [Qemu-devel] [PATCH v2 07/15] qapi: Fix to reject stray 't', 'f' and 'n', Markus Armbruster, 2015/06/16
- [Qemu-devel] [PATCH v2 06/15] qapi: Simplify inclusion cycle detection,
Markus Armbruster <=
- [Qemu-devel] [PATCH v2 02/15] qapi: Drop bogus command from docs, Markus Armbruster, 2015/06/16
- [Qemu-devel] [PATCH v2 04/15] qapi: Improve a couple of confusing variable names, Markus Armbruster, 2015/06/16
- [Qemu-devel] [PATCH v2 14/15] qapi-types: Split generate_fwd_builtin() off generate_fwd_struct(), Markus Armbruster, 2015/06/16
- [Qemu-devel] [PATCH v2 11/15] qapi: Catch and reject flat union branch of array type, Markus Armbruster, 2015/06/16
- [Qemu-devel] [PATCH v2 15/15] qapi-types: Bury code dead since commit 6b5abc7, Markus Armbruster, 2015/06/16
- [Qemu-devel] [PATCH v2 10/15] tests/qapi-schema: New flat union array branch test case, Markus Armbruster, 2015/06/16
- [Qemu-devel] [PATCH v2 03/15] qapi: Eliminate superfluous QAPISchema attribute input_dir, Markus Armbruster, 2015/06/16