From 204b9733dd6cd7c75f0f838c9eb9cfd6c2427b0e Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Thu, 12 Sep 2019 08:56:48 +0200 Subject: [PATCH] headers for new files --- headers/header_spec.txt | 5 +++-- src/plugins/gui/dgraph_helper.no.ml | 22 ++++++++++++++++++++++ src/plugins/gui/dgraph_helper.yes.ml | 22 ++++++++++++++++++++++ 3 files changed, 47 insertions(+), 2 deletions(-) diff --git a/headers/header_spec.txt b/headers/header_spec.txt index 77d65e78631..8e2357fb4f2 100644 --- a/headers/header_spec.txt +++ b/headers/header_spec.txt @@ -767,8 +767,9 @@ src/plugins/gui/debug_manager.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/gui/debug_manager.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/gui/design.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/gui/design.mli: CEA_LGPL_OR_PROPRIETARY -src/plugins/gui/dgraph.ml.in: CEA_LGPL_OR_PROPRIETARY -src/plugins/gui/dgraph.mli.in: CEA_LGPL_OR_PROPRIETARY +src/plugins/gui/dgraph_helper.mli: CEA_LGPL_OR_PROPRIETARY +src/plugins/gui/dgraph_helper.no.ml: CEA_LGPL_OR_PROPRIETARY +src/plugins/gui/dgraph_helper.yes.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/gui/file_manager.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/gui/file_manager.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/gui/filetree.ml: CEA_LGPL_OR_PROPRIETARY diff --git a/src/plugins/gui/dgraph_helper.no.ml b/src/plugins/gui/dgraph_helper.no.ml index 0c570ff6a57..e0e6fa57160 100644 --- a/src/plugins/gui/dgraph_helper.no.ml +++ b/src/plugins/gui/dgraph_helper.no.ml @@ -1,3 +1,25 @@ +(**************************************************************************) +(* *) +(* This file is part of Frama-C. *) +(* *) +(* Copyright (C) 2007-2019 *) +(* 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). *) +(* *) +(**************************************************************************) + let window_msg_unavailable () = let buttons = GWindow.Buttons.ok in let message_type = `WARNING in diff --git a/src/plugins/gui/dgraph_helper.yes.ml b/src/plugins/gui/dgraph_helper.yes.ml index 08ca0a0166a..4ad9e14978b 100644 --- a/src/plugins/gui/dgraph_helper.yes.ml +++ b/src/plugins/gui/dgraph_helper.yes.ml @@ -1,3 +1,25 @@ +(**************************************************************************) +(* *) +(* This file is part of Frama-C. *) +(* *) +(* Copyright (C) 2007-2019 *) +(* 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). *) +(* *) +(**************************************************************************) + let graph_window ~parent ~title make_view = let height = int_of_float (float parent#default_height *. 3. /. 4.) in let width = int_of_float (float parent#default_width *. 3. /. 4.) in -- GitLab