diff options
author | Birte Kristina Friesel <birte.friesel@uos.de> | 2024-02-22 14:37:03 +0100 |
---|---|---|
committer | Birte Kristina Friesel <birte.friesel@uos.de> | 2024-02-22 14:37:03 +0100 |
commit | 3c38aaf7bb3d3f37fdd5895e4ff6fe9137a777e2 (patch) | |
tree | b65df69761f76ba5893d8d11c4f98f3700fc465a /bin | |
parent | 572ba1bedc4aae42d66359468c1de8bd62e1a546 (diff) |
analyze-archive: sorted model output
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/analyze-archive.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/bin/analyze-archive.py b/bin/analyze-archive.py index e3d1232..6fc014a 100755 --- a/bin/analyze-archive.py +++ b/bin/analyze-archive.py @@ -691,12 +691,12 @@ def main(): ) if "param" in args.show_model or "all" in args.show_model: - for state in model.states: - for attribute in model.attributes(state): + for state in sorted(model.states): + for attribute in sorted(model.attributes(state)): info = param_info(state, attribute) dfatool.cli.print_model(f"{state:10s} {attribute:15s}", info) - for trans in model.transitions: - for attribute in model.attributes(trans): + for trans in sorted(model.transitions): + for attribute in sorted(model.attributes(trans)): info = param_info(trans, attribute) dfatool.cli.print_model(f"{trans:10s} {attribute:15s}", info) if args.with_substates: |