1-- MACRO.DFS 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. 10 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. 16 17-- EACH DEFINITION IS ACCORDING TO THE FOLLOWING FORMAT: 18 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. 33 34-- DEFINITIONS ARE SEPARATED BY ONE OR MORE EMPTY LINES. 35-- THE LIST OF DEFINITIONS BEGINS AFTER THE FOLLOWING EMPTY LINE. 36 37-- $MAX_IN_LEN 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 40-- CHARACTER). 41-- USED IN: A26007A 42MAX_IN_LEN 200 43 44-- $MAX_STRING_LITERAL 45-- A STRING LITERAL CONSISTING OF $MAX_IN_LEN CHARACTERS (INCLUDING THE 46-- QUOTE CHARACTERS). 47-- USED IN: A26007A 48MAX_STRING_LITERAL "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA" 49 50-- $BIG_ID1 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 55-- C35502D C35502F 56BIG_ID1 AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA1 57 58-- $BIG_ID2 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 63BIG_ID2 AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA2 64 65-- $BIG_ID3 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 69BIG_ID3 AAAAAAAAAAAAAAAAAAAAAAAAAAAAA3AAAAAAAAAAAAAAAAAAAAAAAAAAAAAA 70 71-- $BIG_ID4 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 76BIG_ID4 AAAAAAAAAAAAAAAAAAAAAAAAAAAAA4AAAAAAAAAAAAAAAAAAAAAAAAAAAAAA 77 78-- $BIG_STRING1 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 82BIG_STRING1 "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAA" 83 84-- $BIG_STRING2 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 88BIG_STRING2 "AAAAAAAAAAAAAAAAAAAAAAAAAAAAA1" 89 90-- $BLANKS 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 94-- B22001N 95-- < LIMITS OF SAMPLE SHOWN BY ANGLE BRACKETS > 96BLANKS 97 98-- $ACC_SIZE 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 102ACC_SIZE 32 103 104-- $ALIGNMENT 105-- A VALUE THAT IS LEGITIMATE FOR USE IN A RECORD ALIGNMENT CLAUSE. 106-- USED IN: CD4041A BD4006A 107ALIGNMENT 4 108 109-- $COUNT_LAST 110-- AN INTEGER LITERAL WHOSE VALUE IS TEXT_IO.COUNT'LAST. 111-- USED IN: CE3002B 112COUNT_LAST 2147483647 113 114-- $ENTRY_ADDRESS 115-- AN EXPRESSION YIELDING A LEGAL ADDRESS FOR A TASK ENTRY 116-- (I.E., FOR AN INTERRUPT) FOR THIS IMPLEMENTATION. 117-- USED IN: SPPRT13SP 118ENTRY_ADDRESS ENTRY_ADDR 119 120-- $ENTRY_ADDRESS1 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 125ENTRY_ADDRESS1 ENTRY_ADDR1 126 127-- $ENTRY_ADDRESS2 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 133ENTRY_ADDRESS2 ENTRY_ADDR2 134 135-- $FIELD_LAST 136-- AN INTEGER LITERAL WHOSE VALUE IS TEXT_IO.FIELD'LAST. 137-- USED IN: CE3002C 138FIELD_LAST 255 139 140-- $FORM_STRING 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 145-- FOR THE FILE. 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 (""). 150-- USED IN: CE3304A 151FORM_STRING "" 152 153-- $FORM_STRING2 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 159FORM_STRING2 "CANNOT_RESTRICT_FILE_CAPACITY" 160 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. 165-- USED IN: C96005B 166GREATER_THAN_DURATION 86_000.0 167 168 169 170 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 176ILLEGAL_EXTERNAL_FILE_NAME1 /NODIRECTORY/FILENAME 177 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 181ILLEGAL_EXTERNAL_FILE_NAME2 /@@/@@/@@\@@\@@\@@ 182 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. 186-- USED IN: CE3304A 187INAPPROPRIATE_LINE_LENGTH -1 188 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. 192-- USED IN: CE3304A 193INAPPROPRIATE_PAGE_LENGTH -1 194 195-- $INTEGER_FIRST 196-- AN INTEGER LITERAL, WITH SIGN, WHOSE VALUE IS INTEGER'FIRST. 197-- THE LITERAL MUST NOT INCLUDE UNDERSCORES OR LEADING OR TRAILING 198-- BLANKS. 199-- USED IN: C35503F B54B01B 200INTEGER_FIRST -2147483648 201 202-- $INTEGER_LAST 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 206INTEGER_LAST 2147483647 207 208 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 213-- DURATION'RANGE. 214-- USED IN: C96005B 215LESS_THAN_DURATION -86_400.0 216 217 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 223MACHINE_CODE_STATEMENT Asm_Insn'(Asm ("nop")); 224 225-- $MAX_INT 226-- AN INTEGER LITERAL WHOSE VALUE IS SYSTEM.MAX_INT. 227-- THE LITERAL MUST NOT INCLUDE UNDERSCORES OR LEADING OR TRAILING 228-- BLANKS. 229-- USED IN: C35503D C35503F C4A007A 230MAX_INT 9223372036854775807 231 232 233-- $MIN_INT 234-- AN INTEGER LITERAL, WITH SIGN, WHOSE VALUE IS SYSTEM.MIN_INT. 235-- THE LITERAL MUST NOT CONTAIN UNDERSCORES OR LEADING OR TRAILING 236-- BLANKS. 237-- USED IN: C35503D C35503F 238MIN_INT -9223372036854775808 239 240-- $NAME 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 246NAME LONG_LONG_INTEGER 247 248-- $OPTIONAL_DISC 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. 252-- USED IN: BD8002A 253OPTIONAL_DISC 254 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 260-- USED IN: BD8002A 261RECORD_DEFINITION RECORD ASM : STRING (1..4); END RECORD; 262 263-- $RECORD_NAME 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" 267-- USED IN: BD8002A 268RECORD_NAME Asm_Insn 269 270-- $TASK_SIZE 271-- AN INTEGER LITERAL WHOSE VALUE IS THE NUMBER OF BITS REQUIRED TO 272-- HOLD A TASK OBJECT. 273-- USED IN: CD2A91C 274TASK_SIZE 32 275 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 280TASK_STORAGE_SIZE 1024 281 282-- $VARIABLE_ADDRESS 283-- AN EXPRESSION YIELDING A LEGAL ADDRESS FOR A VARIABLE FOR THIS 284-- IMPLEMENTATION. 285-- USED IN: SPPRT13SP 286VARIABLE_ADDRESS VAR_ADDR 287 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 293VARIABLE_ADDRESS1 VAR_ADDR1 294 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 300VARIABLE_ADDRESS2 VAR_ADDR2 301 302