diff options
Diffstat (limited to 'spec/fltk-filenames.ads')
| -rw-r--r-- | spec/fltk-filenames.ads | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/spec/fltk-filenames.ads b/spec/fltk-filenames.ads index 2872b8c..5d9b5ff 100644 --- a/spec/fltk-filenames.ads +++ b/spec/fltk-filenames.ads @@ -54,6 +54,8 @@ package FLTK.Filenames is + -- Uniform Resource Identifiers -- + function Decode_URI (URI : in Path_String) return Path_String; @@ -64,6 +66,8 @@ package FLTK.Filenames is + -- Pathnames -- + function Absolute (Name : in Path_String) return Path_String; @@ -94,6 +98,8 @@ package FLTK.Filenames is + -- Filenames -- + function Base_Name (Name : in Path_String) return Path_String; @@ -110,6 +116,8 @@ package FLTK.Filenames is + -- Directories -- + function Is_Directory (Name : in Path_String) return Boolean; @@ -122,6 +130,8 @@ package FLTK.Filenames is + -- Patterns -- + function Match (Input, Pattern : in String) return Boolean; |