Differences From Artifact [836dd2af49]:
- File src/natools-s_expressions-lockable.ads — part of check-in [e61f083c1a] at 2014-02-28 19:00:53 on branch trunk — s_expressions-lockable: new package with an interface and a wrapper to lock a descriptor in the current sub-expression (user: nat, size: 4679) [annotate] [blame] [check-ins using]
To Artifact [4870e19dfa]:
- File src/natools-s_expressions-lockable.ads — part of check-in [5d63dd5d69] at 2014-03-04 19:18:09 on branch trunk — s_expressions-lockable: new function to help invalidate popped states (user: nat, size: 4761) [annotate] [blame] [check-ins using]
| ︙ | |||
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)
|
| ︙ |