annotate gcc/testsuite/ada/acats/support/repspec.ada @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 -- REPSPEC.ADA
kono
parents:
diff changeset
2 --
kono
parents:
diff changeset
3 -- Grant of Unlimited Rights
kono
parents:
diff changeset
4 --
kono
parents:
diff changeset
5 -- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
kono
parents:
diff changeset
6 -- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
kono
parents:
diff changeset
7 -- unlimited rights in the software and documentation contained herein.
kono
parents:
diff changeset
8 -- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
kono
parents:
diff changeset
9 -- this public release, the Government intends to confer upon all
kono
parents:
diff changeset
10 -- recipients unlimited rights equal to those held by the Government.
kono
parents:
diff changeset
11 -- These rights include rights to use, duplicate, release or disclose the
kono
parents:
diff changeset
12 -- released technical data and computer software in whole or in part, in
kono
parents:
diff changeset
13 -- any manner and for any purpose whatsoever, and to have or permit others
kono
parents:
diff changeset
14 -- to do so.
kono
parents:
diff changeset
15 --
kono
parents:
diff changeset
16 -- DISCLAIMER
kono
parents:
diff changeset
17 --
kono
parents:
diff changeset
18 -- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
kono
parents:
diff changeset
19 -- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
kono
parents:
diff changeset
20 -- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
kono
parents:
diff changeset
21 -- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
kono
parents:
diff changeset
22 -- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
kono
parents:
diff changeset
23 -- PARTICULAR PURPOSE OF SAID MATERIAL.
kono
parents:
diff changeset
24 --*
kono
parents:
diff changeset
25 --
kono
parents:
diff changeset
26 -- PURPOSE:
kono
parents:
diff changeset
27 -- THIS REPORT PACKAGE PROVIDES THE MECHANISM FOR REPORTING THE
kono
parents:
diff changeset
28 -- PASS/FAIL/NOT-APPLICABLE RESULTS OF EXECUTABLE (CLASSES A, C,
kono
parents:
diff changeset
29 -- D, E, AND L) TESTS.
kono
parents:
diff changeset
30
kono
parents:
diff changeset
31 -- IT ALSO PROVIDES THE MECHANISM FOR GUARANTEEING THAT CERTAIN
kono
parents:
diff changeset
32 -- VALUES BECOME DYNAMIC (NOT KNOWN AT COMPILE-TIME).
kono
parents:
diff changeset
33
kono
parents:
diff changeset
34 -- HISTORY:
kono
parents:
diff changeset
35 -- JRK 12/13/79
kono
parents:
diff changeset
36 -- JRK 06/10/80
kono
parents:
diff changeset
37 -- JRK 08/06/81
kono
parents:
diff changeset
38 -- JRK 10/27/82
kono
parents:
diff changeset
39 -- JRK 06/01/84
kono
parents:
diff changeset
40 -- PWB 07/30/87 ADDED PROCEDURE SPECIAL_ACTION.
kono
parents:
diff changeset
41 -- TBN 08/20/87 ADDED FUNCTION LEGAL_FILE_NAME.
kono
parents:
diff changeset
42 -- BCB 05/17/90 ADDED FUNCTION TIME_STAMP.
kono
parents:
diff changeset
43 -- WMC 01/24/94 INCREASED RANGE OF TYPE FILE_NUM FROM 1..3 TO 1..5.
kono
parents:
diff changeset
44 -- KAS 06/19/95 ADDED FUNCTION IDENT_WIDE_CHAR.
kono
parents:
diff changeset
45 -- KAS 06/19/95 ADDED FUNCTION IDENT_WIDE_STR.
kono
parents:
diff changeset
46
kono
parents:
diff changeset
47 PACKAGE REPORT IS
kono
parents:
diff changeset
48
kono
parents:
diff changeset
49 SUBTYPE FILE_NUM IS INTEGER RANGE 1..5;
kono
parents:
diff changeset
50
kono
parents:
diff changeset
51 -- THE REPORT ROUTINES.
kono
parents:
diff changeset
52
kono
parents:
diff changeset
53 PROCEDURE TEST -- THIS ROUTINE MUST BE INVOKED AT THE
kono
parents:
diff changeset
54 -- START OF A TEST, BEFORE ANY OF THE
kono
parents:
diff changeset
55 -- OTHER REPORT ROUTINES ARE INVOKED.
kono
parents:
diff changeset
56 -- IT SAVES THE TEST NAME AND OUTPUTS THE
kono
parents:
diff changeset
57 -- NAME AND DESCRIPTION.
kono
parents:
diff changeset
58 ( NAME : STRING; -- TEST NAME, E.G., "C23001A-AB".
kono
parents:
diff changeset
59 DESCR : STRING -- BRIEF DESCRIPTION OF TEST, E.G.,
kono
parents:
diff changeset
60 -- "UPPER/LOWER CASE EQUIVALENCE IN " &
kono
parents:
diff changeset
61 -- "IDENTIFIERS".
kono
parents:
diff changeset
62 );
kono
parents:
diff changeset
63
kono
parents:
diff changeset
64 PROCEDURE FAILED -- OUTPUT A FAILURE MESSAGE. SHOULD BE
kono
parents:
diff changeset
65 -- INVOKED SEPARATELY TO REPORT THE
kono
parents:
diff changeset
66 -- FAILURE OF EACH SUBTEST WITHIN A TEST.
kono
parents:
diff changeset
67 ( DESCR : STRING -- BRIEF DESCRIPTION OF WHAT FAILED.
kono
parents:
diff changeset
68 -- SHOULD BE PHRASED AS:
kono
parents:
diff changeset
69 -- "(FAILED BECAUSE) ...REASON...".
kono
parents:
diff changeset
70 );
kono
parents:
diff changeset
71
kono
parents:
diff changeset
72 PROCEDURE NOT_APPLICABLE -- OUTPUT A NOT-APPLICABLE MESSAGE.
kono
parents:
diff changeset
73 -- SHOULD BE INVOKED SEPARATELY TO REPORT
kono
parents:
diff changeset
74 -- THE NON-APPLICABILITY OF EACH SUBTEST
kono
parents:
diff changeset
75 -- WITHIN A TEST.
kono
parents:
diff changeset
76 ( DESCR : STRING -- BRIEF DESCRIPTION OF WHAT IS
kono
parents:
diff changeset
77 -- NOT-APPLICABLE. SHOULD BE PHRASED AS:
kono
parents:
diff changeset
78 -- "(NOT-APPLICABLE BECAUSE)...REASON...".
kono
parents:
diff changeset
79 );
kono
parents:
diff changeset
80
kono
parents:
diff changeset
81 PROCEDURE SPECIAL_ACTION -- OUTPUT A MESSAGE DESCRIBING SPECIAL
kono
parents:
diff changeset
82 -- ACTIONS TO BE TAKEN.
kono
parents:
diff changeset
83 -- SHOULD BE INVOKED SEPARATELY TO GIVE
kono
parents:
diff changeset
84 -- EACH SPECIAL ACTION.
kono
parents:
diff changeset
85 ( DESCR : STRING -- BRIEF DESCRIPTION OF ACTION TO BE
kono
parents:
diff changeset
86 -- TAKEN.
kono
parents:
diff changeset
87 );
kono
parents:
diff changeset
88
kono
parents:
diff changeset
89 PROCEDURE COMMENT -- OUTPUT A COMMENT MESSAGE.
kono
parents:
diff changeset
90 ( DESCR : STRING -- THE MESSAGE.
kono
parents:
diff changeset
91 );
kono
parents:
diff changeset
92
kono
parents:
diff changeset
93 PROCEDURE RESULT; -- THIS ROUTINE MUST BE INVOKED AT THE
kono
parents:
diff changeset
94 -- END OF A TEST. IT OUTPUTS A MESSAGE
kono
parents:
diff changeset
95 -- INDICATING WHETHER THE TEST AS A
kono
parents:
diff changeset
96 -- WHOLE HAS PASSED, FAILED, IS
kono
parents:
diff changeset
97 -- NOT-APPLICABLE, OR HAS TENTATIVELY
kono
parents:
diff changeset
98 -- PASSED PENDING SPECIAL ACTIONS.
kono
parents:
diff changeset
99
kono
parents:
diff changeset
100 -- THE DYNAMIC VALUE ROUTINES.
kono
parents:
diff changeset
101
kono
parents:
diff changeset
102 -- EVEN WITH STATIC ARGUMENTS, THESE FUNCTIONS WILL HAVE DYNAMIC
kono
parents:
diff changeset
103 -- RESULTS.
kono
parents:
diff changeset
104
kono
parents:
diff changeset
105 FUNCTION IDENT_INT -- AN IDENTITY FUNCTION FOR TYPE INTEGER.
kono
parents:
diff changeset
106 ( X : INTEGER -- THE ARGUMENT.
kono
parents:
diff changeset
107 ) RETURN INTEGER; -- X.
kono
parents:
diff changeset
108
kono
parents:
diff changeset
109 FUNCTION IDENT_CHAR -- AN IDENTITY FUNCTION FOR TYPE
kono
parents:
diff changeset
110 -- CHARACTER.
kono
parents:
diff changeset
111 ( X : CHARACTER -- THE ARGUMENT.
kono
parents:
diff changeset
112 ) RETURN CHARACTER; -- X.
kono
parents:
diff changeset
113
kono
parents:
diff changeset
114 FUNCTION IDENT_WIDE_CHAR -- AN IDENTITY FUNCTION FOR TYPE
kono
parents:
diff changeset
115 -- WIDE_CHARACTER.
kono
parents:
diff changeset
116 ( X : WIDE_CHARACTER -- THE ARGUMENT.
kono
parents:
diff changeset
117 ) RETURN WIDE_CHARACTER; -- X.
kono
parents:
diff changeset
118
kono
parents:
diff changeset
119 FUNCTION IDENT_BOOL -- AN IDENTITY FUNCTION FOR TYPE BOOLEAN.
kono
parents:
diff changeset
120 ( X : BOOLEAN -- THE ARGUMENT.
kono
parents:
diff changeset
121 ) RETURN BOOLEAN; -- X.
kono
parents:
diff changeset
122
kono
parents:
diff changeset
123 FUNCTION IDENT_STR -- AN IDENTITY FUNCTION FOR TYPE STRING.
kono
parents:
diff changeset
124 ( X : STRING -- THE ARGUMENT.
kono
parents:
diff changeset
125 ) RETURN STRING; -- X.
kono
parents:
diff changeset
126
kono
parents:
diff changeset
127 FUNCTION IDENT_WIDE_STR -- AN IDENTITY FUNCTION FOR TYPE WIDE_STRING.
kono
parents:
diff changeset
128 ( X : WIDE_STRING -- THE ARGUMENT.
kono
parents:
diff changeset
129 ) RETURN WIDE_STRING; -- X.
kono
parents:
diff changeset
130
kono
parents:
diff changeset
131 FUNCTION EQUAL -- A RECURSIVE EQUALITY FUNCTION FOR TYPE
kono
parents:
diff changeset
132 -- INTEGER.
kono
parents:
diff changeset
133 ( X, Y : INTEGER -- THE ARGUMENTS.
kono
parents:
diff changeset
134 ) RETURN BOOLEAN; -- X = Y.
kono
parents:
diff changeset
135
kono
parents:
diff changeset
136 -- OTHER UTILITY ROUTINES.
kono
parents:
diff changeset
137
kono
parents:
diff changeset
138 FUNCTION LEGAL_FILE_NAME -- A FUNCTION TO GENERATE LEGAL EXTERNAL
kono
parents:
diff changeset
139 -- FILE NAMES.
kono
parents:
diff changeset
140 ( X : FILE_NUM := 1; -- DETERMINES FIRST CHARACTER OF NAME.
kono
parents:
diff changeset
141 NAM : STRING := "" -- DETERMINES REST OF NAME.
kono
parents:
diff changeset
142 ) RETURN STRING; -- THE GENERATED NAME.
kono
parents:
diff changeset
143
kono
parents:
diff changeset
144 FUNCTION TIME_STAMP -- A FUNCTION TO GENERATE THE TIME AND
kono
parents:
diff changeset
145 -- DATE TO PLACE IN THE OUTPUT OF AN ACVC
kono
parents:
diff changeset
146 -- TEST.
kono
parents:
diff changeset
147 RETURN STRING; -- THE TIME AND DATE.
kono
parents:
diff changeset
148
kono
parents:
diff changeset
149 END REPORT;