| -- C95089A.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. |
| --* |
| -- CHECK THAT ALL PERMITTED FORMS OF VARIABLE NAMES ARE PERMITTED |
| -- AS ACTUAL PARAMETERS. |
| |
| -- GLH 7/25/85 |
| |
| WITH REPORT; USE REPORT; |
| PROCEDURE C95089A IS |
| |
| SUBTYPE INT IS INTEGER RANGE 1..3; |
| |
| TYPE REC (N : INT) IS |
| RECORD |
| S : STRING (1..N); |
| END RECORD; |
| |
| TYPE PTRSTR IS ACCESS STRING; |
| |
| R1, R2, R3 : REC (3); |
| S1, S2, S3 : STRING (1..3); |
| PTRTBL : ARRAY (1..3) OF PTRSTR; |
| |
| TASK T1 IS |
| ENTRY E1 (S1 : IN STRING; S2: IN OUT STRING; |
| S3 : OUT STRING); |
| END T1; |
| |
| TASK BODY T1 IS |
| BEGIN |
| LOOP |
| SELECT |
| ACCEPT E1 (S1 : IN STRING; S2: IN OUT STRING; |
| S3 : OUT STRING) DO |
| S3 := S2; |
| S2 := S1; |
| END E1; |
| OR |
| TERMINATE; |
| END SELECT; |
| END LOOP; |
| END T1; |
| |
| TASK T2 IS |
| ENTRY E2 (C1 : IN CHARACTER; C2 : IN OUT CHARACTER; |
| C3 : OUT CHARACTER); |
| END T2; |
| |
| TASK BODY T2 IS |
| BEGIN |
| LOOP |
| SELECT |
| ACCEPT E2 (C1 : IN CHARACTER; C2 : IN OUT CHARACTER; |
| C3 : OUT CHARACTER) DO |
| C3 := C2; |
| C2 := C1; |
| END E2; |
| OR |
| TERMINATE; |
| END SELECT; |
| END LOOP; |
| END T2; |
| |
| FUNCTION F1 (X : INT) RETURN PTRSTR IS |
| BEGIN |
| RETURN PTRTBL (X); |
| END F1; |
| |
| FUNCTION "+" (S1, S2 : STRING) RETURN PTRSTR IS |
| BEGIN |
| RETURN PTRTBL (CHARACTER'POS(S1(1))-CHARACTER'POS('A')+1); |
| END "+"; |
| |
| BEGIN |
| |
| TEST ("C95089A", "CHECK THAT ALL PERMITTED FORMS OF VARIABLE " & |
| "NAMES ARE PERMITTED AS ACTUAL PARAMETERS"); |
| |
| S1 := "AAA"; |
| S2 := "BBB"; |
| T1.E1 (S1, S2, S3); |
| IF S2 /= "AAA" OR S3 /= "BBB" THEN |
| FAILED ("SIMPLE VARIABLE AS AN ACTUAL PARAMETER NOT WORKING"); |
| END IF; |
| |
| S1 := "AAA"; |
| S2 := "BBB"; |
| S3 := IDENT_STR ("CCC"); |
| T2.E2 (S1(1), S2(IDENT_INT(1)), S3(1)); |
| IF S2 /= "ABB" OR S3 /= "BCC" THEN |
| FAILED ("INDEXED COMPONENT AS AN ACTUAL PARAMETER NOT " & |
| "WORKING"); |
| END IF; |
| |
| R1.S := "AAA"; |
| R2.S := "BBB"; |
| T1.E1 (R1.S, R2.S, R3.S); |
| IF R2.S /= "AAA" OR R3.S /= "BBB" THEN |
| FAILED ("SELECTED COMPONENT AS AN ACTUAL PARAMETER " & |
| "NOT WORKING"); |
| END IF; |
| |
| S1 := "AAA"; |
| S2 := "BBB"; |
| T1.E1 (S1(1..IDENT_INT(2)), S2(1..2), |
| S3(IDENT_INT(1)..IDENT_INT(2))); |
| IF S2 /= "AAB" OR S3 /= "BBC" THEN |
| FAILED ("SLICE AS AN ACTUAL PARAMETER NOT WORKING"); |
| END IF; |
| |
| PTRTBL(1) := NEW STRING'("AAA"); |
| PTRTBL(2) := NEW STRING'("BBB"); |
| PTRTBL(3) := NEW STRING'("CCC"); |
| T1.E1 (F1(1).ALL, F1(2).ALL, F1(IDENT_INT(3)).ALL); |
| IF PTRTBL(2).ALL /= "AAA" OR PTRTBL(3).ALL /= "BBB" THEN |
| FAILED ("SELECTED COMPONENT OF FUNCTION VALUE AS AN ACTUAL " & |
| "PARAMETER NOT WORKING"); |
| END IF; |
| |
| PTRTBL(1) := NEW STRING'("AAA"); |
| PTRTBL(2) := NEW STRING'("BBB"); |
| PTRTBL(3) := NEW STRING'("CCC"); |
| S1 := IDENT_STR("AAA"); |
| S2 := IDENT_STR("BBB"); |
| S3 := IDENT_STR("CCC"); |
| T1.E1 ("+"(S1,S1).ALL, "+"(S2,S2).ALL, "+"(S3,S3).ALL); |
| IF PTRTBL(2).ALL /= "AAA" OR PTRTBL(3).ALL /= "BBB" THEN |
| FAILED ("SELECTED COMPONENT OF OVERLOADED OPERATOR " & |
| "FUNCTION VALUE AS AN ACTUAL PARAMETER NOT WORKING"); |
| END IF; |
| |
| PTRTBL(1) := NEW STRING'("AAA"); |
| PTRTBL(2) := NEW STRING'("BBB"); |
| PTRTBL(3) := NEW STRING'("CCC"); |
| T2.E2 (F1(1)(1), F1(IDENT_INT(2))(1), F1(3)(IDENT_INT(1))); |
| IF PTRTBL(2).ALL /= "ABB" OR PTRTBL(3).ALL /= "BCC" THEN |
| FAILED ("INDEXED COMPONENT OF FUNCTION VALUE AS AN ACTUAL " & |
| "PARAMETER NOT WORKING"); |
| END IF; |
| |
| PTRTBL(1) := NEW STRING'("AAA"); |
| PTRTBL(2) := NEW STRING'("BBB"); |
| PTRTBL(3) := NEW STRING'("CCC"); |
| T1.E1 (F1(1)(2..3), F1(2)(IDENT_INT(2)..3), |
| F1(3)(2..IDENT_INT(3))); |
| IF PTRTBL(2).ALL /= "BAA" OR PTRTBL(3).ALL /= "CBB" THEN |
| FAILED ("SLICE OF FUNCTION VALUE AS AN ACTUAL PARAMETER " & |
| "NOT WORKING"); |
| END IF; |
| |
| RESULT; |
| |
| END C95089A; |