a56bf6f82c
a) The BUILD_ADA must be YES (strictly capitalized) for the
pre-configure target to work, which is inconsistent.
b) For me (using ALT_GCC), the directory .work/.gcc was not
present at pre-configure time, which made some "cd" fail.
2) Makefile cleanup as recommended by Lubomir.
3) pkglint cleanup
4) Increment PKGREVISION
300 lines
14 KiB
Text
300 lines
14 KiB
Text
-- 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 64
|
|
|
|
-- $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 ("nop"));
|
|
|
|
-- $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 64
|
|
|
|
-- $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 65536
|
|
|
|
-- $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
|