From 9103959499ef1f87381f7c406170afca1ee3bb27 Mon Sep 17 00:00:00 2001
From: Birte Kristina Friesel <birte.friesel@uos.de>
Date: Mon, 27 Nov 2023 13:43:43 +0100
Subject: show-model=static: leave out parameter dependence heuristics

---
 bin/analyze-archive.py | 14 ++++++++++++--
 bin/analyze-kconfig.py |  8 +++++++-
 bin/analyze-log.py     |  8 +++++++-
 3 files changed, 26 insertions(+), 4 deletions(-)

(limited to 'bin')

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 ---")
-- 
cgit v1.2.3