From 755d95e15e2dfd48c1ff8f013892c74caf862baa Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 15 Feb 2022 09:10:23 +0100
Subject: [PATCH] [ivette] fix types for stricter linting rules
---
ivette/src/frama-c/kernel/PivotTable.tsx | 10 +++++++---
1 file changed, 7 insertions(+), 3 deletions(-)
diff --git a/ivette/src/frama-c/kernel/PivotTable.tsx b/ivette/src/frama-c/kernel/PivotTable.tsx
index 6989025dc4c..28d3865a677 100644
--- a/ivette/src/frama-c/kernel/PivotTable.tsx
+++ b/ivette/src/frama-c/kernel/PivotTable.tsx
@@ -40,7 +40,11 @@ import 'react-pivottable/pivottable.css';
// --- Pivot Table for Properties
// --------------------------------------------------------------------------
-export function Pivot(props: any) {
+interface PivotTableProps {
+ data: string[][];
+}
+
+export function Pivot(props: PivotTableProps) : JSX.Element {
const [state, setState] = React.useState({});
return (
<PivotTableUI
@@ -70,13 +74,13 @@ function PivotTableBuild () : JSX.Element {
const rawData = States.useSyncValue(PivotState.pivotState);
const [computing, setComputing] = React.useState(false);
const [error, setError] = React.useState('');
- async function handleError (err: string) {
+ async function handleError (err: string) : Promise<void> {
const msg =
`The pivot table could not be built: an error has occured (${err}).`;
setError(msg);
Status.setMessage({ text: msg, kind: 'error' });
}
- async function compute () {
+ async function compute () : Promise<void> {
setComputing(true);
setError('');
Server.send(PivotState.compute, [])
--
GitLab