Natools

Check-in [3a18c0edc9]
Login

Check-in [3a18c0edc9]

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:references: add Implicit_Dereference aspects
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 3a18c0edc9466c7384f377e4b75516b8bf759b43
User & Date: nat 2014-11-26 20:13:24.932
Context
2014-11-27
22:25
reference_tests: add a test for the implicit dereference check-in: 263f8e760e user: nat tags: trunk
2014-11-26
20:13
references: add Implicit_Dereference aspects check-in: 3a18c0edc9 user: nat tags: trunk
2014-11-09
20:48
static_hash_maps-s_expressions: add commands for definite or indefinite elements check-in: 1cc98d90f5 user: nat tags: trunk
Changes
Side-by-Side Diff Ignore Whitespace Patch
Changes to src/natools-references__intel.ads.
︙
33
34
35
36
37
38
39
40

41
42

43
44
45
46
47
48
49

33
34
35
36
37
38
39

40
41

42
43
44
45
46
47
48
49








-
+

-
+








   Counter_Pool : in out System.Storage_Pools.Root_Storage_Pool'Class;
   Data_Pool : in out System.Storage_Pools.Root_Storage_Pool'Class;

package Natools.References is
   pragma Preelaborate (References);

   type Accessor (Data : not null access constant Held_Data) is
     limited private;
     limited private with Implicit_Dereference => Data;
   type Mutator (Data : not null access Held_Data) is
     limited private;
     limited private with Implicit_Dereference => Data;

   type Data_Access is access Held_Data;
   for Data_Access'Storage_Pool use Data_Pool;


   type Immutable_Reference is new Ada.Finalization.Controlled with private;
   pragma Preelaborable_Initialization (Immutable_Reference);
︙
Changes to src/natools-references__protected.ads.
︙
31
32
33
34
35
36
37
38

39
40

41
42
43
44
45
46
47

31
32
33
34
35
36
37

38
39

40
41
42
43
44
45
46
47








-
+

-
+








   Counter_Pool : in out System.Storage_Pools.Root_Storage_Pool'Class;
   Data_Pool : in out System.Storage_Pools.Root_Storage_Pool'Class;

package Natools.References is
   pragma Preelaborate (References);

   type Accessor (Data : not null access constant Held_Data) is
     limited private;
     limited private with Implicit_Dereference => Data;
   type Mutator (Data : not null access Held_Data) is
     limited private;
     limited private with Implicit_Dereference => Data;

   type Data_Access is access Held_Data;
   for Data_Access'Storage_Pool use Data_Pool;


   type Immutable_Reference is new Ada.Finalization.Controlled with private;
   pragma Preelaborable_Initialization (Immutable_Reference);
︙
Changes to src/natools-references__unsafe.ads.
︙
30
31
32
33
34
35
36
37

38
39

40
41
42
43
44
45
46

30
31
32
33
34
35
36

37
38

39
40
41
42
43
44
45
46








-
+

-
+








   Counter_Pool : in out System.Storage_Pools.Root_Storage_Pool'Class;
   Data_Pool : in out System.Storage_Pools.Root_Storage_Pool'Class;

package Natools.References is
   pragma Preelaborate (References);

   type Accessor (Data : not null access constant Held_Data) is
     limited private;
     limited private with Implicit_Dereference => Data;
   type Mutator (Data : not null access Held_Data) is
     limited private;
     limited private with Implicit_Dereference => Data;

   type Data_Access is access Held_Data;
   for Data_Access'Storage_Pool use Data_Pool;


   type Immutable_Reference is new Ada.Finalization.Controlled with private;
   pragma Preelaborable_Initialization (Immutable_Reference);
︙