-- B64003A.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 FOR A MIXTURE OF NAMED AND POSITIONAL NOTATION, NAMED
-- PARAMETERS CANNOT BE INTERLEAVED WITH NOR PRECEDE POSITIONAL
-- PARAMETERS.  SUBTESTS ARE:
--   (A) NAMED PARAMETERS CANNOT BE INTERLEAVED WITH NOR PRECEDE
--       POSITIONAL PARAMETERS.
--   (B) A NAMED PARAMETER AND A LATER POSITIONAL PARAMETER CANNOT BE
--       SPECIFIED FOR THE SAME FORMAL PARAMETER.
--   (C) TWO OR MORE NAMED PARAMETERS CANNOT SPECIFY THE SAME FORMAL
--       PARAMETER.
--   (D) THE NAME USED IN A NAMED PARAMETER MUST ONLY BE A NAME OF A
--       FORMAL PARAMETER.
--   (E) A NAMED PARAMETER CANNOT BE PROVIDED FOR A FORMAL PARAMETER IF
--       A POSITIONAL PARAMETER HAS ALREADY BEEN GIVEN FOR THAT FORMAL
--       PARAMETER.

-- DAS 01/29/81
-- CPP 06/28/84
-- JBG 10/21/85  CORRECTED CALL TO FUN F IN CASE E.

PROCEDURE B64003A IS

     I, J : INTEGER := 0;

     PROCEDURE P (X1 : INTEGER; X2 : IN OUT INTEGER;
          X3 : OUT INTEGER) IS
     BEGIN
          NULL;
     END P;

     FUNCTION F (X1, X2 : INTEGER) RETURN INTEGER IS
     BEGIN
          RETURN 2;
     END F;

BEGIN

     -- (A)
     P (X1 => 1, X2 => I, J);      -- ERROR: POSITIONAL AFTER NAMED.
     NULL;
     P (1, X2 => I, J);            -- ERROR: POSITIONAL AFTER NAMED.
     NULL;
     I := F (X1 => 1, 2);          -- ERROR: POSITIONAL AFTER NAMED.
     NULL;

     -- (B)
     P (X2 => I, J, X3 => J);      -- ERROR: X2 SPECIFIED TWICE.
     NULL;
     I := F (1, X2 => 2, X1 => 1); -- ERROR: X1 SPECIFIED TWICE.
     NULL;

     -- (C)
     P (X1 => 1, X2 => J, X1 => I);     -- ERROR: X1 SPECIFIED TWICE.
     NULL;
     I := F (X1 => 1, X2 => 2, X1 => 1);-- ERROR: X1 SPECIFIED TWICE.
     NULL;

     -- (D)
     P (I => 1, X2 => I, X3 => J); -- ERROR: I NOT A FORMAL.
     NULL;
     I := F (F => 1, X2 => 2);     -- ERROR: F NOT A FORMAL.
     NULL;

     -- (E)
     P (1, X1 => 1, X2 => J);      -- ERROR: X1 SPECIFIED TWICE.
     NULL;
     I := F (I, J, X2 => J);       -- ERROR: X2 SPECIFIED TWICE.
     NULL;

END B64003A;