+2016-04-27 Arnaud Charlet <charlet@adacore.com>
+
+ * sinput.ads, a-cfdlli.adb, a-crbtgo.adb, a-chtgop.adb, a-cbhama.adb,
+ a-rbtgbo.adb, a-crdlli.adb, a-chtgbo.adb: Minor editing.
+
2016-04-27 Bob Duff <duff@adacore.com>
* a-chtgop.adb (Adjust): Zero the tampering counts on assignment,
-- --
-- B o d y --
-- --
--- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
+-- Copyright (C) 2004-2016, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
with Ada.Containers.Helpers; use Ada.Containers.Helpers;
-with Ada.Containers.Prime_Numbers; use Ada.Containers.Prime_Numbers;
+with Ada.Containers.Prime_Numbers; use Ada.Containers.Prime_Numbers;
-with System; use type System.Address;
+with System; use type System.Address;
package body Ada.Containers.Bounded_Hashed_Maps is
-- --
-- B o d y --
-- --
--- Copyright (C) 2010-2015, Free Software Foundation, Inc. --
+-- Copyright (C) 2010-2016, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- <http://www.gnu.org/licenses/>. --
------------------------------------------------------------------------------
-with System; use type System.Address;
+with System; use type System.Address;
package body Ada.Containers.Formal_Doubly_Linked_Lists with
SPARK_Mode => Off
-- --
-- B o d y --
-- --
--- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
+-- Copyright (C) 2004-2016, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- This unit was originally developed by Matthew J Heaney. --
------------------------------------------------------------------------------
-with System; use type System.Address;
+with System; use type System.Address;
package body Ada.Containers.Hash_Tables.Generic_Bounded_Operations is
with Ada.Containers.Prime_Numbers;
with Ada.Unchecked_Deallocation;
-with System; use type System.Address;
+with System; use type System.Address;
package body Ada.Containers.Hash_Tables.Generic_Operations is
-- --
-- B o d y --
-- --
--- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
+-- Copyright (C) 2004-2016, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- Publisher: The MIT Press (June 18, 1990)
-- ISBN: 0262031418
-with System; use type System.Address;
+with System; use type System.Address;
package body Ada.Containers.Red_Black_Trees.Generic_Operations is
-- --
-- B o d y --
-- --
--- Copyright (C) 2004-2014, Free Software Foundation, Inc. --
+-- Copyright (C) 2004-2016, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- This unit was originally developed by Matthew J Heaney. --
------------------------------------------------------------------------------
-with System; use type System.Address;
+with System; use type System.Address;
package body Ada.Containers.Restricted_Doubly_Linked_Lists is
-- --
-- B o d y --
-- --
--- Copyright (C) 2004-2015, Free Software Foundation, Inc. --
+-- Copyright (C) 2004-2016, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- Publisher: The MIT Press (June 18, 1990)
-- ISBN: 0262031418
-with System; use type System.Address;
+with System; use type System.Address;
package body Ada.Containers.Red_Black_Trees.Generic_Bounded_Operations is
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2015, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2016, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- separate main units.
-- The entries in the table are accessed using a Source_File_Index that
- -- ranges from 1 to Last_Source_File. Each entry has the following fields
+ -- ranges from 1 to Last_Source_File. Each entry has the following fields.
-- Note: fields marked read-only are set by Sinput or one of its child
-- packages when a source file table entry is created, and cannot be
-- As described in Sem_Ch12, a generic instantiation involves making a
-- copy of the tree of the generic template. The source locations in
- -- this tree directly reference the source of the template. However it
+ -- this tree directly reference the source of the template. However, it
-- is also possible to find the location of the instantiation.
-- This is achieved as follows. When an instantiation occurs, a new entry