summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBirte Kristina Friesel <birte.friesel@uos.de>2024-01-09 16:53:52 +0100
committerBirte Kristina Friesel <birte.friesel@uos.de>2024-01-09 16:53:52 +0100
commitd613ebe16e6d127dc72cd49f041400afce68e8a6 (patch)
tree0cd24c69ec47fad6e4e615b31a9ffb664bffc147
parentc08ff6c41376a6bba21114a5c552fa82ce1e0632 (diff)
--show-model=param: show static model where no function has been found
-rwxr-xr-xbin/analyze-archive.py2
-rwxr-xr-xbin/analyze-kconfig.py2
-rwxr-xr-xbin/analyze-log.py2
-rw-r--r--lib/cli.py4
4 files changed, 10 insertions, 0 deletions
diff --git a/bin/analyze-archive.py b/bin/analyze-archive.py
index b13aa82..5432ffd 100755
--- a/bin/analyze-archive.py
+++ b/bin/analyze-archive.py
@@ -691,6 +691,8 @@ if __name__ == "__main__":
dfatool.cli.print_splitinfo(
model.parameters, info, f"{state:10s} {attribute:15s}"
)
+ elif type(info) is StaticFunction:
+ dfatool.cli.print_staticinfo(f"{state:10s} {attribute:15s}", info)
elif type(info) is SubstateFunction:
print(f"{state:10s} {attribute:15s}: Substate (TODO)")
for trans in model.transitions:
diff --git a/bin/analyze-kconfig.py b/bin/analyze-kconfig.py
index 2a1d6be..8d8b63a 100755
--- a/bin/analyze-kconfig.py
+++ b/bin/analyze-kconfig.py
@@ -535,6 +535,8 @@ def main():
dfatool.cli.print_splitinfo(
model.parameters, info, f"{name:20s} {attribute:15s}"
)
+ elif type(info) is dfatool.cli.StaticFunction:
+ dfatool.cli.print_staticinfo(f"{state:10s} {attribute:15s}", info)
if "table" in args.show_quality or "all" in args.show_quality:
if xv_method is not None:
diff --git a/bin/analyze-log.py b/bin/analyze-log.py
index 090fbc3..8171cbb 100755
--- a/bin/analyze-log.py
+++ b/bin/analyze-log.py
@@ -233,6 +233,8 @@ def main():
dfatool.cli.print_splitinfo(
model.parameters, info, f"{name:10s} {attribute:15s}"
)
+ elif type(info) is df.StaticFunction:
+ dfatool.cli.print_staticinfo(f"{state:10s} {attribute:15s}", info)
if "table" in args.show_quality or "all" in args.show_quality:
if xv_method is not None:
diff --git a/lib/cli.py b/lib/cli.py
index 55436cd..d6f89b5 100644
--- a/lib/cli.py
+++ b/lib/cli.py
@@ -86,6 +86,10 @@ def print_analyticinfo(prefix, info):
print(f"{empty:{len(prefix)}s} {info.model_args}")
+def print_staticinfo(prefix, info):
+ print(f"{prefix}: {info.value}")
+
+
def print_splitinfo(param_names, info, prefix=""):
if type(info) is SplitFunction:
for k, v in info.child.items():