Natools

Differences From Artifact [d5a97a28c2]:

• File src/natools-string_slices.ads — part of check-in [0a176c90c4] at 2014-02-10 19:50:20 on branch trunk — storage_pools: new package for entities related to storage pools (user: nat, size: 7179) [annotate] [blame] [check-ins using]

To Artifact [c2919f372f]:

• File src/natools-string_slices.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: 7227) [annotate] [blame] [check-ins using]

63
64
65
66
67
68
69

70
71
72
73
74
75
76

   ----------------
   -- Slice type --
   ----------------

   type Slice is tagged private;


   Null_Slice : constant Slice;


   --------------------------
   -- Conversion functions --
   --------------------------

>

63
64
65
66
67
68
69
70
71
72
73
74
75
76
77

   ----------------
   -- Slice type --
   ----------------

   type Slice is tagged private;
   pragma Preelaborable_Initialization (Slice);

   Null_Slice : constant Slice;


   --------------------------
   -- Conversion functions --
   --------------------------