-- (c) Martin M. Dowie, 2003-2004
--
-- This is a non-standard extension to the approved package. It is
-- currently implemented for Win32 only.
--
-- GdM 2009-2010:
-- - Moved Validate, which is not in Ada 2005's Ada.Directories
-- - Renamed with '_' to compile with the "true" GNAT Ada.Directories.
pragma License (Modified_GPL);
with Ada.Directories; use Ada.Directories; -- ...
with Ada.Calendar;
package Ada_Directories_Extensions is
Not_Supported : exception;
-- Can be because the underlying OS does not support this feature
-- or because the implementation does not yet support this feature.
procedure Touch_Modification_Time
(Directory_Entry : in Directory_Entry_Type);
-- Sets the modification of the file specified by <EM>Directory_Entry</EM>
-- to the current system time. Raises Name_Error if the file does not
-- exist or Use_Error if <EM>Name</EM> is an invalid directory
-- entry.
procedure Touch_Modification_Time (Name : in String);
-- Sets the modification of the file specified by <EM>Name</EM> to
-- the current system time. Raises Name_Error if the file does not
-- exist or Use_Error if <EM>Name</EM> is an invalid directory
-- entry.
procedure Set_Access_Time (Directory_Entry : in Directory_Entry_Type;
To : in Ada.Calendar.Time);
-- Set the access time of the file specified by <EM>Directory_Entry</EM> to
-- the value <EM>To</EM>. Raises Name_Error if the file does not
-- exist or Use_Error if <EM>Name</EM> is an invalid directory
-- entry.
procedure Set_Access_Time (Name : in String;
To : in Ada.Calendar.Time);
-- Set the access time of the file specified by <EM>Name</EM> to
-- the value <EM>To</EM>. Raises Name_Error if the file does not
-- exist or Use_Error if <EM>Name</EM> is an invalid directory
-- entry.
procedure Set_Modification_Time (Directory_Entry : in Directory_Entry_Type;
To : in Ada.Calendar.Time);
-- Set the modification time of the file specified by
-- <EM>Directory_Entry</EM> to the value <EM>To</EM>. Raises Name_Error if
-- the file does not exist or Use_Error if <EM>Name</EM> is an invalid
-- directory entry.
procedure Set_Modification_Time (Name : in String;
To : in Ada.Calendar.Time);
-- Set the modification time of the file specified by <EM>Name</EM>
-- to the value <EM>To</EM>. Raises Name_Error if the file does not
-- exist or Use_Error if <EM>Name</EM> is an invalid directory
-- entry.
procedure Set_Times (Directory_Entry : in Directory_Entry_Type;
Access_Time : in Ada.Calendar.Time;
Modification_Time : in Ada.Calendar.Time);
-- Set the access and modification times of the file specified by
-- <EM>Directory_Entry</EM> to the values <EM>Access_Time</EM> and
-- <EM>Modification_Time</EM>. Raises Name_Error if the file does
-- not exist or Use_Error if <EM>Name</EM> is an invalid directory
-- entry.
procedure Set_Times (Name : in String;
Access_Time : in Ada.Calendar.Time;
Modification_Time : in Ada.Calendar.Time);
-- Set the access and modification times of the file specified by
-- <EM>Name</EM> to the values <EM>Access_Time</EM> and
-- <EM>Modification_Time</EM>. Raises Name_Error if the file does
-- not exist or Use_Error if <EM>Name</EM> is an invalid directory
-- entry.
--------------
-- Validate --
--------------
procedure Validate (Name : in Directory_Entry_Type);
--------------
-- Validate --
--------------
procedure Validate (Name : in String);
end Ada_Directories_Extensions;