-- Set the session to be used by default. This file will be used when the
-- Session parameter in following services is not specified.
- function Current_Session return Session_Type;
+ function Current_Session return not null access Session_Type;
-- Returns the session used by default by all services. This is the
-- latest session specified by Set_Current service or the session
-- provided by default with this implementation.
- function Default_Session return Session_Type;
+ function Default_Session return not null access Session_Type;
-- Returns the default session provided by this package. Note that this is
-- the session return by Current_Session if Set_Current has not been used.
type Session_Type is new Ada.Finalization.Limited_Controlled with record
Data : Session_Data_Access;
+ Self : not null access Session_Type := Session_Type'Unchecked_Access;
end record;
procedure Initialize (Session : in out Session_Type);