comparison gcc/ada/libgnat/a-direct.ads @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children 1830386684a0
comparison
equal deleted inserted replaced
111:04ced10e8804 131:84e7813d76e9
4 -- -- 4 -- --
5 -- A D A . D I R E C T O R I E S -- 5 -- A D A . D I R E C T O R I E S --
6 -- -- 6 -- --
7 -- S p e c -- 7 -- S p e c --
8 -- -- 8 -- --
9 -- Copyright (C) 2004-2017, Free Software Foundation, Inc. -- 9 -- Copyright (C) 2004-2018, Free Software Foundation, Inc. --
10 -- -- 10 -- --
11 -- This specification is derived for use with GNAT from AI-00248, which is -- 11 -- This specification is derived for use with GNAT from AI-00248, which is --
12 -- expected to be a part of a future expected revised Ada Reference Manual. -- 12 -- expected to be a part of a future expected revised Ada Reference Manual. --
13 -- The copyright notice above, and the license provisions that follow apply -- 13 -- The copyright notice above, and the license provisions that follow apply --
14 -- solely to the contents of the part following the private keyword. -- 14 -- solely to the contents of the part following the private keyword. --
229 229
230 ---------------------------------------- 230 ----------------------------------------
231 -- File and directory name operations -- 231 -- File and directory name operations --
232 ---------------------------------------- 232 ----------------------------------------
233 233
234 type Name_Case_Kind is
235 (Unknown, Case_Sensitive, Case_Insensitive, Case_Preserving);
236 -- The type Name_Case_Kind represents the kind of file-name equivalence
237 -- rule for directories.
238
234 function Full_Name (Name : String) return String; 239 function Full_Name (Name : String) return String;
235 -- Returns the full name corresponding to the file name specified by Name. 240 -- Returns the full name corresponding to the file name specified by Name.
236 -- The exception Name_Error is propagated if the string given as Name does 241 -- The exception Name_Error is propagated if the string given as Name does
237 -- not allow the identification of an external file (including directories 242 -- not allow the identification of an external file (including directories
238 -- and special files). 243 -- and special files).
278 -- the string given as Containing_Directory is not null and does not allow 283 -- the string given as Containing_Directory is not null and does not allow
279 -- the identification of a directory, or if the string given as Extension 284 -- the identification of a directory, or if the string given as Extension
280 -- is not null and is not a possible extension, or if the string given as 285 -- is not null and is not a possible extension, or if the string given as
281 -- Name is not a possible simple name (if Extension is null) or base name 286 -- Name is not a possible simple name (if Extension is null) or base name
282 -- (if Extension is non-null). 287 -- (if Extension is non-null).
288
289 function Name_Case_Equivalence (Name : String) return Name_Case_Kind;
290 -- Returns the file-name equivalence rule for the directory containing
291 -- Name. Raises Name_Error if Name is not a full name. Returns
292 -- Case_Sensitive if file names that differ only in the case of letters are
293 -- considered different names. If file names that differ only in the case
294 -- of letters are considered the same name, then Case_Preserving is
295 -- returned if names have the case of the file name used when a file is
296 -- created; and Case_Insensitive is returned otherwise. Returns Unknown if
297 -- the file-name equivalence is not known.
283 298
284 -------------------------------- 299 --------------------------------
285 -- File and directory queries -- 300 -- File and directory queries --
286 -------------------------------- 301 --------------------------------
287 302