Differences From Artifact [cee78d0ef7]:
- File src/natools-string_slices-slice_sets.ads — part of check-in [525e25f293] at 2013-10-04 19:17:30 on branch trunk — string_slices-slice_sets: new package for sets of slices of a common parent string (user: nat, size: 9244) [annotate] [blame] [check-ins using]
To Artifact [1e859d6e55]:
- File src/natools-string_slices-slice_sets.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: 9296) [annotate] [blame] [check-ins using]
︙ | |||
28 29 30 31 32 33 34 35 36 37 38 39 40 41 | 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 | + | private with Ada.Containers.Ordered_Sets; package Natools.String_Slices.Slice_Sets is pragma Preelaborate (Slice_Sets); type Slice_Set is tagged private; pragma Preelaborable_Initialization (Slice_Set); ---------------------------- -- Conversion subprograms -- ---------------------------- function To_Slice (S : Slice_Set) return Slice; |
︙ |