-- C85005C.ADA -- Grant of Unlimited Rights -- -- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, -- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained -- unlimited rights in the software and documentation contained herein. -- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making -- this public release, the Government intends to confer upon all -- recipients unlimited rights equal to those held by the Government. -- These rights include rights to use, duplicate, release or disclose the -- released technical data and computer software in whole or in part, in -- any manner and for any purpose whatsoever, and to have or permit others -- to do so. -- -- DISCLAIMER -- -- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR -- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED -- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE -- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE -- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A -- PARTICULAR PURPOSE OF SAID MATERIAL. --* -- OBJECTIVE: -- CHECK THAT A VARIABLE CREATED BY AN ENTRY 'IN OUT' FORMAL -- PARAMETER CAN BE RENAMED AND HAS THE CORRECT VALUE, AND THAT -- THE NEW NAME CAN BE USED IN AN ASSIGNMENT STATEMENT AND PASSED -- ON AS AN ACTUAL SUBPROGRAM OR ENTRY 'IN OUT' OR 'OUT' PARAMETER, -- AND AS AN ACTUAL GENERIC 'IN OUT' PARAMETER, AND THAT WHEN THE -- VALUE OF THE RENAMED VARIABLE IS CHANGED, THE NEW VALUE IS -- REFLECTED BY THE VALUE OF THE NEW NAME. -- HISTORY: -- JET 03/15/88 CREATED ORIGINAL TEST. WITH REPORT; USE REPORT; PROCEDURE C85005C IS TYPE ARRAY1 IS ARRAY (POSITIVE RANGE <>) OF INTEGER; TYPE RECORD1 (D : INTEGER) IS RECORD FIELD1 : INTEGER := 1; END RECORD; TYPE POINTER1 IS ACCESS INTEGER; PACKAGE PACK1 IS TYPE PRIVY IS PRIVATE; ZERO : CONSTANT PRIVY; ONE : CONSTANT PRIVY; TWO : CONSTANT PRIVY; THREE : CONSTANT PRIVY; FOUR : CONSTANT PRIVY; FIVE : CONSTANT PRIVY; FUNCTION IDENT (I : PRIVY) RETURN PRIVY; FUNCTION NEXT (I : PRIVY) RETURN PRIVY; PRIVATE TYPE PRIVY IS RANGE 0..127; ZERO : CONSTANT PRIVY := 0; ONE : CONSTANT PRIVY := 1; TWO : CONSTANT PRIVY := 2; THREE : CONSTANT PRIVY := 3; FOUR : CONSTANT PRIVY := 4; FIVE : CONSTANT PRIVY := 5; END PACK1; TASK TYPE TASK1 IS ENTRY ASSIGN (J : IN INTEGER); ENTRY VALU (J : OUT INTEGER); ENTRY NEXT; ENTRY STOP; END TASK1; DI1 : INTEGER := 0; DA1 : ARRAY1(1..3) := (OTHERS => 0); DR1 : RECORD1(1) := (D => 1, FIELD1 => 0); DP1 : POINTER1 := NEW INTEGER'(0); DV1 : PACK1.PRIVY := PACK1.ZERO; DT1 : TASK1; I : INTEGER; GENERIC GI1 : IN OUT INTEGER; GA1 : IN OUT ARRAY1; GR1 : IN OUT RECORD1; GP1 : IN OUT POINTER1; GV1 : IN OUT PACK1.PRIVY; GT1 : IN OUT TASK1; PACKAGE GENERIC1 IS END GENERIC1; FUNCTION IDENT (P : POINTER1) RETURN POINTER1 IS BEGIN IF EQUAL (3,3) THEN RETURN P; ELSE RETURN NULL; END IF; END IDENT; PACKAGE BODY PACK1 IS FUNCTION IDENT (I : PRIVY) RETURN PRIVY IS BEGIN IF EQUAL(3,3) THEN RETURN I; ELSE RETURN PRIVY'(0); END IF; END IDENT; FUNCTION NEXT (I : PRIVY) RETURN PRIVY IS BEGIN RETURN I+1; END NEXT; END PACK1; PACKAGE BODY GENERIC1 IS BEGIN GI1 := GI1 + 1; GA1 := (GA1(1)+1, GA1(2)+1, GA1(3)+1); GR1 := (D => 1, FIELD1 => GR1.FIELD1 + 1); GP1 := NEW INTEGER'(GP1.ALL + 1); GV1 := PACK1.NEXT(GV1); GT1.NEXT; END GENERIC1; TASK BODY TASK1 IS TASK_VALUE : INTEGER := 0; ACCEPTING_ENTRIES : BOOLEAN := TRUE; BEGIN WHILE ACCEPTING_ENTRIES LOOP SELECT ACCEPT ASSIGN (J : IN INTEGER) DO TASK_VALUE := J; END ASSIGN; OR ACCEPT VALU (J : OUT INTEGER) DO J := TASK_VALUE; END VALU; OR ACCEPT NEXT DO TASK_VALUE := TASK_VALUE + 1; END NEXT; OR ACCEPT STOP DO ACCEPTING_ENTRIES := FALSE; END STOP; END SELECT; END LOOP; END TASK1; BEGIN TEST ("C85005C", "CHECK THAT A VARIABLE CREATED BY AN ENTRY " & "'IN OUT' FORMAL PARAMETER CAN BE RENAMED " & "AND HAS THE CORRECT VALUE, AND THAT THE NEW " & "NAME CAN BE USED IN AN ASSIGNMENT STATEMENT " & "AND PASSED ON AS AN ACTUAL SUBPROGRAM OR " & "ENTRY 'IN OUT' OR 'OUT' PARAMETER, AND AS AN " & "ACTUAL GENERIC 'IN OUT' PARAMETER, AND THAT " & "WHEN THE VALUE OF THE RENAMED VARIABLE IS " & "CHANGED, THE NEW VALUE IS REFLECTED BY THE " & "VALUE OF THE NEW NAME"); DECLARE TASK MAIN_TASK IS ENTRY START (TI1 : IN OUT INTEGER; TA1 : IN OUT ARRAY1; TR1 : IN OUT RECORD1; TP1 : IN OUT POINTER1; TV1 : IN OUT PACK1.PRIVY; TT1 : IN OUT TASK1); END MAIN_TASK; TASK BODY MAIN_TASK IS BEGIN ACCEPT START (TI1: IN OUT INTEGER; TA1: IN OUT ARRAY1; TR1: IN OUT RECORD1; TP1: IN OUT POINTER1; TV1: IN OUT PACK1.PRIVY; TT1: IN OUT TASK1) DO DECLARE XTI1 : INTEGER RENAMES TI1; XTA1 : ARRAY1 RENAMES TA1; XTR1 : RECORD1 RENAMES TR1; XTP1 : POINTER1 RENAMES TP1; XTV1 : PACK1.PRIVY RENAMES TV1; XTT1 : TASK1 RENAMES TT1; TASK TYPE TASK2 IS ENTRY ENTRY1 (TTI1 : OUT INTEGER; TTA1 : OUT ARRAY1; TTR1 : OUT RECORD1; TTP1 : IN OUT POINTER1; TTV1 : IN OUT PACK1.PRIVY; TTT1 : IN OUT TASK1); END TASK2; CHK_TASK : TASK2; PROCEDURE PROC1 (PTI1 : IN OUT INTEGER; PTA1 : IN OUT ARRAY1; PTR1 : IN OUT RECORD1; PTP1 : OUT POINTER1; PTV1 : OUT PACK1.PRIVY; PTT1 : IN OUT TASK1) IS BEGIN PTI1 := PTI1 + 1; PTA1 := (PTA1(1)+1, PTA1(2)+1, PTA1(3)+1); PTR1 := (D => 1, FIELD1 => PTR1.FIELD1 + 1); PTP1 := NEW INTEGER'(TP1.ALL + 1); PTV1 := PACK1.NEXT(TV1); PTT1.NEXT; END PROC1; TASK BODY TASK2 IS BEGIN ACCEPT ENTRY1 (TTI1 : OUT INTEGER; TTA1 : OUT ARRAY1; TTR1 : OUT RECORD1; TTP1 : IN OUT POINTER1; TTV1 : IN OUT PACK1.PRIVY; TTT1 : IN OUT TASK1) DO TTI1 := TI1 + 1; TTA1 := (TA1(1)+1, TA1(2)+1, TA1(3)+1); TTR1 := (D => 1, FIELD1 => TR1.FIELD1 + 1); TTP1 := NEW INTEGER'(TTP1.ALL + 1); TTV1 := PACK1.NEXT(TTV1); TTT1.NEXT; END ENTRY1; END TASK2; PACKAGE GENPACK1 IS NEW GENERIC1 (XTI1, XTA1, XTR1, XTP1, XTV1, XTT1); BEGIN IF XTI1 /= IDENT_INT(1) THEN FAILED ("INCORRECT VALUE OF XTI1 (1)"); END IF; IF XTA1 /= (IDENT_INT(1),IDENT_INT(1), IDENT_INT(1)) THEN FAILED ("INCORRECT VALUE OF XTA1 (1)"); END IF; IF XTR1 /= (D => 1, FIELD1 => IDENT_INT(1)) THEN FAILED ("INCORRECT VALUE OF XTR1 (1)"); END IF; IF XTP1 /= IDENT(TP1) OR XTP1.ALL /= IDENT_INT(1) THEN FAILED ("INCORRECT VALUE OF XTP1 (1)"); END IF; IF PACK1."/=" (XTV1, PACK1.IDENT(PACK1.ONE)) THEN FAILED ("INCORRECT VALUE OF XTV1 (1)"); END IF; XTT1.VALU(I); IF I /= IDENT_INT(1) THEN FAILED ("INCORRECT RETURN VALUE OF " & "XTT1.VALU (1)"); END IF; PROC1(XTI1, XTA1, XTR1, XTP1, XTV1, XTT1); IF XTI1 /= IDENT_INT(2) THEN FAILED ("INCORRECT VALUE OF XTI1 (2)"); END IF; IF XTA1 /= (IDENT_INT(2),IDENT_INT(2), IDENT_INT(2)) THEN FAILED ("INCORRECT VALUE OF XTA1 (2)"); END IF; IF XTR1 /= (D => 1, FIELD1 => IDENT_INT(2)) THEN FAILED ("INCORRECT VALUE OF XTR1 (2)"); END IF; IF XTP1 /= IDENT(TP1) OR XTP1.ALL /= IDENT_INT(2) THEN FAILED ("INCORRECT VALUE OF XTP1 (2)"); END IF; IF PACK1."/=" (XTV1, PACK1.IDENT(PACK1.TWO)) THEN FAILED ("INCORRECT VALUE OF XTV1 (2)"); END IF; XTT1.VALU(I); IF I /= IDENT_INT(2) THEN FAILED ("INCORRECT RETURN VALUE FROM " & "XTT1.VALU (2)"); END IF; CHK_TASK.ENTRY1 (XTI1, XTA1, XTR1, XTP1, XTV1, XTT1); IF XTI1 /= IDENT_INT(3) THEN FAILED ("INCORRECT VALUE OF XTI1 (3)"); END IF; IF XTA1 /= (IDENT_INT(3),IDENT_INT(3), IDENT_INT(3)) THEN FAILED ("INCORRECT VALUE OF XTA1 (3)"); END IF; IF XTR1 /= (D => 1, FIELD1 => IDENT_INT(3)) THEN FAILED ("INCORRECT VALUE OF XTR1 (3)"); END IF; IF XTP1 /= IDENT(TP1) OR XTP1.ALL /= IDENT_INT(3) THEN FAILED ("INCORRECT VALUE OF XTP1 (3)"); END IF; IF PACK1."/=" (XTV1, PACK1.IDENT(PACK1.THREE)) THEN FAILED ("INCORRECT VALUE OF XTV1 (3)"); END IF; XTT1.VALU(I); IF I /= IDENT_INT(3) THEN FAILED ("INCORRECT RETURN VALUE OF " & "XTT1.VALU (3)"); END IF; XTI1 := XTI1 + 1; XTA1 := (XTA1(1)+1, XTA1(2)+1, XTA1(3)+1); XTR1 := (D => 1, FIELD1 => XTR1.FIELD1 + 1); XTP1 := NEW INTEGER'(XTP1.ALL + 1); XTV1 := PACK1.NEXT(XTV1); XTT1.NEXT; IF XTI1 /= IDENT_INT(4) THEN FAILED ("INCORRECT VALUE OF XTI1 (4)"); END IF; IF XTA1 /= (IDENT_INT(4),IDENT_INT(4), IDENT_INT(4)) THEN FAILED ("INCORRECT VALUE OF XTA1 (4)"); END IF; IF XTR1 /= (D => 1, FIELD1 => IDENT_INT(4)) THEN FAILED ("INCORRECT VALUE OF XTR1 (4)"); END IF; IF XTP1 /= IDENT(TP1) OR XTP1.ALL /= IDENT_INT(4) THEN FAILED ("INCORRECT VALUE OF XTP1 (4)"); END IF; IF PACK1."/=" (XTV1, PACK1.IDENT(PACK1.FOUR)) THEN FAILED ("INCORRECT VALUE OF XTV1 (4)"); END IF; XTT1.VALU(I); IF I /= IDENT_INT(4) THEN FAILED ("INCORRECT RETURN VALUE OF " & "XTT1.VALU (4)"); END IF; TI1 := TI1 + 1; TA1 := (TA1(1)+1, TA1(2)+1, TA1(3)+1); TR1 := (D => 1, FIELD1 => TR1.FIELD1 + 1); TP1 := NEW INTEGER'(TP1.ALL + 1); TV1 := PACK1.NEXT(TV1); TT1.NEXT; IF XTI1 /= IDENT_INT(5) THEN FAILED ("INCORRECT VALUE OF XTI1 (5)"); END IF; IF XTA1 /= (IDENT_INT(5),IDENT_INT(5), IDENT_INT(5)) THEN FAILED ("INCORRECT VALUE OF XTA1 (5)"); END IF; IF XTR1 /= (D => 1, FIELD1 => IDENT_INT(5)) THEN FAILED ("INCORRECT VALUE OF XTR1 (5)"); END IF; IF XTP1 /= IDENT(TP1) OR XTP1.ALL /= IDENT_INT(5) THEN FAILED ("INCORRECT VALUE OF XTP1 (5)"); END IF; IF PACK1."/=" (XTV1, PACK1.IDENT(PACK1.FIVE)) THEN FAILED ("INCORRECT VALUE OF XTV1 (5)"); END IF; XTT1.VALU(I); IF I /= IDENT_INT(5) THEN FAILED ("INCORRECT RETURN VALUE OF " & "XTT1.VALU (5)"); END IF; END; END START; END MAIN_TASK; BEGIN MAIN_TASK.START (DI1, DA1, DR1, DP1, DV1, DT1); END; DT1.STOP; RESULT; END C85005C;