-- C95067A.ADA
|
-- C95067A.ADA
|
|
|
-- Grant of Unlimited Rights
|
-- Grant of Unlimited Rights
|
--
|
--
|
-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
|
-- 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
|
-- 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 in the software and documentation contained herein.
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- this public release, the Government intends to confer upon all
|
-- this public release, the Government intends to confer upon all
|
-- recipients unlimited rights equal to those held by the Government.
|
-- recipients unlimited rights equal to those held by the Government.
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- released technical data and computer software in whole or in part, in
|
-- 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
|
-- any manner and for any purpose whatsoever, and to have or permit others
|
-- to do so.
|
-- to do so.
|
--
|
--
|
-- DISCLAIMER
|
-- DISCLAIMER
|
--
|
--
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
|
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
|
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
|
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
--*
|
--*
|
-- CHECK THAT A FORMAL PARAMETER OF MODE IN OR IN OUT CAN BE OF A
|
-- CHECK THAT A FORMAL PARAMETER OF MODE IN OR IN OUT CAN BE OF A
|
-- LIMITED TYPE, INCLUDING A COMPOSITE LIMITED TYPE.
|
-- LIMITED TYPE, INCLUDING A COMPOSITE LIMITED TYPE.
|
|
|
-- JWC 6/20/85
|
-- JWC 6/20/85
|
|
|
WITH REPORT; USE REPORT;
|
WITH REPORT; USE REPORT;
|
PROCEDURE C95067A IS
|
PROCEDURE C95067A IS
|
|
|
PACKAGE PKG IS
|
PACKAGE PKG IS
|
|
|
TYPE ITYPE IS LIMITED PRIVATE;
|
TYPE ITYPE IS LIMITED PRIVATE;
|
|
|
TASK T1 IS
|
TASK T1 IS
|
|
|
ENTRY LOOK_IN_I (X : IN ITYPE; V : INTEGER; M : STRING);
|
ENTRY LOOK_IN_I (X : IN ITYPE; V : INTEGER; M : STRING);
|
|
|
ENTRY LOOK_INOUT_I (X : IN OUT ITYPE; V : INTEGER;
|
ENTRY LOOK_INOUT_I (X : IN OUT ITYPE; V : INTEGER;
|
M : STRING);
|
M : STRING);
|
|
|
ENTRY SET_I (X : IN OUT ITYPE; V : INTEGER);
|
ENTRY SET_I (X : IN OUT ITYPE; V : INTEGER);
|
|
|
END T1;
|
END T1;
|
|
|
SUBTYPE INT_0_20 IS INTEGER RANGE 0 .. 20;
|
SUBTYPE INT_0_20 IS INTEGER RANGE 0 .. 20;
|
TYPE VRTYPE (C : INT_0_20 := 20) IS LIMITED PRIVATE;
|
TYPE VRTYPE (C : INT_0_20 := 20) IS LIMITED PRIVATE;
|
|
|
TASK T2 IS
|
TASK T2 IS
|
|
|
ENTRY LOOK_IN_VR (X : IN VRTYPE; C : INTEGER;
|
ENTRY LOOK_IN_VR (X : IN VRTYPE; C : INTEGER;
|
I : INTEGER; S : STRING; M : STRING);
|
I : INTEGER; S : STRING; M : STRING);
|
|
|
ENTRY LOOK_INOUT_VR (X : IN OUT VRTYPE; C : INTEGER;
|
ENTRY LOOK_INOUT_VR (X : IN OUT VRTYPE; C : INTEGER;
|
I : INTEGER; S : STRING;
|
I : INTEGER; S : STRING;
|
M : STRING);
|
M : STRING);
|
|
|
ENTRY SET_VR (X : IN OUT VRTYPE; C : INTEGER;
|
ENTRY SET_VR (X : IN OUT VRTYPE; C : INTEGER;
|
I : INTEGER; S : STRING);
|
I : INTEGER; S : STRING);
|
|
|
END T2;
|
END T2;
|
|
|
PRIVATE
|
PRIVATE
|
|
|
TYPE ITYPE IS NEW INTEGER RANGE 0 .. 99;
|
TYPE ITYPE IS NEW INTEGER RANGE 0 .. 99;
|
|
|
TYPE VRTYPE (C : INT_0_20 := 20) IS
|
TYPE VRTYPE (C : INT_0_20 := 20) IS
|
RECORD
|
RECORD
|
I : INTEGER;
|
I : INTEGER;
|
S : STRING (1 .. C);
|
S : STRING (1 .. C);
|
END RECORD;
|
END RECORD;
|
|
|
END PKG;
|
END PKG;
|
|
|
USE PKG;
|
USE PKG;
|
|
|
I1 : ITYPE;
|
I1 : ITYPE;
|
|
|
TYPE ATYPE IS ARRAY (1 .. 3) OF ITYPE;
|
TYPE ATYPE IS ARRAY (1 .. 3) OF ITYPE;
|
|
|
A1 : ATYPE;
|
A1 : ATYPE;
|
|
|
VR1 : VRTYPE;
|
VR1 : VRTYPE;
|
|
|
D : CONSTANT INT_0_20 := 10;
|
D : CONSTANT INT_0_20 := 10;
|
|
|
TYPE RTYPE IS
|
TYPE RTYPE IS
|
RECORD
|
RECORD
|
J : ITYPE;
|
J : ITYPE;
|
R : VRTYPE (D);
|
R : VRTYPE (D);
|
END RECORD;
|
END RECORD;
|
|
|
R1 : RTYPE;
|
R1 : RTYPE;
|
|
|
PACKAGE BODY PKG IS
|
PACKAGE BODY PKG IS
|
|
|
TASK BODY T1 IS
|
TASK BODY T1 IS
|
BEGIN
|
BEGIN
|
LOOP
|
LOOP
|
SELECT
|
SELECT
|
ACCEPT LOOK_IN_I (X : IN ITYPE; V : INTEGER;
|
ACCEPT LOOK_IN_I (X : IN ITYPE; V : INTEGER;
|
M : STRING) DO
|
M : STRING) DO
|
IF INTEGER (X) /= V THEN
|
IF INTEGER (X) /= V THEN
|
FAILED ("WRONG SCALAR VALUE - " & M);
|
FAILED ("WRONG SCALAR VALUE - " & M);
|
END IF;
|
END IF;
|
END LOOK_IN_I;
|
END LOOK_IN_I;
|
OR
|
OR
|
ACCEPT LOOK_INOUT_I (X : IN OUT ITYPE;
|
ACCEPT LOOK_INOUT_I (X : IN OUT ITYPE;
|
V : INTEGER;
|
V : INTEGER;
|
M : STRING) DO
|
M : STRING) DO
|
IF INTEGER (X) /= V THEN
|
IF INTEGER (X) /= V THEN
|
FAILED ("WRONG SCALAR VALUE - " & M);
|
FAILED ("WRONG SCALAR VALUE - " & M);
|
END IF;
|
END IF;
|
END LOOK_INOUT_I;
|
END LOOK_INOUT_I;
|
OR
|
OR
|
ACCEPT SET_I (X : IN OUT ITYPE; V : INTEGER) DO
|
ACCEPT SET_I (X : IN OUT ITYPE; V : INTEGER) DO
|
X := ITYPE (IDENT_INT (V));
|
X := ITYPE (IDENT_INT (V));
|
END SET_I;
|
END SET_I;
|
OR
|
OR
|
TERMINATE;
|
TERMINATE;
|
END SELECT;
|
END SELECT;
|
END LOOP;
|
END LOOP;
|
END T1;
|
END T1;
|
|
|
TASK BODY T2 IS
|
TASK BODY T2 IS
|
BEGIN
|
BEGIN
|
LOOP
|
LOOP
|
SELECT
|
SELECT
|
ACCEPT LOOK_IN_VR (X : IN VRTYPE; C : INTEGER;
|
ACCEPT LOOK_IN_VR (X : IN VRTYPE; C : INTEGER;
|
I : INTEGER; S : STRING;
|
I : INTEGER; S : STRING;
|
M : STRING) DO
|
M : STRING) DO
|
IF (X.C /= C OR X.I /= I) OR ELSE
|
IF (X.C /= C OR X.I /= I) OR ELSE
|
X.S /= S THEN
|
X.S /= S THEN
|
FAILED ("WRONG COMPOSITE VALUE - " &
|
FAILED ("WRONG COMPOSITE VALUE - " &
|
M);
|
M);
|
END IF;
|
END IF;
|
END LOOK_IN_VR;
|
END LOOK_IN_VR;
|
OR
|
OR
|
ACCEPT LOOK_INOUT_VR (X : IN OUT VRTYPE;
|
ACCEPT LOOK_INOUT_VR (X : IN OUT VRTYPE;
|
C : INTEGER; I : INTEGER;
|
C : INTEGER; I : INTEGER;
|
S : STRING;
|
S : STRING;
|
M : STRING) DO
|
M : STRING) DO
|
IF (X.C /= C OR X.I /= I) OR ELSE
|
IF (X.C /= C OR X.I /= I) OR ELSE
|
X.S /= S THEN
|
X.S /= S THEN
|
FAILED ("WRONG COMPOSITE VALUE - " &
|
FAILED ("WRONG COMPOSITE VALUE - " &
|
M);
|
M);
|
END IF;
|
END IF;
|
END LOOK_INOUT_VR;
|
END LOOK_INOUT_VR;
|
OR
|
OR
|
ACCEPT SET_VR (X : IN OUT VRTYPE; C : INTEGER;
|
ACCEPT SET_VR (X : IN OUT VRTYPE; C : INTEGER;
|
I : INTEGER; S : STRING) DO
|
I : INTEGER; S : STRING) DO
|
X := (IDENT_INT(C), IDENT_INT(I),
|
X := (IDENT_INT(C), IDENT_INT(I),
|
IDENT_STR(S));
|
IDENT_STR(S));
|
END SET_VR;
|
END SET_VR;
|
OR
|
OR
|
TERMINATE;
|
TERMINATE;
|
END SELECT;
|
END SELECT;
|
END LOOP;
|
END LOOP;
|
END T2;
|
END T2;
|
|
|
BEGIN
|
BEGIN
|
I1 := ITYPE (IDENT_INT(2));
|
I1 := ITYPE (IDENT_INT(2));
|
|
|
FOR I IN A1'RANGE LOOP
|
FOR I IN A1'RANGE LOOP
|
A1 (I) := ITYPE (3 + IDENT_INT(I));
|
A1 (I) := ITYPE (3 + IDENT_INT(I));
|
END LOOP;
|
END LOOP;
|
|
|
VR1 := (IDENT_INT(5), IDENT_INT(4), IDENT_STR("01234"));
|
VR1 := (IDENT_INT(5), IDENT_INT(4), IDENT_STR("01234"));
|
|
|
R1.J := ITYPE (IDENT_INT(6));
|
R1.J := ITYPE (IDENT_INT(6));
|
R1.R := (IDENT_INT(D), IDENT_INT(19),
|
R1.R := (IDENT_INT(D), IDENT_INT(19),
|
IDENT_STR("ABCDEFGHIJ"));
|
IDENT_STR("ABCDEFGHIJ"));
|
END PKG;
|
END PKG;
|
|
|
TASK T3 IS
|
TASK T3 IS
|
ENTRY CHECK_IN_I (X : IN ITYPE; V : INTEGER; M : STRING);
|
ENTRY CHECK_IN_I (X : IN ITYPE; V : INTEGER; M : STRING);
|
|
|
ENTRY CHECK_INOUT_I (X : IN OUT ITYPE; OV : INTEGER;
|
ENTRY CHECK_INOUT_I (X : IN OUT ITYPE; OV : INTEGER;
|
NV : INTEGER; M : STRING);
|
NV : INTEGER; M : STRING);
|
|
|
ENTRY CHECK_IN_A (X : IN ATYPE; V : INTEGER; M : STRING);
|
ENTRY CHECK_IN_A (X : IN ATYPE; V : INTEGER; M : STRING);
|
|
|
ENTRY CHECK_INOUT_A (X : IN OUT ATYPE; OV : INTEGER;
|
ENTRY CHECK_INOUT_A (X : IN OUT ATYPE; OV : INTEGER;
|
NV : INTEGER; M : STRING);
|
NV : INTEGER; M : STRING);
|
|
|
ENTRY CHECK_IN_VR (X : IN VRTYPE; C : INTEGER; I : INTEGER;
|
ENTRY CHECK_IN_VR (X : IN VRTYPE; C : INTEGER; I : INTEGER;
|
S : STRING; M : STRING);
|
S : STRING; M : STRING);
|
|
|
ENTRY CHECK_INOUT_VR (X : IN OUT VRTYPE;
|
ENTRY CHECK_INOUT_VR (X : IN OUT VRTYPE;
|
OC : INTEGER; OI : INTEGER; OS : STRING;
|
OC : INTEGER; OI : INTEGER; OS : STRING;
|
NC : INTEGER; NI : INTEGER; NS : STRING;
|
NC : INTEGER; NI : INTEGER; NS : STRING;
|
M : STRING);
|
M : STRING);
|
|
|
ENTRY CHECK_IN_R (X : IN RTYPE; J : INTEGER; C : INTEGER;
|
ENTRY CHECK_IN_R (X : IN RTYPE; J : INTEGER; C : INTEGER;
|
I : INTEGER; S : STRING; M : STRING);
|
I : INTEGER; S : STRING; M : STRING);
|
|
|
ENTRY CHECK_INOUT_R (X : IN OUT RTYPE; OJ : INTEGER;
|
ENTRY CHECK_INOUT_R (X : IN OUT RTYPE; OJ : INTEGER;
|
OC : INTEGER; OI : INTEGER; OS : STRING;
|
OC : INTEGER; OI : INTEGER; OS : STRING;
|
NJ : INTEGER;
|
NJ : INTEGER;
|
NC : INTEGER; NI : INTEGER; NS : STRING;
|
NC : INTEGER; NI : INTEGER; NS : STRING;
|
M : STRING);
|
M : STRING);
|
END T3;
|
END T3;
|
|
|
TASK BODY T3 IS
|
TASK BODY T3 IS
|
BEGIN
|
BEGIN
|
ACCEPT CHECK_IN_I (X : IN ITYPE; V : INTEGER; M : STRING) DO
|
ACCEPT CHECK_IN_I (X : IN ITYPE; V : INTEGER; M : STRING) DO
|
T1.LOOK_IN_I (X, V, M);
|
T1.LOOK_IN_I (X, V, M);
|
END CHECK_IN_I;
|
END CHECK_IN_I;
|
|
|
ACCEPT CHECK_INOUT_I (X : IN OUT ITYPE; OV : INTEGER;
|
ACCEPT CHECK_INOUT_I (X : IN OUT ITYPE; OV : INTEGER;
|
NV : INTEGER; M : STRING) DO
|
NV : INTEGER; M : STRING) DO
|
T1.LOOK_INOUT_I (X, OV, M & " - A");
|
T1.LOOK_INOUT_I (X, OV, M & " - A");
|
T1.SET_I (X, NV);
|
T1.SET_I (X, NV);
|
T1.LOOK_INOUT_I (X, NV, M & " - B");
|
T1.LOOK_INOUT_I (X, NV, M & " - B");
|
T1.LOOK_IN_I (X, NV, M & " - C");
|
T1.LOOK_IN_I (X, NV, M & " - C");
|
END CHECK_INOUT_I;
|
END CHECK_INOUT_I;
|
|
|
ACCEPT CHECK_IN_A (X : IN ATYPE; V : INTEGER; M : STRING) DO
|
ACCEPT CHECK_IN_A (X : IN ATYPE; V : INTEGER; M : STRING) DO
|
FOR I IN X'RANGE LOOP
|
FOR I IN X'RANGE LOOP
|
T1.LOOK_IN_I (X(I), V+I, M & " -" &
|
T1.LOOK_IN_I (X(I), V+I, M & " -" &
|
INTEGER'IMAGE (I));
|
INTEGER'IMAGE (I));
|
END LOOP;
|
END LOOP;
|
END CHECK_IN_A;
|
END CHECK_IN_A;
|
|
|
ACCEPT CHECK_INOUT_A (X : IN OUT ATYPE; OV : INTEGER;
|
ACCEPT CHECK_INOUT_A (X : IN OUT ATYPE; OV : INTEGER;
|
NV : INTEGER; M : STRING) DO
|
NV : INTEGER; M : STRING) DO
|
FOR I IN X'RANGE LOOP
|
FOR I IN X'RANGE LOOP
|
T1.LOOK_INOUT_I (X(I), OV+I, M & " - A" &
|
T1.LOOK_INOUT_I (X(I), OV+I, M & " - A" &
|
INTEGER'IMAGE (I));
|
INTEGER'IMAGE (I));
|
T1.SET_I (X(I), NV+I);
|
T1.SET_I (X(I), NV+I);
|
T1.LOOK_INOUT_I (X(I), NV+I, M & " - B" &
|
T1.LOOK_INOUT_I (X(I), NV+I, M & " - B" &
|
INTEGER'IMAGE (I));
|
INTEGER'IMAGE (I));
|
T1.LOOK_IN_I (X(I), NV+I, M & " - C" &
|
T1.LOOK_IN_I (X(I), NV+I, M & " - C" &
|
INTEGER'IMAGE (I));
|
INTEGER'IMAGE (I));
|
END LOOP;
|
END LOOP;
|
END CHECK_INOUT_A;
|
END CHECK_INOUT_A;
|
|
|
ACCEPT CHECK_IN_VR (X : IN VRTYPE; C : INTEGER; I : INTEGER;
|
ACCEPT CHECK_IN_VR (X : IN VRTYPE; C : INTEGER; I : INTEGER;
|
S : STRING; M : STRING) DO
|
S : STRING; M : STRING) DO
|
T2.LOOK_IN_VR (X, C, I, S, M);
|
T2.LOOK_IN_VR (X, C, I, S, M);
|
END CHECK_IN_VR;
|
END CHECK_IN_VR;
|
|
|
ACCEPT CHECK_INOUT_VR (X : IN OUT VRTYPE;
|
ACCEPT CHECK_INOUT_VR (X : IN OUT VRTYPE;
|
OC : INTEGER; OI : INTEGER;
|
OC : INTEGER; OI : INTEGER;
|
OS : STRING;
|
OS : STRING;
|
NC : INTEGER; NI : INTEGER;
|
NC : INTEGER; NI : INTEGER;
|
NS : STRING;
|
NS : STRING;
|
M : STRING) DO
|
M : STRING) DO
|
T2.LOOK_INOUT_VR (X, OC, OI, OS, M & " - A");
|
T2.LOOK_INOUT_VR (X, OC, OI, OS, M & " - A");
|
T2.SET_VR (X, NC, NI, NS);
|
T2.SET_VR (X, NC, NI, NS);
|
T2.LOOK_INOUT_VR (X, NC, NI, NS, M & " - B");
|
T2.LOOK_INOUT_VR (X, NC, NI, NS, M & " - B");
|
T2.LOOK_IN_VR (X, NC, NI, NS, M & " - C");
|
T2.LOOK_IN_VR (X, NC, NI, NS, M & " - C");
|
END CHECK_INOUT_VR;
|
END CHECK_INOUT_VR;
|
|
|
ACCEPT CHECK_IN_R (X : IN RTYPE; J : INTEGER; C : INTEGER;
|
ACCEPT CHECK_IN_R (X : IN RTYPE; J : INTEGER; C : INTEGER;
|
I : INTEGER; S : STRING; M : STRING) DO
|
I : INTEGER; S : STRING; M : STRING) DO
|
T1.LOOK_IN_I (X.J, J, M & " - A");
|
T1.LOOK_IN_I (X.J, J, M & " - A");
|
T2.LOOK_IN_VR (X.R, C, I, S, M & " - B");
|
T2.LOOK_IN_VR (X.R, C, I, S, M & " - B");
|
END CHECK_IN_R;
|
END CHECK_IN_R;
|
|
|
ACCEPT CHECK_INOUT_R (X : IN OUT RTYPE; OJ : INTEGER;
|
ACCEPT CHECK_INOUT_R (X : IN OUT RTYPE; OJ : INTEGER;
|
OC : INTEGER; OI : INTEGER; OS : STRING;
|
OC : INTEGER; OI : INTEGER; OS : STRING;
|
NJ : INTEGER;
|
NJ : INTEGER;
|
NC : INTEGER; NI : INTEGER; NS : STRING;
|
NC : INTEGER; NI : INTEGER; NS : STRING;
|
M : STRING) DO
|
M : STRING) DO
|
T1.LOOK_INOUT_I (X.J, OJ, M & " - A");
|
T1.LOOK_INOUT_I (X.J, OJ, M & " - A");
|
T2.LOOK_INOUT_VR (X.R, OC, OI, OS, M & " - B");
|
T2.LOOK_INOUT_VR (X.R, OC, OI, OS, M & " - B");
|
T1.SET_I (X.J, NJ);
|
T1.SET_I (X.J, NJ);
|
T2.SET_VR (X.R, NC, NI, NS);
|
T2.SET_VR (X.R, NC, NI, NS);
|
T1.LOOK_INOUT_I (X.J, NJ, M & " - C");
|
T1.LOOK_INOUT_I (X.J, NJ, M & " - C");
|
T2.LOOK_INOUT_VR (X.R, NC, NI, NS, M & " - D");
|
T2.LOOK_INOUT_VR (X.R, NC, NI, NS, M & " - D");
|
T1.LOOK_IN_I (X.J, NJ, M & " - E");
|
T1.LOOK_IN_I (X.J, NJ, M & " - E");
|
T2.LOOK_IN_VR (X.R, NC, NI, NS, M & " - F");
|
T2.LOOK_IN_VR (X.R, NC, NI, NS, M & " - F");
|
END CHECK_INOUT_R;
|
END CHECK_INOUT_R;
|
END T3;
|
END T3;
|
|
|
BEGIN
|
BEGIN
|
TEST ("C95067A", "CHECK THAT LIMITED PRIVATE/COMPOSITE TYPES " &
|
TEST ("C95067A", "CHECK THAT LIMITED PRIVATE/COMPOSITE TYPES " &
|
"CAN BE USED AS IN OR IN OUT FORMAL PARAMETERS");
|
"CAN BE USED AS IN OR IN OUT FORMAL PARAMETERS");
|
|
|
T3.CHECK_IN_I (I1, 2, "IN I");
|
T3.CHECK_IN_I (I1, 2, "IN I");
|
|
|
T3.CHECK_INOUT_I (I1, 2, 5, "INOUT I");
|
T3.CHECK_INOUT_I (I1, 2, 5, "INOUT I");
|
|
|
T3.CHECK_IN_A (A1, 3, "IN A");
|
T3.CHECK_IN_A (A1, 3, "IN A");
|
|
|
T3.CHECK_INOUT_A (A1, 3, 17, "INOUT A");
|
T3.CHECK_INOUT_A (A1, 3, 17, "INOUT A");
|
|
|
T3.CHECK_IN_VR (VR1, 5, 4, "01234", "IN VR");
|
T3.CHECK_IN_VR (VR1, 5, 4, "01234", "IN VR");
|
|
|
T3.CHECK_INOUT_VR (VR1, 5, 4, "01234", 10, 11, "9876543210",
|
T3.CHECK_INOUT_VR (VR1, 5, 4, "01234", 10, 11, "9876543210",
|
"INOUT VR");
|
"INOUT VR");
|
|
|
T3.CHECK_IN_R (R1, 6, D, 19, "ABCDEFGHIJ", "IN R");
|
T3.CHECK_IN_R (R1, 6, D, 19, "ABCDEFGHIJ", "IN R");
|
|
|
T3.CHECK_INOUT_R (R1, 6, D, 19, "ABCDEFGHIJ", 13, D, 5,
|
T3.CHECK_INOUT_R (R1, 6, D, 19, "ABCDEFGHIJ", 13, D, 5,
|
"ZYXWVUTSRQ", "INOUT R");
|
"ZYXWVUTSRQ", "INOUT R");
|
|
|
RESULT;
|
RESULT;
|
END C95067A;
|
END C95067A;
|
|
|