From d6c644c1aec147a8b1efec3a8ca8e8e4ae16b48f Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime.jacquemin@cea.fr>
Date: Wed, 20 Oct 2021 11:06:30 +0200
Subject: [PATCH] [ivette] Removing useless stuff

---
 ivette/src/frama-c/plugins/eva/probeinfos.tsx | 4 ++--
 ivette/src/frama-c/plugins/eva/valueinfos.tsx | 3 +--
 ivette/src/frama-c/plugins/eva/valuetable.tsx | 4 ++--
 3 files changed, 5 insertions(+), 6 deletions(-)

diff --git a/ivette/src/frama-c/plugins/eva/probeinfos.tsx b/ivette/src/frama-c/plugins/eva/probeinfos.tsx
index 54fe12b1dea..e017c8cba3a 100644
--- a/ivette/src/frama-c/plugins/eva/probeinfos.tsx
+++ b/ivette/src/frama-c/plugins/eva/probeinfos.tsx
@@ -50,7 +50,7 @@ function ProbeEditor() {
   if (!probe || !probe.code) return null;
   const { label } = probe;
   const { code } = probe;
-  const { stmt, fct, marker } = probe;
+  const { stmt, marker } = probe;
   const { rank } = probe;
   const byCS = probe.byCallstacks;
   const stacks = model.getStacks(probe);
@@ -65,7 +65,7 @@ function ProbeEditor() {
       <div className="eva-probeinfo-code">
         <SizedArea cols={cols} rows={rows}>{code}</SizedArea>
       </div>
-      <Code><Stmt stmt={stmt} rank={rank} fct={fct} marker={marker} /></Code>
+      <Code><Stmt stmt={stmt} rank={rank} marker={marker} /></Code>
       <IconButton
         icon="ITEMS.LIST"
         className="eva-probeinfo-button"
diff --git a/ivette/src/frama-c/plugins/eva/valueinfos.tsx b/ivette/src/frama-c/plugins/eva/valueinfos.tsx
index 1dacf8242b7..8a0f04e8bef 100644
--- a/ivette/src/frama-c/plugins/eva/valueinfos.tsx
+++ b/ivette/src/frama-c/plugins/eva/valueinfos.tsx
@@ -53,7 +53,6 @@ const D = new Dome.Debug('Source Code');
 interface StmtProps {
   stmt?: string;
   rank?: number;
-  fct: string;
   marker: Ast.marker;
 }
 
@@ -147,7 +146,7 @@ export function StackInfos() {
         onDoubleClick={onDoubleClick}
       >
         {caller}
-        <Stmt stmt={stmt} rank={rank} fct={caller} marker={stmt} />
+        <Stmt stmt={stmt} rank={rank} marker={stmt} />
       </Cell>
     );
   };
diff --git a/ivette/src/frama-c/plugins/eva/valuetable.tsx b/ivette/src/frama-c/plugins/eva/valuetable.tsx
index 50377b7977f..6ac8445c329 100644
--- a/ivette/src/frama-c/plugins/eva/valuetable.tsx
+++ b/ivette/src/frama-c/plugins/eva/valuetable.tsx
@@ -118,12 +118,12 @@ function TableCell(props: TableCellProps) {
       if (transient) {
         contents = <span className="dome-text-label">« Probe »</span>;
       } else {
-        const { stmt, rank, code, label, fct } = probe;
+        const { stmt, rank, code, label } = probe;
         const textClass = label ? 'dome-text-label' : 'dome-text-cell';
         contents = (
           <>
             <span className={textClass}>{label ?? code}</span>
-            <Stmt stmt={stmt} rank={rank} fct={fct} marker={marker} />
+            <Stmt stmt={stmt} rank={rank} marker={marker} />
           </>
         );
       }
-- 
GitLab