summaryrefslogtreecommitdiff
path: root/src/fltk-environment.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/fltk-environment.ads')
-rw-r--r--src/fltk-environment.ads23
1 files changed, 23 insertions, 0 deletions
diff --git a/src/fltk-environment.ads b/src/fltk-environment.ads
index a163d19..cfa63a8 100644
--- a/src/fltk-environment.ads
+++ b/src/fltk-environment.ads
@@ -5,6 +5,9 @@ package FLTK.Environment is
type Preferences is new Wrapper with private;
+ type Preferences_Reference (Data : not null access Preferences'Class) is
+ limited null record with Implicit_Dereference => Data;
+
type Scope is (Root, User);
@@ -159,5 +162,25 @@ private
(This : in out Preferences);
+
+
+ pragma Inline (Number_Of_Entries);
+ pragma Inline (Get_Key);
+ pragma Inline (Entry_Exists);
+ pragma Inline (Entry_Size);
+
+
+ pragma Inline (Get);
+ pragma Inline (Set);
+
+
+ pragma Inline (Delete_Entry);
+ pragma Inline (Delete_All_Entries);
+ pragma Inline (Clear);
+
+
+ pragma Inline (Flush);
+
+
end FLTK.Environment;