diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2025-02-06 19:28:33 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2025-02-06 19:28:33 +1300 |
| commit | 547e538476a788dfeb5974f9b8ad29441d18980b (patch) | |
| tree | 00a3c7d80ee403969971bc4b814876b4399f3ada /spec/fltk-environment.ads | |
| parent | befe66a0a98a58e0bdb31bb8c2db4a975a744072 (diff) | |
Slightly better / more consistent comments
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; |