-- 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