Subversion Repositories openrisc_me

-- C51004A.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 LABELS, LOOP IDENTIFIERS, AND BLOCK IDENTIFIERS ARE
-- IMPLICITLY DECLARED AT THE END OF THE DECLARATIVE PART.  PRIOR TO
-- THE END OF THE DECLARATIVE PART, THEY MAY BE USED TO REFERENCE
-- ENTITIES IN AN ENCLOSING SCOPE.  SUBTESTS ARE:
--        (A) BLOCK.
--        (B) PROCEDURE BODY.
--        (C) PACKAGE BODY.
--        (D) GENERIC FUNCTION BODY.
--        (E) GENERIC PACKAGE BODY.
--        (F) TASK BODY.
 
-- CPP  6/1/84
 
WITH REPORT;  USE REPORT;
PROCEDURE C51004A IS
 
BEGIN
     TEST("C51004A", "CHECK THAT LABELS, LOOP IDENTIFIERS, AND BLOCK " &
          "IDENTIFIERS MAY BE USED PRIOR TO THEIR IMPLICIT " &
          "DECLARATION");
 
OUTER: DECLARE
 
          TYPE IDN1 IS NEW INTEGER;
          IDN2 : CONSTANT INTEGER := 2;
          TYPE IDN3 IS ACCESS INTEGER;
 
     BEGIN     -- OUTER
 
     -----------------------------------------------
 
     A :  DECLARE
 
               A1 : IDN1;
               A2 : CONSTANT INTEGER := IDN2;
               A3 : IDN3;
 
               TEMP : INTEGER;
 
          BEGIN     -- A
 
           <<IDN1>> TEMP := 0;
 
             IDN2 : FOR I IN 1..1 LOOP
                         TEMP := A2;
                    END LOOP IDN2;
 
             IDN3 : BEGIN
                         NULL;
                    END IDN3;
 
          END A;
 
     -----------------------------------------------
 
     B :  DECLARE
 
               PROCEDURE P (TEMP : OUT INTEGER) IS
 
                    B1 : IDN1;
                    B2 : CONSTANT INTEGER := IDN2 + 2;
                    B3 : IDN3;
 
               BEGIN     -- P
 
          <<L>> <<IDN1>> TEMP := 0;
 
                  IDN2 : WHILE B2 < 0 LOOP
                              TEMP := 0;
                         END LOOP IDN2;
 
                  IDN3 : DECLARE
                         BEGIN
                              NULL;
                         END IDN3;
 
               END P;
 
          BEGIN     -- B
               NULL;
          END B;
 
     -----------------------------------------------
 
     C :  DECLARE
 
               PACKAGE PKG IS
               END PKG;
 
               PACKAGE BODY PKG IS
 
                    C1 : IDN1;
                    C2 : CONSTANT INTEGER := 2 * IDN2;
                    C3 : IDN3;
 
                    TEMP : INTEGER;
 
               BEGIN
 
                <<IDN1>> TEMP := 0;
 
                  IDN2 : LOOP
                              TEMP := 0;
                              EXIT;          
                         END LOOP IDN2;
 
                  IDN3 : BEGIN
                              NULL;
                         END IDN3;
 
               END PKG;
 
          BEGIN     -- C
               NULL;
          END C;
 
     ---------------------------------------------------
 
     D :  DECLARE
 
               GENERIC
                    TYPE Q IS (<>);
               FUNCTION FN RETURN INTEGER;
 
               FUNCTION FN RETURN INTEGER IS
 
                    D1 : IDN1;
                    D2 : CONSTANT INTEGER := IDN2;
                    D3 : IDN3;
 
                    TEMP : INTEGER;
 
               BEGIN     
 
                <<IDN1>> TEMP := 0;
 
                  IDN2 : FOR I IN 1..5 LOOP
                              TEMP := 0;
                         END LOOP IDN2;
 
                  IDN3 : BEGIN
                              NULL;
                         END IDN3;  
 
                         RETURN TEMP;
 
               END FN;
 
          BEGIN
               NULL;
          END D;
 
     -----------------------------------------------
 
     E :  DECLARE
 
               GENERIC
 
                    TYPE ELEMENT IS (<>);
                    ITEM : ELEMENT;
 
               PACKAGE PKG IS
               END PKG;
 
               PACKAGE BODY PKG IS
 
                    E1 : IDN1 RANGE 1..5;
                    E2 : CONSTANT INTEGER := IDN2;
                    E3 : IDN3;
 
                    TEMP : ELEMENT;
 
               BEGIN
 
          <<IDN1>> <<L>> TEMP := ITEM;
 
                  IDN2 : WHILE TEMP /= ITEM LOOP
                              TEMP := ITEM;
                         END LOOP IDN2;
 
                  IDN3 : DECLARE
                         BEGIN
                              NULL;
                         END IDN3;
 
               END PKG;
 
          BEGIN     -- E
 
               DECLARE
                    PACKAGE P1 IS NEW PKG (INTEGER, 0);
               BEGIN
                    NULL;
               END;
 
          END E;
 
     -----------------------------------------------
 
     F :  DECLARE
 
               TASK T;
 
               TASK BODY T IS
 
                    F1 : IDN1 RANGE -4..2;
                    F2 : CONSTANT INTEGER := IDN2;
                    F3 : IDN3;
 
                    TEMP : INTEGER;
 
               BEGIN
 
                <<IDN1>> TEMP := 1;
 
                  IDN2 : LOOP
                              TEMP := TEMP + 1;
                              EXIT;
                         END LOOP IDN2;
 
                  IDN3 : DECLARE
                         BEGIN
                              TEMP := TEMP + 1;
                         END IDN3;
 
               END T;
 
          BEGIN     -- F
               NULL;
          END F;
 
     -----------------------------------------------
 
     END OUTER;
 
     RESULT;
END C51004A;