Differences From Artifact [9a3f72fc75]:
- File natools-accumulators-string_accumulator_linked_lists.ads — part of check-in [e2088218f7] at 2011-11-29 14:13:16 on branch trunk — natools-accumulators-string_accumulator_linked_lists: simple implementation of String_Accumulator_Stack (user: nat, size: 4202) [annotate] [blame] [check-ins using]
- File src/natools-accumulators-string_accumulator_linked_lists.ads — part of check-in [fb1e9e5c96] at 2011-12-09 22:56:32 on branch trunk — Separation of library source and test code into distinct directories (user: nat, size: 4202) [annotate] [blame] [check-ins using]
To Artifact [424f3aab09]:
- File src/natools-accumulators-string_accumulator_linked_lists.ads — part of check-in [3b9912ed66] at 2014-07-19 18:27:21 on branch trunk — Add pragma Preelaborable_Initialization throughout the code (user: nat, size: 4275) [annotate] [blame] [check-ins using]
| ︙ | |||
25 26 27 28 29 30 31 32 33 34 35 36 37 38 | 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 | + |
package Natools.Accumulators.String_Accumulator_Linked_Lists is
pragma Preelaborate (String_Accumulator_Linked_Lists);
type String_Accumulator_Linked_List
(Build : not null access function (Depth : Positive)
return String_Accumulator'Class)
is new String_Accumulator_Stack with private;
pragma Preelaborable_Initialization (String_Accumulator_Linked_List);
procedure Append (To : in out String_Accumulator_Linked_List;
Text : String);
-- Append the given String to the internal buffer
procedure Hard_Reset (Acc : in out String_Accumulator_Linked_List);
-- Empty the internal buffer and free all possible memory
|
| ︙ |