From daa6898719a2604dc654cc7fca80fd64220e9cb6 Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime.jacquemin@cea.fr>
Date: Wed, 3 Nov 2021 16:08:52 +0100
Subject: [PATCH] [ivette] Using the ModelProp interface everywhere
It is a minor detail
---
ivette/src/frama-c/plugins/eva/valuetable.tsx | 11 +++++------
1 file changed, 5 insertions(+), 6 deletions(-)
diff --git a/ivette/src/frama-c/plugins/eva/valuetable.tsx b/ivette/src/frama-c/plugins/eva/valuetable.tsx
index 577249f0764..086103576a0 100644
--- a/ivette/src/frama-c/plugins/eva/valuetable.tsx
+++ b/ivette/src/frama-c/plugins/eva/valuetable.tsx
@@ -33,7 +33,7 @@ import { Hpack, Filler } from 'dome/layout/boxes';
import { Icon } from 'dome/controls/icons';
import { Cell } from 'dome/controls/labels';
import { IconButton } from 'dome/controls/buttons';
-import { ModelProp, Model } from 'frama-c/plugins/eva/model';
+import { ModelProp } from 'frama-c/plugins/eva/model';
// Frama-C
import * as States from 'frama-c/states';
@@ -275,11 +275,11 @@ function TableHead(props: TableHeadProps) {
interface TableRowProps {
style: React.CSSProperties;
index: number;
- data: Model;
+ data: ModelProp;
}
function TableRow(props: TableRowProps) {
- const model = props.data;
+ const { model } = props.data;
const row = model.getRow(props.index);
if (!row) return null;
const { kind, probes } = row;
@@ -347,9 +347,8 @@ export interface Dimension {
height: number;
}
-export interface ValuesPanelProps extends Dimension {
+export interface ValuesPanelProps extends Dimension, ModelProp {
zoom: number;
- model: Model;
}
export function ValuesPanel(props: ValuesPanelProps) {
@@ -385,7 +384,7 @@ export function ValuesPanel(props: ValuesPanelProps) {
estimatedItemSize={estimatedHeight}
width={width}
height={height}
- itemData={model}
+ itemData={{ model }}
>
{TableRow}
</VariableSizeList>
--
GitLab