Natools

Diff
Login

Differences From Artifact [a27ae30975]:

To Artifact [a0ead12b97]:


49
50
51
52
53
54
55






56
57
58
59
60
61
62
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68







+
+
+
+
+
+









   function Current_Level (Stack : Lock_Stack) return Natural is
   begin
      return Stack.Level;
   end Current_Level;


   function Null_State return Lock_State is
   begin
      return (0, 0);
   end Null_State;



   -------------------------------------
   -- Lockable Wrapper Implementation --
   -------------------------------------

   function Current_Event (Object : in Wrapper) return Events.Event is