diff options
Diffstat (limited to 'spec/fltk-environment.ads')
| -rw-r--r-- | spec/fltk-environment.ads | 28 |
1 files changed, 22 insertions, 6 deletions
diff --git a/spec/fltk-environment.ads b/spec/fltk-environment.ads index 4bb807b..d4a1322 100644 --- a/spec/fltk-environment.ads +++ b/spec/fltk-environment.ads @@ -36,12 +36,6 @@ package FLTK.Environment is - function New_UUID - return String; - - - - package Forge is function From_Filesystem @@ -76,6 +70,16 @@ package FLTK.Environment is + -- Static -- + + function New_UUID + return String; + + + + + -- Disk Activity -- + procedure Flush (This : in Database); @@ -86,6 +90,8 @@ package FLTK.Environment is + -- Deletion -- + procedure Delete_Entry (This : in out Pref_Group; Key : in String) @@ -112,6 +118,8 @@ package FLTK.Environment is + -- Key Values -- + function Number_Of_Entries (This : in Pref_Group) return Natural; @@ -135,6 +143,8 @@ package FLTK.Environment is + -- Groups -- + function Number_Of_Groups (This : in Pref_Group) return Natural; @@ -153,6 +163,8 @@ package FLTK.Environment is + -- Names -- + function At_Name (This : in Pref_Group) return String; @@ -164,6 +176,8 @@ package FLTK.Environment is + -- Retrieval -- + function Get (This : in Pref_Group; Key : in String) @@ -238,6 +252,8 @@ package FLTK.Environment is + -- Storage -- + procedure Set (This : in out Pref_Group; Key : in String; |