Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | Add missing Preelaborate pragmas |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
d53403fc11d378a0f2cc3206451f713e |
| User & Date: | nat 2014-03-13 21:12:55 |
Context
|
2014-03-14
| ||
| 20:58 | s_expressions-interpreter_tests: fully-covering test suite for interpreter package check-in: 67ed4dd9af user: nat tags: trunk | |
|
2014-03-13
| ||
| 21:12 | Add missing Preelaborate pragmas check-in: d53403fc11 user: nat tags: trunk | |
|
2014-03-12
| ||
| 21:26 | s_expression-interpreters: new package providing a S-expression interpreter which dispatch to client-provided commands check-in: 6e4b5836c5 user: nat tags: trunk | |
Changes
Changes to src/natools-s_expressions-caches.ads.
| ︙ | ︙ | |||
18 19 20 21 22 23 24 | with Natools.Storage_Pools; package Natools.S_Expressions.Caches is new Natools.S_Expressions.Generic_Caches (Natools.Storage_Pools.Access_In_Default_Pool'Storage_Pool, Natools.Storage_Pools.Access_In_Default_Pool'Storage_Pool, Natools.Storage_Pools.Access_In_Default_Pool'Storage_Pool); | > | 18 19 20 21 22 23 24 25 | with Natools.Storage_Pools; package Natools.S_Expressions.Caches is new Natools.S_Expressions.Generic_Caches (Natools.Storage_Pools.Access_In_Default_Pool'Storage_Pool, Natools.Storage_Pools.Access_In_Default_Pool'Storage_Pool, Natools.Storage_Pools.Access_In_Default_Pool'Storage_Pool); pragma Preelaborate (Natools.S_Expressions.Caches); |
Changes to src/natools-s_expressions-generic_caches.ads.
| ︙ | ︙ | |||
37 38 39 40 41 42 43 44 45 46 47 48 49 50 |
generic
Atom_Pool : in out System.Storage_Pools.Root_Storage_Pool'Class;
Counter_Pool : in out System.Storage_Pools.Root_Storage_Pool'Class;
Structure_Pool : in out System.Storage_Pools.Root_Storage_Pool'Class;
package Natools.S_Expressions.Generic_Caches is
type Reference is new Printers.Printer with private;
overriding procedure Open_List (Output : in out Reference);
overriding procedure Append_Atom
(Output : in out Reference; Data : in Atom);
overriding procedure Close_List (Output : in out Reference);
| > | 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 |
generic
Atom_Pool : in out System.Storage_Pools.Root_Storage_Pool'Class;
Counter_Pool : in out System.Storage_Pools.Root_Storage_Pool'Class;
Structure_Pool : in out System.Storage_Pools.Root_Storage_Pool'Class;
package Natools.S_Expressions.Generic_Caches is
pragma Preelaborate (Generic_Caches);
type Reference is new Printers.Printer with private;
overriding procedure Open_List (Output : in out Reference);
overriding procedure Append_Atom
(Output : in out Reference; Data : in Atom);
overriding procedure Close_List (Output : in out Reference);
|
| ︙ | ︙ |
Changes to tests/natools-references-tools.ads.
| ︙ | ︙ | |||
17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 |
------------------------------------------------------------------------------
-- Natools.References.Tools exposes subprograms to peek into private parts --
-- of Natools.Reference, for debug or testing purposes. --
------------------------------------------------------------------------------
generic
package Natools.References.Tools is
function Is_Consistent (Left, Right : Reference) return Boolean;
-- Check that counter and data equality are consistent
function Is_Valid (Ref : Reference) return Boolean;
-- Check consistency for internal state
function Count (Ref : Reference) return Natural;
-- Return the number of references to held object
end Natools.References.Tools;
| > | 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 |
------------------------------------------------------------------------------
-- Natools.References.Tools exposes subprograms to peek into private parts --
-- of Natools.Reference, for debug or testing purposes. --
------------------------------------------------------------------------------
generic
package Natools.References.Tools is
pragma Preelaborate (Tools);
function Is_Consistent (Left, Right : Reference) return Boolean;
-- Check that counter and data equality are consistent
function Is_Valid (Ref : Reference) return Boolean;
-- Check consistency for internal state
function Count (Ref : Reference) return Natural;
-- Return the number of references to held object
end Natools.References.Tools;
|