From 5c2089c8a0a23a9052c52081f67a36f41c2d9964 Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime2.jacquemin@gmail.com>
Date: Wed, 30 Mar 2022 16:52:07 +0200
Subject: [PATCH] [ivette] Display the number of callstacks
---
ivette/src/frama-c/plugins/eva/style.css | 5 +++++
ivette/src/frama-c/plugins/eva/valuetable.tsx | 6 ++++++
2 files changed, 11 insertions(+)
diff --git a/ivette/src/frama-c/plugins/eva/style.css b/ivette/src/frama-c/plugins/eva/style.css
index 3b17203e0f8..b1f806a19cd 100644
--- a/ivette/src/frama-c/plugins/eva/style.css
+++ b/ivette/src/frama-c/plugins/eva/style.css
@@ -189,6 +189,11 @@
align-content: start;
}
+.eva-nb-callstacks {
+ color: var(--info-text);
+ padding-right: 11px;
+}
+
/* -------------------------------------------------------------------------- */
/* --- Table Headers CSS --- */
/* -------------------------------------------------------------------------- */
diff --git a/ivette/src/frama-c/plugins/eva/valuetable.tsx b/ivette/src/frama-c/plugins/eva/valuetable.tsx
index 208daf158ff..21dab982089 100644
--- a/ivette/src/frama-c/plugins/eva/valuetable.tsx
+++ b/ivette/src/frama-c/plugins/eva/valuetable.tsx
@@ -743,6 +743,12 @@ async function FunctionSection(props: FunctionProps): Promise<JSX.Element> {
/>
<Cell className="eva-fct-name">{fct}</Cell>
<Filler />
+ <div
+ className='eva-nb-callstacks'
+ style={{ display: byCallstacks ? 'block' : 'none' }}
+ >
+ {`${callstacks.length} callstacks`}
+ </div>
<IconButton
icon="ITEMS.LIST"
className="eva-probeinfo-button"
--
GitLab