Natools

Check-in [d53403fc11]
Login
Overview
Comment:Add missing Preelaborate pragmas
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: d53403fc11d378a0f2cc3206451f713e03d3df1b
User & Date: nat on 2014-03-13 21:12:55
Other Links: manifest | tags
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

Modified src/natools-s_expressions-caches.ads from [8b010dafba] to [c36370cea1].

18
19
20
21
22
23
24

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);

Modified src/natools-s_expressions-generic_caches.ads from [f6638058cf] to [f06dacf895].

37
38
39
40
41
42
43

44
45
46
47
48
49
50
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);

Modified tests/natools-references-tools.ads from [a4216fce60] to [c8ec0ca761].

17
18
19
20
21
22
23

24
25
26
27
28
29
30
31
32
33
34
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;