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 41package 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 102end Impdef.Annex_H; 103