libgpr2_24.0.0_eda3c693/src/lib/gpr2-project-view-set.ads

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
--
--  Copyright (C) 2019-2023, AdaCore
--
--  SPDX-License-Identifier: Apache-2.0 WITH LLVM-Exception
--

with Ada.Containers.Ordered_Sets;

package GPR2.Project.View.Set is

   package Set is new Ada.Containers.Ordered_Sets (Object);

   type Object is new Set.Set with private;

   Empty_Set : constant Object;

private

   type Object is new Set.Set with null record;

   Empty_Set : constant Object := (Set.Empty_Set with null record);

end GPR2.Project.View.Set;