libgpr2_24.0.0_eda3c693/testsuite/tests/gprls/closure/sal/dash_board.ads

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
with Ada.Containers.Vectors;

with InDash;

package Dash_Board is

   procedure Display;

   procedure Register (Device : InDash.Any_Instrument);

   procedure Unregister (Device : InDash.Any_Instrument);

   procedure Update (Millisec : Integer);

private

   use InDash;

   package Instruments is
     new Ada.Containers.Vectors (Positive, Any_Instrument);

   Registry : Instruments.Vector;

end Dash_Board;