|
111
|
1 -- IMPDEFH.A
|
|
|
2 --
|
|
|
3 -- Grant of Unlimited Rights
|
|
|
4 --
|
|
|
5 -- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
|
|
|
6 -- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
|
|
|
7 -- unlimited rights in the software and documentation contained herein.
|
|
|
8 -- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
|
|
9 -- this public release, the Government intends to confer upon all
|
|
|
10 -- recipients unlimited rights equal to those held by the Government.
|
|
|
11 -- These rights include rights to use, duplicate, release or disclose the
|
|
|
12 -- released technical data and computer software in whole or in part, in
|
|
|
13 -- any manner and for any purpose whatsoever, and to have or permit others
|
|
|
14 -- to do so.
|
|
|
15 --
|
|
|
16 -- DISCLAIMER
|
|
|
17 --
|
|
|
18 -- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
|
|
19 -- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
|
|
|
20 -- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
|
|
|
21 -- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
|
|
22 -- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
|
|
23 -- PARTICULAR PURPOSE OF SAID MATERIAL.
|
|
|
24 --*
|
|
|
25 --
|
|
|
26 -- DESCRIPTION:
|
|
|
27 -- This package is used to define those values that are implementation
|
|
|
28 -- defined for use with validating the Safety and Security special needs
|
|
|
29 -- annex, Annex-H.
|
|
|
30 --
|
|
|
31 -- APPLICABILITY CRITERIA:
|
|
|
32 -- This package is only required for implementations validating the
|
|
|
33 -- Safety and Security Annex.
|
|
|
34 --
|
|
|
35 -- CHANGE HISTORY:
|
|
|
36 -- 13 FEB 96 SAIC Initial version
|
|
|
37 -- 25 NOV 96 SAIC Revised for release 2.1
|
|
|
38 --
|
|
|
39 --!
|
|
|
40
|
|
|
41 package Impdef.Annex_H is
|
|
|
42
|
|
|
43 type Scalar_To_Normalize is
|
|
|
44 ( Id0, Id1, Id2, Id3, Id4, Id5, Id6, Id7, Id8, Id9,
|
|
|
45 Id10, Id11, Id12, Id13, Id14, Id15, Id16, Id17, Id18, Id19,
|
|
|
46 Id20, Id21, Id22, Id23, Id24, Id25, Id26, Id27, Id28, Id29,
|
|
|
47 Id30, Id31, Id32, Id33, Id34, Id35, Id36, Id37, Id38, Id39,
|
|
|
48 Id40, Id41, Id42, Id43, Id44, Id45, Id46, Id47, Id48, Id49,
|
|
|
49 Id50, Id51, Id52, Id53, Id54, Id55, Id56, Id57, Id58, Id59,
|
|
|
50 Id60, Id61, Id62, Id63, Id64, Id65, Id66, Id67, Id68, Id69,
|
|
|
51 Id70, Id71, Id72, Id73, Id74, Id75, Id76, Id77, Id78, Id79,
|
|
|
52 Id80, Id81, Id82, Id83, Id84, Id85, Id86, Id87, Id88, Id89,
|
|
|
53 Id90, Id91, Id92, Id93, Id94, Id95, Id96, Id97, Id98, Id99,
|
|
|
54 IdA0, IdA1, IdA2, IdA3, IdA4, IdA5, IdA6, IdA7, IdA8, IdA9,
|
|
|
55 IdB0, IdB1, IdB2, IdB3, IdB4, IdB5, IdB6 );
|
|
|
56
|
|
|
57 -- NO MODIFICATION NEEDED TO TYPE SCALAR_TO_NORMALIZE. DO NOT MODIFY.
|
|
|
58
|
|
|
59 type Small_Number is range 1..100;
|
|
|
60
|
|
|
61 -- NO MODIFICATION NEEDED TO TYPE SMALL_NUMBER. DO NOT MODIFY.
|
|
|
62
|
|
|
63 --=====================================================================
|
|
|
64 -- When the value documented in H.1(5) as the predictable initial value
|
|
|
65 -- for an uninitialized object of the type Scalar_To_Normalize
|
|
|
66 -- (an enumeration type containing 127 identifiers) is to be in the range
|
|
|
67 -- Id0..IdB6, set the following constant to True; otherwise leave it set
|
|
|
68 -- to False.
|
|
|
69
|
|
|
70 Default_For_Scalar_To_Normalize_Is_In_Range : constant Boolean := False;
|
|
|
71 -- MODIFY HERE AS NEEDED --- ^^^^^
|
|
|
72
|
|
|
73 --=====================================================================
|
|
|
74 -- If the above constant Default_For_Scalar_To_Normalize_Is_In_Range is
|
|
|
75 -- set True, the following constant must be set to the value documented
|
|
|
76 -- in H.1(5) as the predictable initial value for the type
|
|
|
77 -- Scalar_To_Normalize.
|
|
|
78
|
|
|
79 Default_For_Scalar_To_Normalize : constant Scalar_To_Normalize := Id0;
|
|
|
80 -- MODIFY HERE AS NEEDED --- ^^^
|
|
|
81
|
|
|
82 --=====================================================================
|
|
|
83 -- When the value documented in H.1(5) as the predictable initial value
|
|
|
84 -- for an uninitialized object of the type Small_Number
|
|
|
85 -- (an integer type containing 100 values) is to be in the range
|
|
|
86 -- 1..100, set the following constant to True; otherwise leave it set
|
|
|
87 -- to False.
|
|
|
88
|
|
|
89 Default_For_Small_Number_Is_In_Range : constant Boolean := False;
|
|
|
90 -- MODIFY HERE AS NEEDED --- ^^^^^
|
|
|
91
|
|
|
92 --=====================================================================
|
|
|
93 -- If the above constant Default_For_Small_Number_Is_In_Range is
|
|
|
94 -- set True, the following constant must be set to the value documented
|
|
|
95 -- in H.1(5) as the predictable initial value for the type Small_Number.
|
|
|
96
|
|
|
97 Default_For_Small_Number : constant Small_Number := 100;
|
|
|
98 -- MODIFY HERE AS NEEDED --- ^^^
|
|
|
99
|
|
|
100 --=====================================================================
|
|
|
101
|
|
|
102 end Impdef.Annex_H;
|
