Natools

Differences From Artifact [a1983f5e7e]:

• File src/natools-s_expressions-generic_caches.adb — part of check-in [66590abe20] at 2014-07-21 18:33:23 on branch trunk — s_expressions-generic_caches: use Parent links to unwind levels much faster when unlocking (user: nat, size: 12341) [annotate] [blame] [check-ins using]

To Artifact [64adc939bb]:

• File src/natools-s_expressions-generic_caches.adb — part of check-in [14c328e4b4] at 2014-09-08 19:52:03 on branch trunk — s_expressions-generic_caches: implement the new Replayable.Descriptor interface in cursors (user: nat, size: 12459) [annotate] [blame] [check-ins using]

418
419
420
421
422
423
424






425

         end loop;
      end if;

      Object.Locked
        := Object.Absolute_Level < Lockable.Current_Level (Object.Stack);
   end Unlock;







end Natools.S_Expressions.Generic_Caches;

>
>
>
>
>
>

418
419
420
421
422
423
424
425
426
427
428
429
430
431

         end loop;
      end if;

      Object.Locked
        := Object.Absolute_Level < Lockable.Current_Level (Object.Stack);
   end Unlock;


   overriding function Duplicate (Object : Cursor) return Cursor is
   begin
      return Object;
   end Duplicate;

end Natools.S_Expressions.Generic_Caches;