mirror of https://github.com/openXC7/prjxray.git
54 lines
1.5 KiB
Python
54 lines
1.5 KiB
Python
|
#!/usr/bin/env python3
|
||
|
|
|
||
|
|
from prjxray import util
|
||
|
|
|
||
|
|
|
||
|
|
def run(fnin, fnout=None, strict=False, verbose=False):
|
||
|
|
lines = open(fnin, 'r').read().split('\n')
|
||
|
|
tags = set()
|
||
|
|
bitss = set()
|
||
|
|
for line in lines:
|
||
|
|
line = line.strip()
|
||
|
|
if line == '':
|
||
|
|
continue
|
||
|
|
tag, bits, mode = util.parse_db_line(line)
|
||
|
|
if strict:
|
||
|
|
assert not mode, "strict: got ill defined line: %s" % (line, )
|
||
|
|
assert tag not in tags, "strict: got duplicate tag %s (ex: %s)" % (
|
||
|
|
tag, line)
|
||
|
|
assert bits not in bitss, "strict: got duplicate bits %s (ex: %s)" % (
|
||
|
|
bits, line)
|
||
|
|
tags.add(tag)
|
||
|
|
bitss.add(bits)
|
||
|
|
|
||
|
|
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, check 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()
|