File: /home/oboss/Users/gec/sources/Demonstrator/Data_Handling_System/data_handling_system-memory_manager.ads

1     --% Compilation Unit: Data_Handling_System.Memory_Manager
2     --
3     --% Category: Package Declaration
4     --
5     --% Release:  $Name:  $
6     --
7     --% Version:  $Revision: 2.1 $
8     --
9     --% Author:   $Author: gec $
10     --
11     --% Revision Log:
12     --    $Log: data_handling_system-memory_manager.ads,v $
13     --    Revision 2.1  2004/02/13 16:16:31  gec
14     --    Merged results of Demonstrator development on to main OBOSS trunk.
15     --
16     --    Revision 1.1.2.2  2003/12/12 12:10:48  gec
17     --    Updated Data Handling System application process according to 'OBOSS-III Demonstrator Test Case Specification'.
18     --
19     --    Revision 1.1.2.1  2003/12/10 10:12:49  gec
20     --    Restructured Data Handling System application process using child
21     --+    packages.
22     --
23     --
24     --% Project: OBOSS
25     --
26     --% Copyright (C) 2003 by Terma A/S
27     --  Proprietary and intellectual rights of Terma A/S, Denmark,
28     --  are involved in the subject-matter of this material and
29     --  all manufacturing, reproduction, use, disclosure, and
30     --  sales rights pertaining to such subject-matter are
31     --  expressly reserved. This material is submitted for a
32     --  specific purpose as agreed, and the recipient by
33     --  accepting this material agrees that this material will
34     --  not be used, copied, or reproduced in whole or in part
35     --  nor its contents revealed in any manner or to any person,
36     --  except to meet the purpose for which it was submitted and
37     --  subject to the terms of the agreement.
38     --
39     --% Target Dependencies:
40     --    None
41     --% Compiler Dependencies:
42     --    None
43     --% Library Package:
44     --    Implementation of the memory management service
45     
46     with Data_Handling_System.Parameters;
47     with Data_Handling_System.Large_Data_Manager;
48     with Memory_Management;
49     with Memory_Manager;
50     package Data_Handling_System.Memory_Manager is new Memory_Management
51              (Application_ID =>
52                  Data_Handling_System.Parameters.Application_ID,
53               Max_List_Length =>
54                  Data_Handling_System.Parameters.Memory_Management.
55                     Max_List_Length,
56               Max_Data_Length =>
57                  Data_Handling_System.Parameters.Memory_Management.
58                     Max_Data_Length,
59               Memory_ID =>
60                  Data_Handling_System.Parameters.Memory_Management.Memory_ID,
61               Memory_ID_Rep =>
62                  Data_Handling_System.Parameters.Memory_Management.
63                     Memory_ID_Representation_Mapping,
64               Memory_ID_Rep_Vals =>
65                  Data_Handling_System.Parameters.Memory_Management.
66                     Memory_ID_Representation,
67               Write_Data =>
68                  Memory_Manager.Write_Data,
69               Read_Data =>
70                  Memory_Manager.Read_Data,
71               Calculate_ISO_Checksum =>
72                  Memory_Manager.Calculate_ISO_Checksum,
73               Optional_Deposit =>
74                  Data_Handling_System.Large_Data_Manager.Optional_Deposit,
75               Telecommand_Buffer_Priority =>
76                  Data_Handling_System.Parameters.TC_Interpreters.
77                     Telecommand_Buffer_Priority,
78               Telecommand_Buffer_Size =>
79                  Data_Handling_System.Parameters.TC_Interpreters.
80                     Telecommand_Buffer_Size,
81               Telecommand_Interpreter_Priority =>
82                  Data_Handling_System.Parameters.TC_Interpreters.
83                     Telecommand_Interpreter_Priority,
84               Telecommand_Interpreter_Stack_Size =>
85                  Data_Handling_System.Parameters.Memory_Management.
86                     Interpreter_Stack_Size);
87