diff --git a/ivette/src/frama-c/plugins/region/index.tsx b/ivette/src/frama-c/plugins/region/index.tsx new file mode 100644 index 0000000000000000000000000000000000000000..7985093d24870bc6dd62e8270904883d96dd6577 --- /dev/null +++ b/ivette/src/frama-c/plugins/region/index.tsx @@ -0,0 +1,38 @@ +/* ************************************************************************ */ +/* */ +/* 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'/>, +}); + +// -------------------------------------------------------------------------- diff --git a/ivette/src/frama-c/plugins/region/pkg.json b/ivette/src/frama-c/plugins/region/pkg.json new file mode 100644 index 0000000000000000000000000000000000000000..f9ba9b34ba90149f99ddfff2cce84846d98bbf63 --- /dev/null +++ b/ivette/src/frama-c/plugins/region/pkg.json @@ -0,0 +1,3 @@ +{ + "name": "Frama-C/Region" +}