mirror of https://github.com/openXC7/prjxray.git
71 lines
2.1 KiB
Python
Executable File
71 lines
2.1 KiB
Python
Executable File
#!/usr/bin/env python3
|
|
# -*- coding: utf-8 -*-
|
|
#
|
|
# Copyright (C) 2017-2020 The Project X-Ray Authors.
|
|
#
|
|
# Use of this source code is governed by a ISC-style
|
|
# license that can be found in the LICENSE file or at
|
|
# https://opensource.org/licenses/ISC
|
|
#
|
|
# SPDX-License-Identifier: ISC
|
|
|
|
import sys, re
|
|
from prjxray import util
|
|
|
|
|
|
def run(fnin, fnout=None, strict=False, verbose=False):
|
|
lines = open(fnin, 'r').read().split('\n')
|
|
tags = dict()
|
|
bitss = dict()
|
|
for line in lines:
|
|
line = line.strip()
|
|
if line == '':
|
|
continue
|
|
# TODO: figure out what to do with masks
|
|
if line.startswith("bit "):
|
|
continue
|
|
tag, bits, mode, _ = util.parse_db_line(line)
|
|
if strict:
|
|
if mode != "always":
|
|
assert not mode, "strict: got ill defined line: %s" % (line, )
|
|
if tag in tags:
|
|
print("Original line: %s" % tags[tag], file=sys.stderr)
|
|
print("New line: %s" % line, file=sys.stderr)
|
|
assert 0, "strict: got duplicate tag %s" % (tag, )
|
|
assert bits not in bitss, "strict: got duplicate bits %s: %s %s" % (
|
|
bits, tag, bitss[bits])
|
|
tags[tag] = line
|
|
if bits != None:
|
|
bitss[bits] = tag
|
|
|
|
if fnout:
|
|
with open(fnout, "w") as fout:
|
|
for line in sorted(lines):
|
|
line = line.strip()
|
|
if line == '':
|
|
continue
|
|
fout.write(line + '\n')
|
|
|
|
|
|
def main():
|
|
import argparse
|
|
|
|
parser = argparse.ArgumentParser(
|
|
description="Parse a db file, checking for consistency")
|
|
|
|
util.db_root_arg(parser)
|
|
parser.add_argument('--verbose', action='store_true', help='')
|
|
parser.add_argument(
|
|
'--strict',
|
|
action='store_true',
|
|
help='Complain on unresolved entries (ex: <0 candidates>, <const0>)')
|
|
parser.add_argument('fin', help='')
|
|
parser.add_argument('fout', nargs='?', help='')
|
|
args = parser.parse_args()
|
|
|
|
run(args.fin, args.fout, strict=args.strict, verbose=args.verbose)
|
|
|
|
|
|
if __name__ == '__main__':
|
|
main()
|