[region] initiate Ivette plug-in

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

+/* ************************************************************************ */
+/*                                                                          */
+/*   This file is part of Frama-C.                                          */
+/*                                                                          */
+/*   Copyright (C) 2007-2024                                                */
+/*     CEA (Commissariat à l'énergie atomique et aux énergies               */
+/*          alternatives)                                                   */
+/*                                                                          */
+/*   you can redistribute it and/or modify it under the terms of the GNU    */
+/*   Lesser General Public License as published by the Free Software        */
+/*   Foundation, version 2.1.                                               */
+/*                                                                          */
+/*   It is distributed in the hope that it will be useful,                  */
+/*   but WITHOUT ANY WARRANTY; without even the implied warranty of         */
+/*   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the          */
+/*   GNU Lesser General Public License for more details.                    */
+/*                                                                          */
+/*   See the GNU Lesser General Public License version 2.1                  */
+/*   for more details (enclosed in the file licenses/LGPLv2.1).             */
+/*                                                                          */
+/* ************************************************************************ */
+
+// --------------------------------------------------------------------------
+// --- Regions
+// --------------------------------------------------------------------------
+
+import React from 'react';
+import { Label } from 'dome/controls/labels';
+import * as Ivette from 'ivette';
+
+Ivette.registerComponent({
+  id: 'fc.region.main',
+  label: 'Region Analysis',
+  preferredPosition: 'B',
+  children: <Label label='Hello Regions'/>,
+});
+
+// --------------------------------------------------------------------------

ivette/src/frama-c/plugins/region/pkg.json

+{
+  "name": "Frama-C/Region"
+}