[wp/ivette] selected goals feedback

ivette/src/frama-c/plugins/wp/goals.tsx

@@ -84,10 +84,11 @@ function filterGoal(
 export interface GoalTableProps {
   scope: string | undefined;
   failed: boolean;
+  onFilter: (goals: number, total: number) => void;
 }
 
 export function GoalTable(props: GoalTableProps): JSX.Element {
-  const { scope, failed } = props;
+  const { scope, failed, onFilter } = props;
   const model = States.useSyncArrayModel(WP.goals);
   const [_, updateAstSelection] = States.useSelection();
   const [wpoSelection, setWpoSelection] = React.useState(WP.goalDefault);
@@ -106,7 +107,10 @@ export function GoalTable(props: GoalTableProps): JSX.Element {
     } else {
       model.setFilter();
     }
-  }, [model, scope, failed]);
+    const goals = model.getRowCount();
+    const total = model.getTotalRowCount();
+    onFilter(goals, total);
+  }, [model, scope, failed, onFilter]);
 
   return (
     <Table

ivette/src/frama-c/plugins/wp/index.tsx

@@ -26,6 +26,7 @@
 
 import React from 'react';
 import * as Dome from 'dome';
+import { Label } from 'dome/controls/labels';
 import { IconButton } from 'dome/controls/buttons';
 import * as Ivette from 'ivette';
 import * as States from 'frama-c/states';
@@ -40,18 +41,27 @@ function WPGoals(): JSX.Element {
   const [scoped, flipScoped] = Dome.useFlipSettings('frama-c.wp.goals.scoped');
   const [failed, flipFailed] = Dome.useFlipSettings('frama-c.wp.goals.failed');
   const [selection] = States.useSelection();
+  const [goals,setGoals] = React.useState(0);
+  const [total,setTotal] = React.useState(0);
+  const onFilter = React.useCallback((goals, total) => {
+    setGoals(goals);
+    setTotal(total);
+  }, [setGoals, setTotal]);
   const fct = selection?.current?.fct;
   const scope = scoped ? fct : undefined;
   return (
     <>
       <Ivette.TitleBar>
+        <Label display={goals < total}>
+          {goals} / {total}
+        </Label>
         <IconButton icon='COMPONENT' title='Current Scope Only'
                     enabled={!!fct}
                     selected={scoped} onClick={flipScoped} />
         <IconButton icon='CIRC.QUESTION' title='Unresolved Goals Only'
                     selected={failed} onClick={flipFailed} />
       </Ivette.TitleBar>
-      <GoalTable scope={scope} failed={failed} />
+      <GoalTable scope={scope} failed={failed} onFilter={onFilter} />
     </>
   );
 }