summaryrefslogtreecommitdiff
path: root/gcc/testsuite/ada/acats/support/macro.dfs
blob: 8c3723348ad6e3e2944e172e3de64d377b72b3e2 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
-- MACRO.DFS
-- THIS FILE CONTAINS THE MACRO DEFINITIONS USED IN THE ACVC TESTS.
-- THESE DEFINITIONS ARE USED BY THE ACVC TEST PRE-PROCESSOR,
-- MACROSUB. MACROSUB WILL CALCULATE VALUES FOR THOSE MACRO SYMBOLS 
-- WHOSE DEFINITIONS DEPEND ON THE VALUE OF MAX_IN_LEN (NAMELY, THE
-- VALUES OF THE MACRO SYMBOLS BIG_ID1, BIG_ID2, BIG_ID3, BIG_ID4,
-- BIG_STRING1, BIG_STRING2, MAX_STRING_LITERAL, BIG_INT_LIT, BIG_REAL_LIT, 
-- AND BLANKS).  THEREFORE, ANY VALUES GIVEN IN THIS FILE FOR THOSE
-- MACRO SYMBOLS WILL BE IGNORED BY MACROSUB.  

-- NOTE: AS REQUIRED BY THE MACROSUB PROGRAM, THE FIRST MACRO DEFINED
-- IN THIS FILE IS $MAX_IN_LEN.  THE NEXT 5 MACRO DEFINITIONS
-- ARE FOR THOSE MACRO SYMBOLS THAT DEPEND ON THE VALUE OF
-- MAX_IN_LEN.  THESE ARE IN ALPHABETIC ORDER.  FOLLOWING THESE
-- ARE 36 MORE DEFINITIONS, ALSO IN ALPHABETIC ORDER.

-- EACH DEFINITION IS ACCORDING TO THE FOLLOWING FORMAT:

-- A. A NUMBER OF LINES PRECEDED BY THE ADA COMMENT DELIMITER, --.
--    THE FIRST OF THESE LINES CONTAINS THE MACRO SYMBOL AS IT APPEARS
--    IN THE TEST FILES (WITH THE DOLLAR SIGN).  THE NEXT FEW "COMMENT"
--    LINES CONTAIN A DESCRIPTION OF THE VALUE TO BE SUBSTITUTED.
--    THE REMAINING "COMMENT" LINES, THE FIRST OF WHICH BEGINS WITH THE
--    WORDS "USED IN:  " (NO QUOTES), CONTAIN A LIST OF THE TEST FILES
--    (WITHOUT THE .TST EXTENSION) IN WHICH THE MACRO SYMBOL APPEARS.
--    EACH TEST FILE NAME IS PRECEDED BY ONE OR MORE BLANKS.
-- B. A LINE, WITHOUT THE COMMENT DELIMITER, CONSISTING OF THE 
--    IDENTIFIER (WITHOUT THE DOLLAR SIGN) OF THE MACRO SYMBOL,
--    FOLLOWED BY A SPACE OR TAB, FOLLOWED BY THE VALUE TO BE
--    SUBSTITUTED.  IN THE DISTRIBUTION FILE, A SAMPLE VALUE IS
--    PROVIDED; THIS VALUE MUST BE REPLACED BY A VALUE APPROPRIATE TO
--    THE IMPLEMENTATION.

-- DEFINITIONS ARE SEPARATED BY ONE OR MORE EMPTY LINES.
-- THE LIST OF DEFINITIONS BEGINS AFTER THE FOLLOWING EMPTY LINE.

-- $MAX_IN_LEN                                                          
-- AN INTEGER LITERAL GIVING THE MAXIMUM LENGTH PERMITTED BY THE   
-- COMPILER FOR A LINE OF ADA SOURCE CODE (NOT INCLUDING AN END-OF-LINE
-- CHARACTER).                                             
-- USED IN:  A26007A                          
MAX_IN_LEN                200            
					
-- $MAX_STRING_LITERAL
-- A STRING LITERAL CONSISTING OF $MAX_IN_LEN CHARACTERS (INCLUDING THE
-- QUOTE CHARACTERS).
-- USED IN:  A26007A
MAX_STRING_LITERAL	"AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA"

-- $BIG_ID1                                      
-- AN IDENTIFIER IN WHICH THE NUMBER OF CHARACTERS IS $MAX_IN_LEN. 
-- THE MACROSUB PROGRAM WILL SUPPLY AN IDENTIFIER IN WHICH THE   
-- LAST CHARACTER IS '1' AND ALL OTHERS ARE 'A'.       
-- USED IN:  C23003A  C23003B  C23003G  C23003I
--           C35502D  C35502F
BIG_ID1  AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA1
						
-- $BIG_ID2                                        
-- AN IDENTIFIER IN WHICH THE NUMBER OF CHARACTERS IS $MAX_IN_LEN,
-- DIFFERING FROM $BIG_ID1 ONLY IN THE LAST CHARACTER.  THE MACROSUB
-- PROGRAM WILL USE '2' AS THE LAST CHARACTER.         
-- USED IN:  C23003A  C23003B  B23003F  C23003G  C23003I   
BIG_ID2  AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA2

-- $BIG_ID3                                                
-- AN IDENTIFIER IN WHICH THE NUMBER OF CHARACTERS IS $MAX_IN_LEN.
-- MACROSUB WILL USE '3' AS THE "MIDDLE" CHARACTER; ALL OTHERS ARE 'A'.
-- USED IN:  C23003A  C23003B  C23003G  C23003I
BIG_ID3  AAAAAAAAAAAAAAAAAAAAAAAAAAAAA3AAAAAAAAAAAAAAAAAAAAAAAAAAAAAA

-- $BIG_ID4                                            
-- AN IDENTIFIER IN WHICH THE NUMBER OF CHARACTERS IS $MAX_IN_LEN,
-- DIFFERING FROM $BIG_ID3 ONLY IN THE MIDDLE CHARACTER.  MACROSUB
-- WILL USE '4' AS THE MIDDLE CHARACTER.                      
-- USED IN:  C23003A  C23003B  C23003G  C23003I
BIG_ID4  AAAAAAAAAAAAAAAAAAAAAAAAAAAAA4AAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
							
-- $BIG_STRING1                                                
-- A STRING LITERAL (WITH QUOTES) WHOSE CATENATION WITH $BIG_STRING2
-- ($BIG_STRING1 & $BIG_STRING2) PRODUCES THE IMAGE OF $BIG_ID1.
-- USED IN:  C35502D  C35502F              
BIG_STRING1  "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAA"            
							
-- $BIG_STRING2                                            
-- A STRING LITERAL (WITH QUOTES) WHOSE CATENATION WITH $BIG_STRING1
-- ($BIG_STRING1 & $BIG_STRING2) PRODUCES THE IMAGE OF $BIG_ID1.
-- USED IN:  C35502D  C35502F                              
BIG_STRING2  "AAAAAAAAAAAAAAAAAAAAAAAAAAAAA1"                

-- $BLANKS                                                   
-- A SEQUENCE OF ($MAX_IN_LEN - 20) BLANKS.            
-- USED IN:  B22001A  B22001B  B22001C  B22001D  B22001E  B22001F
--           B22001G  B22001I  B22001J  B22001K  B22001L  B22001M 
--           B22001N                                             
--      <       LIMITS OF SAMPLE SHOWN BY ANGLE BRACKETS           >
BLANKS                                                      
								
-- $ACC_SIZE                                                
-- AN INTEGER LITERAL WHOSE VALUE IS THE MINIMUM NUMBER OF BITS
-- SUFFICIENT TO HOLD ANY VALUE OF AN ACCESS TYPE.         
-- USED IN:  CD2A83C  BD2A02A
ACC_SIZE                  ACATS4GNATBIT
			
-- $ALIGNMENT                                    
-- A VALUE THAT IS LEGITIMATE FOR USE IN A RECORD ALIGNMENT CLAUSE.
-- USED IN:  CD4041A BD4006A                                 
ALIGNMENT 4                                 

-- $COUNT_LAST                                     
-- AN INTEGER LITERAL WHOSE VALUE IS TEXT_IO.COUNT'LAST. 
-- USED IN:  CE3002B                                
COUNT_LAST                2147483647                  
			
-- $ENTRY_ADDRESS                                     
-- AN EXPRESSION YIELDING A LEGAL ADDRESS FOR A TASK ENTRY 
-- (I.E., FOR AN INTERRUPT) FOR THIS IMPLEMENTATION.   
-- USED IN:  SPPRT13SP                                
ENTRY_ADDRESS  ENTRY_ADDR                      

-- $ENTRY_ADDRESS1                            
-- AN EXPRESSION YIELDING A LEGAL ADDRESS FOR A TASK ENTRY
-- (I.E., FOR AN INTERRUPT) FOR THIS IMPLEMENTATION.  THE ADDRESS
-- MUST BE DISTINCT FROM THAT USED IN $ENTRY_ADDRESS.       
-- USED IN:  SPPRT13SP                                   
ENTRY_ADDRESS1  ENTRY_ADDR1                   
			
-- $ENTRY_ADDRESS2                      
-- AN EXPRESSION YIELDING A LEGAL ADDRESS FOR A TASK ENTRY 
-- (I.E., FOR AN INTERRUPT) FOR THIS IMPLEMENTATION.  THE ADDRESS
-- MUST BE DISTINCT FROM THOSE USED IN $ENTRY_ADDRESS      
-- AND $ENTRY_ADDRESS1.                         
-- USED IN:  SPPRT13SP                  
ENTRY_ADDRESS2  ENTRY_ADDR2            
			
-- $FIELD_LAST                            
-- AN INTEGER LITERAL WHOSE VALUE IS TEXT_IO.FIELD'LAST. 
-- USED IN:  CE3002C                            
FIELD_LAST                255               
					
-- $FORM_STRING                           
-- A STRING LITERAL SPECIFYING THAT THE EXTERNAL FILE MEETS BOTH
-- CONDITIONS: (1) THERE IS A VALUE OF TYPE TEXT_IO.COUNT THAT IS NOT
-- AN APPROPRIATE LINE-LENGTH FOR THE FILE, (2) THERE IS A VALUE 
-- OF TYPE TEXT_IO.COUNT THAT IS NOT AN APPROPRIATE PAGE-LENGTH 
-- FOR THE FILE.                   
-- IF IT IS NOT POSSIBLE TO SATISFY BOTH CONDITIONS, THEN SUBSTITUTE
-- A STRING LITERAL SPECIFYING THAT THE EXTERNAL FILE SATISFIES ONE
-- OF THE CONDITIONS.  IF IT IS NOT POSSIBLE TO SATISFY EITHER CONDITION,
-- THEN SUBSTITUTE THE NULL STRING ("").     
-- USED IN:  CE3304A                 
FORM_STRING               ""           
							
-- $FORM_STRING2                              
-- A STRING LITERAL SPECIFYING THAT THE CAPACITY OF THE FILE IS
-- RESTRICTED TO 4096 CHARACTERS OR LESS. IF THE IMPLEMENTATION 
-- CANNOT RESTRICT FILE CAPACITY, $FORM_STRING2 SHOULD EQUAL 
-- "CANNOT_RESTRICT_FILE_CAPACITY".                          
-- USED IN:  CE2203A  CE2403A                 
FORM_STRING2              "CANNOT_RESTRICT_FILE_CAPACITY" 
					
-- $GREATER_THAN_DURATION              
-- A REAL LITERAL WHOSE VALUE (NOT SUBJECT TO ROUND-OFF ERROR 
-- IF POSSIBLE) LIES BETWEEN DURATION'BASE'LAST AND DURATION'LAST.  IF
-- NO SUCH VALUES EXIST, USE A VALUE IN DURATION'RANGE.  
-- USED IN:  C96005B                                 
GREATER_THAN_DURATION     86_000.0         
	
							
						

-- $ILLEGAL_EXTERNAL_FILE_NAME1             
-- AN ILLEGAL EXTERNAL FILE NAME (E.G., TOO LONG, CONTAINING INVALID
-- CHARACTERS, CONTAINING WILD-CARD CHARACTERS, OR SPECIFYING A 
-- NONEXISTENT DIRECTORY).                             
-- USED IN:  CE2102C  CE2102H  CE2103A  CE2103B  CE3102B  CE3107A
ILLEGAL_EXTERNAL_FILE_NAME1       /NODIRECTORY/FILENAME
	
-- $ILLEGAL_EXTERNAL_FILE_NAME2                  
-- AN ILLEGAL EXTERNAL FILE NAME, DIFFERENT FROM $ILLEGAL_EXTERNAL_FILE_NAME1.
-- USED IN:  CE2102C  CE2102H  CE2103A  CE2103B  CE3102B    
ILLEGAL_EXTERNAL_FILE_NAME2       /@@/@@/@@\@@\@@\@@
							
-- $INAPPROPRIATE_LINE_LENGTH                      
-- A LITERAL OF TYPE COUNT THAT IS INAPPROPRIATE AS THE LINE-LENGTH 
-- FOR THE EXTERNAL FILE.  IF THERE IS NO SUCH VALUE, THEN USE -1.
-- USED IN:  CE3304A                                 
INAPPROPRIATE_LINE_LENGTH -1                     
							
-- $INAPPROPRIATE_PAGE_LENGTH                    
-- A LITERAL OF TYPE COUNT THAT IS INAPPROPRIATE AS THE PAGE-LENGTH
-- FOR THE EXTERNAL FILE.  IF THERE IS NO SUCH VALUE, THEN USE -1.
-- USED IN:  CE3304A                              
INAPPROPRIATE_PAGE_LENGTH -1              

-- $INTEGER_FIRST                            
-- AN INTEGER LITERAL, WITH SIGN, WHOSE VALUE IS INTEGER'FIRST.
-- THE LITERAL MUST NOT INCLUDE UNDERSCORES OR LEADING OR TRAILING
-- BLANKS.                        
-- USED IN:  C35503F  B54B01B                  
INTEGER_FIRST             -2147483648      
			
-- $INTEGER_LAST                             
-- AN INTEGER LITERAL WHOSE VALUE IS INTEGER'LAST.  THE LITERAL MUST
-- NOT INCLUDE UNDERSCORES OR LEADING OR TRAILING BLANKS. 
-- USED IN:  C35503F  B54B01B         
INTEGER_LAST              2147483647                 


-- $LESS_THAN_DURATION                
-- A REAL LITERAL (WITH SIGN) WHOSE VALUE (NOT SUBJECT TO
-- ROUND-OFF ERROR IF POSSIBLE) LIES BETWEEN DURATION'BASE'FIRST AND
-- DURATION'FIRST.  IF NO SUCH VALUES EXIST, USE A VALUE IN
-- DURATION'RANGE.                                 
-- USED IN:  C96005B                           
LESS_THAN_DURATION        -86_400.0      

	
-- $MACHINE_CODE_STATEMENT       
-- A VALID MACHINE CODE STATEMENT AS SPECIFIED IN THE PACKAGE 
-- MACHINE_CODE.  IF THE IMPLEMENTATION DOES NOT SUPPORT MACHINE
-- CODE THEN USE THE ADA NULL STATEMENT (I.E. NULL; ).   
-- USED IN:  AD8011A  BD8001A  BD8002A  BD8004A  BD8004B
MACHINE_CODE_STATEMENT     Asm_Insn'(Asm ("ACATS4GNATINSN"));       
						
-- $MAX_INT                                     
-- AN INTEGER LITERAL WHOSE VALUE IS SYSTEM.MAX_INT.
-- THE LITERAL MUST NOT INCLUDE UNDERSCORES OR LEADING OR TRAILING
-- BLANKS.                                                      
-- USED IN:  C35503D  C35503F  C4A007A 
MAX_INT                  9223372036854775807                   

					
-- $MIN_INT                                     
-- AN INTEGER LITERAL, WITH SIGN, WHOSE VALUE IS SYSTEM.MIN_INT.
-- THE LITERAL MUST NOT CONTAIN UNDERSCORES OR LEADING OR TRAILING
-- BLANKS.                                                    
-- USED IN:  C35503D  C35503F  
MIN_INT                  -9223372036854775808                
						
-- $NAME                                               
-- THE NAME OF A PREDEFINED INTEGER TYPE OTHER THAN INTEGER,
-- SHORT_INTEGER, OR LONG_INTEGER.                          
-- (IMPLEMENTATIONS WHICH HAVE NO SUCH TYPES SHOULD USE AN UNDEFINED
-- IDENTIFIER SUCH AS   NO_SUCH_TYPE_AVAILABLE.)                  
-- USED IN:  C45231D  CD7101G  
NAME  LONG_LONG_INTEGER                                 
														
-- $OPTIONAL_DISC                                       
-- A DISCRIMINANT USED AS THE DISCRIMINANT PART OF $RECORD_NAME.
-- IF MACHINE CODE INSERTIONS ARE NOT SUPPORTED THEN SUBSTITUTE
-- NO_SUCH_MACHINE_CODE_DISC.                            
-- USED IN:  BD8002A
OPTIONAL_DISC             
							
-- $RECORD_DEFINITION                                   
-- THE RECORD TYPE DEFINITION (WITH FINAL SEMICOLON) FOR THE TYPE THAT
-- WAS USED IN THE MACRO $RECORD_NAME, AS DECLARED IN PACKAGE    
-- MACHINE_CODE.  IF THE IMPLEMENTATION DOES NOT SUPPORT MACHINE CODE,
-- THEN USE A NULL RECORD DEFINITION                             
-- USED IN:  BD8002A                                   
RECORD_DEFINITION         RECORD  ASM : STRING (1..4); END RECORD;
							
-- $RECORD_NAME
-- A VALID RECORD TYPE NAME THAT IS DEFINED IN PACKAGE MACHINE_CODE.
-- IF THE IMPLEMENTATION DOES NOT SUPPORT MACHINE CODE THEN 
-- USE THE NAME "NO_SUCH_MACHINE_CODE_TYPE"
-- USED IN:  BD8002A
RECORD_NAME	Asm_Insn

-- $TASK_SIZE                                       
-- AN INTEGER LITERAL WHOSE VALUE IS THE NUMBER OF BITS REQUIRED TO
-- HOLD A TASK OBJECT.                                       
-- USED IN:  CD2A91C 
TASK_SIZE                 ACATS4GNATBIT
							
-- $TASK_STORAGE_SIZE                                 
-- THE NUMBER OF STORAGE UNITS REQUIRED FOR A TASK ACTIVATION.
-- USED IN:  BD2C01D  BD2C02A  BD2C03A  C87B62D  CD1009K  CD1009T  
--           CD1009U  CD1C03E  CD1C06A  CD2C11A  CC1225A  CD2C11D
TASK_STORAGE_SIZE 1024                                         
							
-- $VARIABLE_ADDRESS                              
-- AN EXPRESSION YIELDING A LEGAL ADDRESS FOR A VARIABLE FOR THIS
-- IMPLEMENTATION.                                           
-- USED IN:  SPPRT13SP                                 
VARIABLE_ADDRESS  VAR_ADDR
							
-- $VARIABLE_ADDRESS1                                   
-- AN EXPRESSION YIELDING A LEGAL ADDRESS FOR A VARIABLE FOR THIS
-- IMPLEMENTATION.  THE ADDRESS MUST BE DISTINCT FROM THAT USED IN
-- THE MACRO $VARIABLE_ADDRESS.                              
-- USED IN:  SPPRT13SP                                       
VARIABLE_ADDRESS1  VAR_ADDR1
							
-- $VARIABLE_ADDRESS2                    
-- AN EXPRESSION YIELDING A LEGAL ADDRESS FOR A VARIABLE FOR THIS
-- IMPLEMENTATION.  THE ADDRESS MUST BE DISTINCT FROM THOSE USED IN
-- THE MACROS $VARIABLE_ADDRESS AND $VARIABLE_ADDRESS1.          
-- USED IN:  SPPRT13SP                                    
VARIABLE_ADDRESS2  VAR_ADDR2