diff options
author | Birte Kristina Friesel <birte.friesel@uos.de> | 2023-11-27 13:43:43 +0100 |
---|---|---|
committer | Birte Kristina Friesel <birte.friesel@uos.de> | 2023-11-27 13:43:43 +0100 |
commit | 9103959499ef1f87381f7c406170afca1ee3bb27 (patch) | |
tree | f30c7139d76e3ed3eaa6ad2f041c25bae8a8c678 /bin | |
parent | 7b564fc3f766c2428ba70a449c12024607f555a7 (diff) |
show-model=static: leave out parameter dependence heuristics
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/analyze-archive.py | 14 | ||||
-rwxr-xr-x | bin/analyze-kconfig.py | 8 | ||||
-rwxr-xr-x | bin/analyze-log.py | 8 |
3 files changed, 26 insertions, 4 deletions
diff --git a/bin/analyze-archive.py b/bin/analyze-archive.py index 5638182..1d623b1 100755 --- a/bin/analyze-archive.py +++ b/bin/analyze-archive.py @@ -651,13 +651,23 @@ if __name__ == "__main__": if "static" in show_models or "all" in show_models: for state in model.states: for attribute in model.attributes(state): - dfatool.cli.print_static(model, static_model, state, attribute) + dfatool.cli.print_static( + model, + static_model, + state, + attribute, + with_dependence="all" in show_models, + ) if args.with_substates: for submodel in model.submodel_by_name.values(): for substate in submodel.states: for subattribute in submodel.attributes(substate): dfatool.cli.print_static( - submodel, submodel.get_static(), substate, subattribute + submodel, + submodel.get_static(), + substate, + subattribut, + with_dependence="all" in show_modelse, ) for trans in model.transitions: diff --git a/bin/analyze-kconfig.py b/bin/analyze-kconfig.py index 0f7c4ba..0900255 100755 --- a/bin/analyze-kconfig.py +++ b/bin/analyze-kconfig.py @@ -493,7 +493,13 @@ def main(): print("--- static model ---") for name in model.names: for attribute in model.attributes(name): - dfatool.cli.print_static(model, static_model, name, attribute) + dfatool.cli.print_static( + model, + static_model, + name, + attribute, + with_dependence="all" in args.show_model, + ) if "param" in args.show_model or "all" in args.show_model: print("--- param model ---") diff --git a/bin/analyze-log.py b/bin/analyze-log.py index 41aa9af..3538a98 100755 --- a/bin/analyze-log.py +++ b/bin/analyze-log.py @@ -215,7 +215,13 @@ def main(): print("--- static model ---") for name in sorted(model.names): for attribute in sorted(model.attributes(name)): - dfatool.cli.print_static(model, static_model, name, attribute) + dfatool.cli.print_static( + model, + static_model, + name, + attribute, + with_dependence="all" in args.show_model, + ) if "param" in args.show_model or "all" in args.show_model: print("--- param model ---") |