49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
function Current_Level (Stack : Lock_Stack) return Natural is
begin
return Stack.Level;
end Current_Level;
-------------------------------------
-- Lockable Wrapper Implementation --
-------------------------------------
function Current_Event (Object : in Wrapper) return Events.Event is
|
>
>
>
>
>
>
|
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
|