Skip to content

Commit

Permalink
Merge branch 'topic/update_copyrights' into 'master'
Browse files Browse the repository at this point in the history 
Update copyright headers in LKQL/GNATcheck sources

See merge request eng/libadalang/langkit-query-language!194
  • Loading branch information
@HugoGGuerrier
HugoGGuerrier committed Apr 17, 2024
2 parents 0cb4ae6 + 6a553a4 commit 9a0d29c
Show file tree
Hide file tree
Showing 241 changed files with 967 additions and 5,043 deletions.
26 changes: 4 additions & 22 deletions lkql_checker/src/checker_app.ads
View file
@@ -1,25 +1,7 @@
------------------------------------------------------------------------------
-- --
-- LKQL --
-- --
-- Copyright (C) 2019-2023, AdaCore --
-- --
-- LKQL is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
-- Software Foundation; either version 3, or (at your option) any later --
-- version. This software 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. --
-- --
-- As a special exception under Section 7 of GPL version 3, you are --
-- granted additional permissions described in the GCC Runtime Library --
-- Exception, version 3.1, as published by the Free Software Foundation. --
-- --
-- You should have received a copy of the GNU General Public License and a --
-- copy of the GCC Runtime Library Exception along with this program; see --
-- the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
-- <http://www.gnu.org/licenses/>. --
------------------------------------------------------------------------------
--
-- Copyright (C) 2005-2024, AdaCore
-- SPDX-License-Identifier: GPL-3.0-or-later
--

with Libadalang.Analysis; use Libadalang.Analysis;

Expand Down
22 changes: 4 additions & 18 deletions lkql_checker/src/gnatcheck-compiler.adb
View file
@@ -1,21 +1,7 @@
------------------------------------------------------------------------------
-- --
-- GNATCHECK --
-- --
-- Copyright (C) 2005-2023, AdaCore --
-- --
-- GNATCHECK is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
-- Software Foundation; either version 3, or (at your option) any later --
-- version. This software 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. --
-- --
-- You should have received a copy of the GNU General Public License and a --
-- copy of the GCC Runtime Library Exception along with this program; see --
-- the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
-- <http://www.gnu.org/licenses/>. --
------------------------------------------------------------------------------
--
-- Copyright (C) 2005-2024, AdaCore
-- SPDX-License-Identifier: GPL-3.0-or-later
--

with Ada.Characters.Handling; use Ada.Characters.Handling;
with Ada.Directories; use Ada.Directories;
Expand Down
22 changes: 4 additions & 18 deletions lkql_checker/src/gnatcheck-compiler.ads
View file
@@ -1,21 +1,7 @@
------------------------------------------------------------------------------
-- --
-- GNATCHECK --
-- --
-- Copyright (C) 2004-2023, AdaCore --
-- --
-- GNATCHECK is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
-- Software Foundation; either version 3, or (at your option) any later --
-- version. This software 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. --
-- --
-- You should have received a copy of the GNU General Public License and a --
-- copy of the GCC Runtime Library Exception along with this program; see --
-- the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
-- <http://www.gnu.org/licenses/>. --
------------------------------------------------------------------------------
--
-- Copyright (C) 2005-2024, AdaCore
-- SPDX-License-Identifier: GPL-3.0-or-later
--

-- This package defines "rules" for getting the information for the GNATCHECK
-- report from the check performed by the compiler.
Expand Down
28 changes: 4 additions & 24 deletions lkql_checker/src/gnatcheck-diagnoses.adb
View file
@@ -1,27 +1,7 @@
------------------------------------------------------------------------------
-- --
-- GNATCHECK COMPONENTS --
-- --
-- G N A T C H E C K . D I A G N O S E S --
-- --
-- B o d y --
-- --
-- Copyright (C) 2005-2023, AdaCore --
-- --
-- GNATCHECK is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
-- Software Foundation; either version 3, or ( at your option) any later --
-- version. GNATCHECK 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 General --
-- Public License for more details. You should have received a copy of the --
-- GNU General Public License distributed with GNAT; see file COPYING3. If --
-- not, go to http://www.gnu.org/licenses for a complete copy of the --
-- license. --
-- --
-- GNATCHECK is maintained by AdaCore (http://www.adacore.com). --
-- --
------------------------------------------------------------------------------
--
-- Copyright (C) 2005-2024, AdaCore
-- SPDX-License-Identifier: GPL-3.0-or-later
--

with Ada.Calendar; use Ada.Calendar;
with Ada.Characters.Handling; use Ada.Characters.Handling;
Expand Down
28 changes: 4 additions & 24 deletions lkql_checker/src/gnatcheck-diagnoses.ads
View file
@@ -1,27 +1,7 @@
------------------------------------------------------------------------------
-- --
-- GNATCHECK COMPONENTS --
-- --
-- G N A T C H E C K . D I A G N O S E S --
-- --
-- S p e c --
-- --
-- Copyright (C) 2006-2023, AdaCore --
-- --
-- GNATCHECK is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
-- Software Foundation; either version 2, or ( at your option) any later --
-- version. GNATCHECK 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 General --
-- Public License for more details. You should have received a copy of the --
-- GNU General Public License distributed with GNAT; see file COPYING. If --
-- not, write to the Free Software Foundation, 51 Franklin Street, Fifth --
-- Floor, Boston, MA 02110-1301, USA. --
-- --
-- GNATCHECK is maintained by AdaCore (http://www.adacore.com). --
-- --
------------------------------------------------------------------------------
--
-- Copyright (C) 2005-2024, AdaCore
-- SPDX-License-Identifier: GPL-3.0-or-later
--

-- This package defines routines for storing diagnostic messages and
-- generating final gnatcheck report. It also provides routines that
Expand Down
28 changes: 4 additions & 24 deletions lkql_checker/src/gnatcheck-ids.ads
View file
@@ -1,27 +1,7 @@
------------------------------------------------------------------------------
-- --
-- GNATCHECK COMPONENTS --
-- --
-- G N A T C H E C K . I D S --
-- --
-- S p e c --
-- --
-- Copyright (C) 2008-2023, AdaCore --
-- --
-- GNATCHECK is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
-- Software Foundation; either version 2, or ( at your option) any later --
-- version. GNATCHECK 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 General --
-- Public License for more details. You should have received a copy of the --
-- GNU General Public License distributed with GNAT; see file COPYING. If --
-- not, write to the Free Software Foundation, 51 Franklin Street, Fifth --
-- Floor, Boston, MA 02110-1301, USA. --
-- --
-- GNATCHECK is maintained by AdaCore (http://www.adacore.com). --
-- --
------------------------------------------------------------------------------
--
-- Copyright (C) 2005-2024, AdaCore
-- SPDX-License-Identifier: GPL-3.0-or-later
--

-- This package defines ID types for rule table and category table. We define
-- ID types in a separate package because both rule type and category type
Expand Down
28 changes: 7 additions & 21 deletions lkql_checker/src/gnatcheck-options.ads
View file
@@ -1,21 +1,7 @@
------------------------------------------------------------------------------
-- --
-- GNATCHECK --
-- --
-- Copyright (C) 2004-2023, AdaCore --
-- --
-- GNATCHECK is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
-- Software Foundation; either version 3, or (at your option) any later --
-- version. This software 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. --
-- --
-- You should have received a copy of the GNU General Public License and a --
-- copy of the GCC Runtime Library Exception along with this program; see --
-- the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
-- <http://www.gnu.org/licenses/>. --
------------------------------------------------------------------------------
--
-- Copyright (C) 2005-2024, AdaCore
-- SPDX-License-Identifier: GPL-3.0-or-later
--

-- This package defines options that are supposed to be of a common interest
-- for all the tools.
Expand All @@ -29,14 +15,14 @@ with Rules_Factory; use Rules_Factory;

package Gnatcheck.Options is

Gnatcheck_Version : constant String := "23.0w";
Gnatcheck_Version : constant String := "25.0w";
-- Full major.minor version for Gnatcheck

Date : constant String := "unknown date";

Version_String : constant String := Gnatcheck_Version & " (" & Date & ")";
Current_Year : constant String := "2024";

Current_Year : constant String := "2022";
Version_String : constant String := Gnatcheck_Version & " (" & Date & ")";

Executable : constant String := Base_Name (Command_Name);
-- Name of the current executable (e.g. "gnatcheck" or "gnatkp")
Expand Down
22 changes: 4 additions & 18 deletions lkql_checker/src/gnatcheck-output.adb
View file
@@ -1,21 +1,7 @@
------------------------------------------------------------------------------
-- --
-- GNATCHECK --
-- --
-- Copyright (C) 2004-2023, AdaCore --
-- --
-- GNATCHECK is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
-- Software Foundation; either version 3, or (at your option) any later --
-- version. This software 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. --
-- --
-- You should have received a copy of the GNU General Public License and a --
-- copy of the GCC Runtime Library Exception along with this program; see --
-- the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
-- <http://www.gnu.org/licenses/>. --
------------------------------------------------------------------------------
--
-- Copyright (C) 2005-2024, AdaCore
-- SPDX-License-Identifier: GPL-3.0-or-later
--

with Ada.Characters.Handling; use Ada.Characters.Handling;
with Ada.Finalization;
Expand Down
22 changes: 4 additions & 18 deletions lkql_checker/src/gnatcheck-output.ads
View file
@@ -1,21 +1,7 @@
------------------------------------------------------------------------------
-- --
-- GNATCHECK --
-- --
-- Copyright (C) 2004-2023, AdaCore --
-- --
-- GNATCHECK is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
-- Software Foundation; either version 3, or (at your option) any later --
-- version. This software 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. --
-- --
-- You should have received a copy of the GNU General Public License and a --
-- copy of the GCC Runtime Library Exception along with this program; see --
-- the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
-- <http://www.gnu.org/licenses/>. --
------------------------------------------------------------------------------
--
-- Copyright (C) 2005-2024, AdaCore
-- SPDX-License-Identifier: GPL-3.0-or-later
--

-- This package contains various output routines.

Expand Down
22 changes: 4 additions & 18 deletions lkql_checker/src/gnatcheck-projects-aggregate.adb
View file
@@ -1,21 +1,7 @@
------------------------------------------------------------------------------
-- --
-- GNATCHECK --
-- --
-- Copyright (C) 2018-2023, AdaCore --
-- --
-- GNATCHECK is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
-- Software Foundation; either version 3, or (at your option) any later --
-- version. This software 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. --
-- --
-- You should have received a copy of the GNU General Public License and a --
-- copy of the GCC Runtime Library Exception along with this program; see --
-- the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
-- <http://www.gnu.org/licenses/>. --
------------------------------------------------------------------------------
--
-- Copyright (C) 2005-2024, AdaCore
-- SPDX-License-Identifier: GPL-3.0-or-later
--

with Ada.Command_Line; use Ada.Command_Line;
with Ada.Containers.Ordered_Sets;
Expand Down

0 comments on commit 9a0d29c

Please sign in to comment.