summaryrefslogtreecommitdiff
path: root/bin
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 /bin
parentc08ff6c41376a6bba21114a5c552fa82ce1e0632 (diff)
--show-model=param: show static model where no function has been found
Diffstat (limited to 'bin')
-rwxr-xr-xbin/analyze-archive.py2
-rwxr-xr-xbin/analyze-kconfig.py2
-rwxr-xr-xbin/analyze-log.py2
3 files changed, 6 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: