1 |
149 |
jeremybenn |
-- REPSPEC.ADA
|
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 |
|
|
-- PURPOSE:
|
27 |
|
|
-- THIS REPORT PACKAGE PROVIDES THE MECHANISM FOR REPORTING THE
|
28 |
|
|
-- PASS/FAIL/NOT-APPLICABLE RESULTS OF EXECUTABLE (CLASSES A, C,
|
29 |
|
|
-- D, E, AND L) TESTS.
|
30 |
|
|
|
31 |
|
|
-- IT ALSO PROVIDES THE MECHANISM FOR GUARANTEEING THAT CERTAIN
|
32 |
|
|
-- VALUES BECOME DYNAMIC (NOT KNOWN AT COMPILE-TIME).
|
33 |
|
|
|
34 |
|
|
-- HISTORY:
|
35 |
|
|
-- JRK 12/13/79
|
36 |
|
|
-- JRK 06/10/80
|
37 |
|
|
-- JRK 08/06/81
|
38 |
|
|
-- JRK 10/27/82
|
39 |
|
|
-- JRK 06/01/84
|
40 |
|
|
-- PWB 07/30/87 ADDED PROCEDURE SPECIAL_ACTION.
|
41 |
|
|
-- TBN 08/20/87 ADDED FUNCTION LEGAL_FILE_NAME.
|
42 |
|
|
-- BCB 05/17/90 ADDED FUNCTION TIME_STAMP.
|
43 |
|
|
-- WMC 01/24/94 INCREASED RANGE OF TYPE FILE_NUM FROM 1..3 TO 1..5.
|
44 |
|
|
-- KAS 06/19/95 ADDED FUNCTION IDENT_WIDE_CHAR.
|
45 |
|
|
-- KAS 06/19/95 ADDED FUNCTION IDENT_WIDE_STR.
|
46 |
|
|
|
47 |
|
|
PACKAGE REPORT IS
|
48 |
|
|
|
49 |
|
|
SUBTYPE FILE_NUM IS INTEGER RANGE 1..5;
|
50 |
|
|
|
51 |
|
|
-- THE REPORT ROUTINES.
|
52 |
|
|
|
53 |
|
|
PROCEDURE TEST -- THIS ROUTINE MUST BE INVOKED AT THE
|
54 |
|
|
-- START OF A TEST, BEFORE ANY OF THE
|
55 |
|
|
-- OTHER REPORT ROUTINES ARE INVOKED.
|
56 |
|
|
-- IT SAVES THE TEST NAME AND OUTPUTS THE
|
57 |
|
|
-- NAME AND DESCRIPTION.
|
58 |
|
|
( NAME : STRING; -- TEST NAME, E.G., "C23001A-AB".
|
59 |
|
|
DESCR : STRING -- BRIEF DESCRIPTION OF TEST, E.G.,
|
60 |
|
|
-- "UPPER/LOWER CASE EQUIVALENCE IN " &
|
61 |
|
|
-- "IDENTIFIERS".
|
62 |
|
|
);
|
63 |
|
|
|
64 |
|
|
PROCEDURE FAILED -- OUTPUT A FAILURE MESSAGE. SHOULD BE
|
65 |
|
|
-- INVOKED SEPARATELY TO REPORT THE
|
66 |
|
|
-- FAILURE OF EACH SUBTEST WITHIN A TEST.
|
67 |
|
|
( DESCR : STRING -- BRIEF DESCRIPTION OF WHAT FAILED.
|
68 |
|
|
-- SHOULD BE PHRASED AS:
|
69 |
|
|
-- "(FAILED BECAUSE) ...REASON...".
|
70 |
|
|
);
|
71 |
|
|
|
72 |
|
|
PROCEDURE NOT_APPLICABLE -- OUTPUT A NOT-APPLICABLE MESSAGE.
|
73 |
|
|
-- SHOULD BE INVOKED SEPARATELY TO REPORT
|
74 |
|
|
-- THE NON-APPLICABILITY OF EACH SUBTEST
|
75 |
|
|
-- WITHIN A TEST.
|
76 |
|
|
( DESCR : STRING -- BRIEF DESCRIPTION OF WHAT IS
|
77 |
|
|
-- NOT-APPLICABLE. SHOULD BE PHRASED AS:
|
78 |
|
|
-- "(NOT-APPLICABLE BECAUSE)...REASON...".
|
79 |
|
|
);
|
80 |
|
|
|
81 |
|
|
PROCEDURE SPECIAL_ACTION -- OUTPUT A MESSAGE DESCRIBING SPECIAL
|
82 |
|
|
-- ACTIONS TO BE TAKEN.
|
83 |
|
|
-- SHOULD BE INVOKED SEPARATELY TO GIVE
|
84 |
|
|
-- EACH SPECIAL ACTION.
|
85 |
|
|
( DESCR : STRING -- BRIEF DESCRIPTION OF ACTION TO BE
|
86 |
|
|
-- TAKEN.
|
87 |
|
|
);
|
88 |
|
|
|
89 |
|
|
PROCEDURE COMMENT -- OUTPUT A COMMENT MESSAGE.
|
90 |
|
|
( DESCR : STRING -- THE MESSAGE.
|
91 |
|
|
);
|
92 |
|
|
|
93 |
|
|
PROCEDURE RESULT; -- THIS ROUTINE MUST BE INVOKED AT THE
|
94 |
|
|
-- END OF A TEST. IT OUTPUTS A MESSAGE
|
95 |
|
|
-- INDICATING WHETHER THE TEST AS A
|
96 |
|
|
-- WHOLE HAS PASSED, FAILED, IS
|
97 |
|
|
-- NOT-APPLICABLE, OR HAS TENTATIVELY
|
98 |
|
|
-- PASSED PENDING SPECIAL ACTIONS.
|
99 |
|
|
|
100 |
|
|
-- THE DYNAMIC VALUE ROUTINES.
|
101 |
|
|
|
102 |
|
|
-- EVEN WITH STATIC ARGUMENTS, THESE FUNCTIONS WILL HAVE DYNAMIC
|
103 |
|
|
-- RESULTS.
|
104 |
|
|
|
105 |
|
|
FUNCTION IDENT_INT -- AN IDENTITY FUNCTION FOR TYPE INTEGER.
|
106 |
|
|
( X : INTEGER -- THE ARGUMENT.
|
107 |
|
|
) RETURN INTEGER; -- X.
|
108 |
|
|
|
109 |
|
|
FUNCTION IDENT_CHAR -- AN IDENTITY FUNCTION FOR TYPE
|
110 |
|
|
-- CHARACTER.
|
111 |
|
|
( X : CHARACTER -- THE ARGUMENT.
|
112 |
|
|
) RETURN CHARACTER; -- X.
|
113 |
|
|
|
114 |
|
|
FUNCTION IDENT_WIDE_CHAR -- AN IDENTITY FUNCTION FOR TYPE
|
115 |
|
|
-- WIDE_CHARACTER.
|
116 |
|
|
( X : WIDE_CHARACTER -- THE ARGUMENT.
|
117 |
|
|
) RETURN WIDE_CHARACTER; -- X.
|
118 |
|
|
|
119 |
|
|
FUNCTION IDENT_BOOL -- AN IDENTITY FUNCTION FOR TYPE BOOLEAN.
|
120 |
|
|
( X : BOOLEAN -- THE ARGUMENT.
|
121 |
|
|
) RETURN BOOLEAN; -- X.
|
122 |
|
|
|
123 |
|
|
FUNCTION IDENT_STR -- AN IDENTITY FUNCTION FOR TYPE STRING.
|
124 |
|
|
( X : STRING -- THE ARGUMENT.
|
125 |
|
|
) RETURN STRING; -- X.
|
126 |
|
|
|
127 |
|
|
FUNCTION IDENT_WIDE_STR -- AN IDENTITY FUNCTION FOR TYPE WIDE_STRING.
|
128 |
|
|
( X : WIDE_STRING -- THE ARGUMENT.
|
129 |
|
|
) RETURN WIDE_STRING; -- X.
|
130 |
|
|
|
131 |
|
|
FUNCTION EQUAL -- A RECURSIVE EQUALITY FUNCTION FOR TYPE
|
132 |
|
|
-- INTEGER.
|
133 |
|
|
( X, Y : INTEGER -- THE ARGUMENTS.
|
134 |
|
|
) RETURN BOOLEAN; -- X = Y.
|
135 |
|
|
|
136 |
|
|
-- OTHER UTILITY ROUTINES.
|
137 |
|
|
|
138 |
|
|
FUNCTION LEGAL_FILE_NAME -- A FUNCTION TO GENERATE LEGAL EXTERNAL
|
139 |
|
|
-- FILE NAMES.
|
140 |
|
|
( X : FILE_NUM := 1; -- DETERMINES FIRST CHARACTER OF NAME.
|
141 |
|
|
NAM : STRING := "" -- DETERMINES REST OF NAME.
|
142 |
|
|
) RETURN STRING; -- THE GENERATED NAME.
|
143 |
|
|
|
144 |
|
|
FUNCTION TIME_STAMP -- A FUNCTION TO GENERATE THE TIME AND
|
145 |
|
|
-- DATE TO PLACE IN THE OUTPUT OF AN ACVC
|
146 |
|
|
-- TEST.
|
147 |
|
|
RETURN STRING; -- THE TIME AND DATE.
|
148 |
|
|
|
149 |
|
|
END REPORT;
|