2 -- THIS FILE CONTAINS THE MACRO DEFINITIONS USED IN THE ACVC TESTS.
3 -- THESE DEFINITIONS ARE USED BY THE ACVC TEST PRE-PROCESSOR,
4 -- MACROSUB. MACROSUB WILL CALCULATE VALUES FOR THOSE MACRO SYMBOLS
5 -- WHOSE DEFINITIONS DEPEND ON THE VALUE OF MAX_IN_LEN (NAMELY, THE
6 -- VALUES OF THE MACRO SYMBOLS BIG_ID1, BIG_ID2, BIG_ID3, BIG_ID4,
7 -- BIG_STRING1, BIG_STRING2, MAX_STRING_LITERAL, BIG_INT_LIT, BIG_REAL_LIT,
8 -- AND BLANKS). THEREFORE, ANY VALUES GIVEN IN THIS FILE FOR THOSE
9 -- MACRO SYMBOLS WILL BE IGNORED BY MACROSUB.
11 -- NOTE: AS REQUIRED BY THE MACROSUB PROGRAM, THE FIRST MACRO DEFINED
12 -- IN THIS FILE IS $MAX_IN_LEN. THE NEXT 5 MACRO DEFINITIONS
13 -- ARE FOR THOSE MACRO SYMBOLS THAT DEPEND ON THE VALUE OF
14 -- MAX_IN_LEN. THESE ARE IN ALPHABETIC ORDER. FOLLOWING THESE
15 -- ARE 36 MORE DEFINITIONS, ALSO IN ALPHABETIC ORDER.
17 -- EACH DEFINITION IS ACCORDING TO THE FOLLOWING FORMAT:
19 -- A. A NUMBER OF LINES PRECEDED BY THE ADA COMMENT DELIMITER, --.
20 -- THE FIRST OF THESE LINES CONTAINS THE MACRO SYMBOL AS IT APPEARS
21 -- IN THE TEST FILES (WITH THE DOLLAR SIGN). THE NEXT FEW "COMMENT"
22 -- LINES CONTAIN A DESCRIPTION OF THE VALUE TO BE SUBSTITUTED.
23 -- THE REMAINING "COMMENT" LINES, THE FIRST OF WHICH BEGINS WITH THE
24 -- WORDS "USED IN: " (NO QUOTES), CONTAIN A LIST OF THE TEST FILES
25 -- (WITHOUT THE .TST EXTENSION) IN WHICH THE MACRO SYMBOL APPEARS.
26 -- EACH TEST FILE NAME IS PRECEDED BY ONE OR MORE BLANKS.
27 -- B. A LINE, WITHOUT THE COMMENT DELIMITER, CONSISTING OF THE
28 -- IDENTIFIER (WITHOUT THE DOLLAR SIGN) OF THE MACRO SYMBOL,
29 -- FOLLOWED BY A SPACE OR TAB, FOLLOWED BY THE VALUE TO BE
30 -- SUBSTITUTED. IN THE DISTRIBUTION FILE, A SAMPLE VALUE IS
31 -- PROVIDED; THIS VALUE MUST BE REPLACED BY A VALUE APPROPRIATE TO
32 -- THE IMPLEMENTATION.
34 -- DEFINITIONS ARE SEPARATED BY ONE OR MORE EMPTY LINES.
35 -- THE LIST OF DEFINITIONS BEGINS AFTER THE FOLLOWING EMPTY LINE.
38 -- AN INTEGER LITERAL GIVING THE MAXIMUM LENGTH PERMITTED BY THE
39 -- COMPILER FOR A LINE OF ADA SOURCE CODE (NOT INCLUDING AN END-OF-LINE
44 -- $MAX_STRING_LITERAL
45 -- A STRING LITERAL CONSISTING OF $MAX_IN_LEN CHARACTERS (INCLUDING THE
48 MAX_STRING_LITERAL "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA"
51 -- AN IDENTIFIER IN WHICH THE NUMBER OF CHARACTERS IS $MAX_IN_LEN.
52 -- THE MACROSUB PROGRAM WILL SUPPLY AN IDENTIFIER IN WHICH THE
53 -- LAST CHARACTER IS '1' AND ALL OTHERS ARE 'A'.
54 -- USED IN: C23003A C23003B C23003G C23003I
56 BIG_ID1 AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA1
59 -- AN IDENTIFIER IN WHICH THE NUMBER OF CHARACTERS IS $MAX_IN_LEN,
60 -- DIFFERING FROM $BIG_ID1 ONLY IN THE LAST CHARACTER. THE MACROSUB
61 -- PROGRAM WILL USE '2' AS THE LAST CHARACTER.
62 -- USED IN: C23003A C23003B B23003F C23003G C23003I
63 BIG_ID2 AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA2
66 -- AN IDENTIFIER IN WHICH THE NUMBER OF CHARACTERS IS $MAX_IN_LEN.
67 -- MACROSUB WILL USE '3' AS THE "MIDDLE" CHARACTER; ALL OTHERS ARE 'A'.
68 -- USED IN: C23003A C23003B C23003G C23003I
69 BIG_ID3 AAAAAAAAAAAAAAAAAAAAAAAAAAAAA3AAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
72 -- AN IDENTIFIER IN WHICH THE NUMBER OF CHARACTERS IS $MAX_IN_LEN,
73 -- DIFFERING FROM $BIG_ID3 ONLY IN THE MIDDLE CHARACTER. MACROSUB
74 -- WILL USE '4' AS THE MIDDLE CHARACTER.
75 -- USED IN: C23003A C23003B C23003G C23003I
76 BIG_ID4 AAAAAAAAAAAAAAAAAAAAAAAAAAAAA4AAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
79 -- A STRING LITERAL (WITH QUOTES) WHOSE CATENATION WITH $BIG_STRING2
80 -- ($BIG_STRING1 & $BIG_STRING2) PRODUCES THE IMAGE OF $BIG_ID1.
81 -- USED IN: C35502D C35502F
82 BIG_STRING1 "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAA"
85 -- A STRING LITERAL (WITH QUOTES) WHOSE CATENATION WITH $BIG_STRING1
86 -- ($BIG_STRING1 & $BIG_STRING2) PRODUCES THE IMAGE OF $BIG_ID1.
87 -- USED IN: C35502D C35502F
88 BIG_STRING2 "AAAAAAAAAAAAAAAAAAAAAAAAAAAAA1"
91 -- A SEQUENCE OF ($MAX_IN_LEN - 20) BLANKS.
92 -- USED IN: B22001A B22001B B22001C B22001D B22001E B22001F
93 -- B22001G B22001I B22001J B22001K B22001L B22001M
95 -- < LIMITS OF SAMPLE SHOWN BY ANGLE BRACKETS >
99 -- AN INTEGER LITERAL WHOSE VALUE IS THE MINIMUM NUMBER OF BITS
100 -- SUFFICIENT TO HOLD ANY VALUE OF AN ACCESS TYPE.
101 -- USED IN: CD2A83C BD2A02A
102 ACC_SIZE ACATS4GNATBIT
105 -- A VALUE THAT IS LEGITIMATE FOR USE IN A RECORD ALIGNMENT CLAUSE.
106 -- USED IN: CD4041A BD4006A
110 -- AN INTEGER LITERAL WHOSE VALUE IS TEXT_IO.COUNT'LAST.
112 COUNT_LAST 2147483647
115 -- AN EXPRESSION YIELDING A LEGAL ADDRESS FOR A TASK ENTRY
116 -- (I.E., FOR AN INTERRUPT) FOR THIS IMPLEMENTATION.
117 -- USED IN: SPPRT13SP
118 ENTRY_ADDRESS ENTRY_ADDR
121 -- AN EXPRESSION YIELDING A LEGAL ADDRESS FOR A TASK ENTRY
122 -- (I.E., FOR AN INTERRUPT) FOR THIS IMPLEMENTATION. THE ADDRESS
123 -- MUST BE DISTINCT FROM THAT USED IN $ENTRY_ADDRESS.
124 -- USED IN: SPPRT13SP
125 ENTRY_ADDRESS1 ENTRY_ADDR1
128 -- AN EXPRESSION YIELDING A LEGAL ADDRESS FOR A TASK ENTRY
129 -- (I.E., FOR AN INTERRUPT) FOR THIS IMPLEMENTATION. THE ADDRESS
130 -- MUST BE DISTINCT FROM THOSE USED IN $ENTRY_ADDRESS
131 -- AND $ENTRY_ADDRESS1.
132 -- USED IN: SPPRT13SP
133 ENTRY_ADDRESS2 ENTRY_ADDR2
136 -- AN INTEGER LITERAL WHOSE VALUE IS TEXT_IO.FIELD'LAST.
141 -- A STRING LITERAL SPECIFYING THAT THE EXTERNAL FILE MEETS BOTH
142 -- CONDITIONS: (1) THERE IS A VALUE OF TYPE TEXT_IO.COUNT THAT IS NOT
143 -- AN APPROPRIATE LINE-LENGTH FOR THE FILE, (2) THERE IS A VALUE
144 -- OF TYPE TEXT_IO.COUNT THAT IS NOT AN APPROPRIATE PAGE-LENGTH
146 -- IF IT IS NOT POSSIBLE TO SATISFY BOTH CONDITIONS, THEN SUBSTITUTE
147 -- A STRING LITERAL SPECIFYING THAT THE EXTERNAL FILE SATISFIES ONE
148 -- OF THE CONDITIONS. IF IT IS NOT POSSIBLE TO SATISFY EITHER CONDITION,
149 -- THEN SUBSTITUTE THE NULL STRING ("").
154 -- A STRING LITERAL SPECIFYING THAT THE CAPACITY OF THE FILE IS
155 -- RESTRICTED TO 4096 CHARACTERS OR LESS. IF THE IMPLEMENTATION
156 -- CANNOT RESTRICT FILE CAPACITY, $FORM_STRING2 SHOULD EQUAL
157 -- "CANNOT_RESTRICT_FILE_CAPACITY".
158 -- USED IN: CE2203A CE2403A
159 FORM_STRING2 "CANNOT_RESTRICT_FILE_CAPACITY"
161 -- $GREATER_THAN_DURATION
162 -- A REAL LITERAL WHOSE VALUE (NOT SUBJECT TO ROUND-OFF ERROR
163 -- IF POSSIBLE) LIES BETWEEN DURATION'BASE'LAST AND DURATION'LAST. IF
164 -- NO SUCH VALUES EXIST, USE A VALUE IN DURATION'RANGE.
166 GREATER_THAN_DURATION 86_000.0
171 -- $ILLEGAL_EXTERNAL_FILE_NAME1
172 -- AN ILLEGAL EXTERNAL FILE NAME (E.G., TOO LONG, CONTAINING INVALID
173 -- CHARACTERS, CONTAINING WILD-CARD CHARACTERS, OR SPECIFYING A
174 -- NONEXISTENT DIRECTORY).
175 -- USED IN: CE2102C CE2102H CE2103A CE2103B CE3102B CE3107A
176 ILLEGAL_EXTERNAL_FILE_NAME1 /NODIRECTORY/FILENAME
178 -- $ILLEGAL_EXTERNAL_FILE_NAME2
179 -- AN ILLEGAL EXTERNAL FILE NAME, DIFFERENT FROM $ILLEGAL_EXTERNAL_FILE_NAME1.
180 -- USED IN: CE2102C CE2102H CE2103A CE2103B CE3102B
181 ILLEGAL_EXTERNAL_FILE_NAME2 /@@/@@/@@\@@\@@\@@
183 -- $INAPPROPRIATE_LINE_LENGTH
184 -- A LITERAL OF TYPE COUNT THAT IS INAPPROPRIATE AS THE LINE-LENGTH
185 -- FOR THE EXTERNAL FILE. IF THERE IS NO SUCH VALUE, THEN USE -1.
187 INAPPROPRIATE_LINE_LENGTH -1
189 -- $INAPPROPRIATE_PAGE_LENGTH
190 -- A LITERAL OF TYPE COUNT THAT IS INAPPROPRIATE AS THE PAGE-LENGTH
191 -- FOR THE EXTERNAL FILE. IF THERE IS NO SUCH VALUE, THEN USE -1.
193 INAPPROPRIATE_PAGE_LENGTH -1
196 -- AN INTEGER LITERAL, WITH SIGN, WHOSE VALUE IS INTEGER'FIRST.
197 -- THE LITERAL MUST NOT INCLUDE UNDERSCORES OR LEADING OR TRAILING
199 -- USED IN: C35503F B54B01B
200 INTEGER_FIRST -2147483648
203 -- AN INTEGER LITERAL WHOSE VALUE IS INTEGER'LAST. THE LITERAL MUST
204 -- NOT INCLUDE UNDERSCORES OR LEADING OR TRAILING BLANKS.
205 -- USED IN: C35503F B54B01B
206 INTEGER_LAST 2147483647
209 -- $LESS_THAN_DURATION
210 -- A REAL LITERAL (WITH SIGN) WHOSE VALUE (NOT SUBJECT TO
211 -- ROUND-OFF ERROR IF POSSIBLE) LIES BETWEEN DURATION'BASE'FIRST AND
212 -- DURATION'FIRST. IF NO SUCH VALUES EXIST, USE A VALUE IN
215 LESS_THAN_DURATION -86_400.0
218 -- $MACHINE_CODE_STATEMENT
219 -- A VALID MACHINE CODE STATEMENT AS SPECIFIED IN THE PACKAGE
220 -- MACHINE_CODE. IF THE IMPLEMENTATION DOES NOT SUPPORT MACHINE
221 -- CODE THEN USE THE ADA NULL STATEMENT (I.E. NULL; ).
222 -- USED IN: AD8011A BD8001A BD8002A BD8004A BD8004B
223 MACHINE_CODE_STATEMENT Asm_Insn'(Asm ("ACATS4GNATINSN"));
226 -- AN INTEGER LITERAL WHOSE VALUE IS SYSTEM.MAX_INT.
227 -- THE LITERAL MUST NOT INCLUDE UNDERSCORES OR LEADING OR TRAILING
229 -- USED IN: C35503D C35503F C4A007A
230 MAX_INT 9223372036854775807
234 -- AN INTEGER LITERAL, WITH SIGN, WHOSE VALUE IS SYSTEM.MIN_INT.
235 -- THE LITERAL MUST NOT CONTAIN UNDERSCORES OR LEADING OR TRAILING
237 -- USED IN: C35503D C35503F
238 MIN_INT -9223372036854775808
241 -- THE NAME OF A PREDEFINED INTEGER TYPE OTHER THAN INTEGER,
242 -- SHORT_INTEGER, OR LONG_INTEGER.
243 -- (IMPLEMENTATIONS WHICH HAVE NO SUCH TYPES SHOULD USE AN UNDEFINED
244 -- IDENTIFIER SUCH AS NO_SUCH_TYPE_AVAILABLE.)
245 -- USED IN: C45231D CD7101G
246 NAME LONG_LONG_INTEGER
249 -- A DISCRIMINANT USED AS THE DISCRIMINANT PART OF $RECORD_NAME.
250 -- IF MACHINE CODE INSERTIONS ARE NOT SUPPORTED THEN SUBSTITUTE
251 -- NO_SUCH_MACHINE_CODE_DISC.
255 -- $RECORD_DEFINITION
256 -- THE RECORD TYPE DEFINITION (WITH FINAL SEMICOLON) FOR THE TYPE THAT
257 -- WAS USED IN THE MACRO $RECORD_NAME, AS DECLARED IN PACKAGE
258 -- MACHINE_CODE. IF THE IMPLEMENTATION DOES NOT SUPPORT MACHINE CODE,
259 -- THEN USE A NULL RECORD DEFINITION
261 RECORD_DEFINITION RECORD ASM : STRING (1..4); END RECORD;
264 -- A VALID RECORD TYPE NAME THAT IS DEFINED IN PACKAGE MACHINE_CODE.
265 -- IF THE IMPLEMENTATION DOES NOT SUPPORT MACHINE CODE THEN
266 -- USE THE NAME "NO_SUCH_MACHINE_CODE_TYPE"
271 -- AN INTEGER LITERAL WHOSE VALUE IS THE NUMBER OF BITS REQUIRED TO
272 -- HOLD A TASK OBJECT.
274 TASK_SIZE ACATS4GNATBIT
276 -- $TASK_STORAGE_SIZE
277 -- THE NUMBER OF STORAGE UNITS REQUIRED FOR A TASK ACTIVATION.
278 -- USED IN: BD2C01D BD2C02A BD2C03A C87B62D CD1009K CD1009T
279 -- CD1009U CD1C03E CD1C06A CD2C11A CC1225A CD2C11D
280 TASK_STORAGE_SIZE 1024
283 -- AN EXPRESSION YIELDING A LEGAL ADDRESS FOR A VARIABLE FOR THIS
285 -- USED IN: SPPRT13SP
286 VARIABLE_ADDRESS VAR_ADDR
288 -- $VARIABLE_ADDRESS1
289 -- AN EXPRESSION YIELDING A LEGAL ADDRESS FOR A VARIABLE FOR THIS
290 -- IMPLEMENTATION. THE ADDRESS MUST BE DISTINCT FROM THAT USED IN
291 -- THE MACRO $VARIABLE_ADDRESS.
292 -- USED IN: SPPRT13SP
293 VARIABLE_ADDRESS1 VAR_ADDR1
295 -- $VARIABLE_ADDRESS2
296 -- AN EXPRESSION YIELDING A LEGAL ADDRESS FOR A VARIABLE FOR THIS
297 -- IMPLEMENTATION. THE ADDRESS MUST BE DISTINCT FROM THOSE USED IN
298 -- THE MACROS $VARIABLE_ADDRESS AND $VARIABLE_ADDRESS1.
299 -- USED IN: SPPRT13SP
300 VARIABLE_ADDRESS2 VAR_ADDR2