sediff: change initial sid output to statement-based.

This commit is contained in:
Chris PeBenito 2016-01-12 11:00:14 -05:00
parent 43392c0ede
commit 4f711f2e49

9
sediff
View File

@ -783,17 +783,16 @@ try:
if diff.added_initialsids and not args.stats:
print(" Added Initial SIDs: {0}".format(len(diff.added_initialsids)))
for s in sorted(diff.added_initialsids):
print(" + {0}".format(s))
print(" + {0}".format(s.statement()))
if diff.removed_initialsids and not args.stats:
print(" Removed Initial SIDs: {0}".format(len(diff.removed_initialsids)))
for s in sorted(diff.removed_initialsids):
print(" - {0}".format(s))
print(" - {0}".format(s.statement()))
if diff.modified_initialsids and not args.stats:
print(" Modified Initial SIDs: {0}".format(len(diff.modified_initialsids)))
for name, mod in sorted(diff.modified_initialsids.items()):
print(" * {0} (Modified context)".format(name))
print(" + {0}".format(mod.added_context))
print(" - {0}".format(mod.removed_context))
print(" * {0} +[{1.added_context}] -[{1.removed_context}];".format(
name, mod))
print()