------------------------------------------------------------------------------
--  Copyright (C) 2020 by Heisenbug Ltd. (gh+spat@heisenbug.eu)
--
--  This work is free. You can redistribute it and/or modify it under the
--  terms of the Do What The Fuck You Want To Public License, Version 2,
--  as published by Sam Hocevar. See the LICENSE file for more details.
------------------------------------------------------------------------------
pragma License (Unrestricted);

------------------------------------------------------------------------------
--
--  SPARK Proof Analysis Tool
--
--  S.P.A.T. - GNAT project file (.gpr) support.
--
------------------------------------------------------------------------------

limited with Ada.Containers.Hashed_Maps;
limited with GNATCOLL.VFS;

package SPAT.GPR_Support is

   package SPARK_Source_Maps is new
     Ada.Containers.Hashed_Maps (Key_Type        => SPARK_File_Name,
                                 Element_Type    => Source_File_Name,
                                 Hash            => SPAT.Hash,
                                 Equivalent_Keys => "=",
                                 "="             => "=");

   ---------------------------------------------------------------------------
   --  Get_SPARK_Files
   --
   --  Retrieve all (existing) .spark files from the project.
   ---------------------------------------------------------------------------
   function Get_SPARK_Files
     (GPR_File : GNATCOLL.VFS.Filesystem_String) return SPARK_Source_Maps.Map;

end SPAT.GPR_Support;