File: /home/oboss/Users/gec/sources/Basic_Services/Internal_PUS/pus_packet_manager.ads

1     --% Compilation Unit:	PUS_Packet_Manager
2     --
3     --% Category: Generic Package Instantiation
4     --
5     --% Release:  $Name:  $
6     --
7     --% Version:  $Revision: 2.0 $
8     --
9     --% Author:   $Author: gec $
10     --
11     --% Revision Log:
12     --    $Log: pus_packet_manager.ads,v $
13     --    Revision 2.0  2003/04/04 08:50:03  gec
14     --    Initial release of source files serving as baseline for OBOSS-III project.
15     --
16     --    Revision 1.1.1.1  2003/04/04 08:13:02  gec
17     --    Imported using TkCVS
18     --
19     --
20     --
21     --% Project: OBOSS
22     --
23     --% Copyright (C) 2003 by Terma A/S
24     --  Proprietary and intellectual rights of Terma A/S, Denmark,
25     --  are involved in the subject-matter of this material and
26     --  all manufacturing, reproduction, use, disclosure, and
27     --  sales rights pertaining to such subject-matter are
28     --  expressly reserved. This material is submitted for a
29     --  specific purpose as agreed, and the recipient by
30     --  accepting this material agrees that this material will
31     --  not be used, copied, or reproduced in whole or in part
32     --  nor its contents revealed in any manner or to any person,
33     --  except to meet the purpose for which it was submitted and
34     --  subject to the terms of the agreement.
35     --
36     --% Target Dependencies:
37     --    None
38     --% Compiler Dependencies:
39     --    None
40     
41     --% Library Package:
42     --    Management of PUS packet allocation and deallocation
43     
44     with Resource_Manager;
45     with PUS;
46     with Ada_Task_Configuration;
47     pragma Elaborate (Resource_Manager);
48     package PUS_Packet_Manager is new Resource_Manager
49              (Resource =>
50                  PUS.PUS_Packet,
51               Resource_Manager_Priority =>
52                  Ada_Task_Configuration.PUS_Packet_Pool_Priority);
53