Natools

Check-in [5d63dd5d69]
Login
Overview
Comment:s_expressions-lockable: new function to help invalidate popped states
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 5d63dd5d6949fe127ad3384064ef1a3868ba0e91
User & Date: nat on 2014-03-04 19:18:09
Other Links: manifest | tags
Context
2014-03-05
21:22
s_expressions-parsers: implement the new Lockable.Descriptor interface on Subparser objects check-in: d6970f2d05 user: nat tags: trunk
2014-03-04
19:18
s_expressions-lockable: new function to help invalidate popped states check-in: 5d63dd5d69 user: nat tags: trunk
2014-03-03
20:56
s_expressions-lockable-tests: fix bad expected value in interface test check-in: 98b6fee05f user: nat tags: trunk
Changes

Modified src/natools-s_expressions-lockable.adb from [a27ae30975] to [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

Modified src/natools-s_expressions-lockable.ads from [836dd2af49] to [4870e19dfa].

44
45
46
47
48
49
50



51
52
53
54
55
56
57
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60







+
+
+







      --  Remove upper part of Stack, up to and including the entry pointed
      --  by State. Constraint_Error is raised if State does not point to a
      --  valid level in the stack, and if Allow_Gap is True and more than
      --  one item would be removed.

   function Current_Level (Stack : Lock_Stack) return Natural;
      --  Return the value on top of the stack

   function Null_State return Lock_State;
      --  Return an invalid Lock_State


   type Descriptor is limited interface and S_Expressions.Descriptor;

   procedure Lock
     (Object : in out Descriptor;
      State : out Lock_State)