Subversion Repositories openrisc_me

-- C56002A.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 BLOCKS CAN HAVE DECLARATIVE PARTS AND THAT

--    THE EFFECT OF THESE DECLARATIONS IS LIMITED TO THE BLOCKS

--    IN WHICH THEY OCCUR.

-- RM 04/16/81

-- SPS 3/4/83

WITH REPORT;

PROCEDURE  C56002A  IS

     USE  REPORT ;

BEGIN

     TEST( "C56002A" , "BLOCKS CAN HAVE DECLARATIVE PARTS AND"         &

                       " THE EFFECT OF THESE DECLARATIONS IS LIMITED"  &

                       " TO THE BLOCKS IN WHICH THEY OCCUR" )          ;

     DECLARE

          FIRST   :  CONSTANT INTEGER := IDENT_INT( 1) ;

          SECOND  :  CONSTANT INTEGER := IDENT_INT( 2) ;

          THIRD   :  CONSTANT INTEGER := IDENT_INT( 3) ;

          FOURTH  :  CONSTANT INTEGER := IDENT_INT( 4) ;

          FIFTH   :  CONSTANT INTEGER := IDENT_INT( 5) ;

          TENTH   :  CONSTANT INTEGER := IDENT_INT(10) ;

          ZEROTH  :  CONSTANT INTEGER := IDENT_INT( 0) ;

     BEGIN

          IF   FIRST   /= 1  OR

               SECOND  /= 2  OR

               THIRD   /= 3  OR

               FOURTH  /= 4  OR

               FIFTH   /= 5  OR

               TENTH   /=10  OR

               ZEROTH  /= 0

          THEN

               FAILED( "WRONG VALUES  -  1" );

          END IF;

          DECLARE

               TYPE  ENUM   IS  ( AMINUS , A,B,C,D,E,  F,G,H,I,J );

               FIRST   :  CONSTANT ENUM := A ;

               SECOND  :  CONSTANT ENUM := B ;

               THIRD   :  CONSTANT ENUM := C ;

               FOURTH  :  CONSTANT ENUM := D ;

               FIFTH   :  CONSTANT ENUM := E ;

               TENTH   :  CONSTANT ENUM := J ;

               ZEROTH  :  CONSTANT ENUM := AMINUS ;

          BEGIN

               IF   FIRST   /= ENUM'VAL( IDENT_INT( 1 ) )  OR

                    SECOND  /= ENUM'VAL( IDENT_INT( 2 ) )  OR

                    THIRD   /= ENUM'VAL( IDENT_INT( 3 ) )  OR

                    FOURTH  /= ENUM'VAL( IDENT_INT( 4 ) )  OR

                    FIFTH   /= ENUM'VAL( IDENT_INT( 5 ) )  OR

                    TENTH   /= ENUM'VAL( IDENT_INT(10 ) )  OR

                    ZEROTH  /= ENUM'VAL( IDENT_INT( 0 ) )

               THEN

                    FAILED( "WRONG VALUES  -  2" );

               END IF;

          END ;

          IF   FIRST   /= 1  OR

               SECOND  /= 2  OR

               THIRD   /= 3  OR

               FOURTH  /= 4  OR

               FIFTH   /= 5  OR

               TENTH   /=10  OR

               ZEROTH  /= 0

          THEN

               FAILED( "WRONG VALUES  -  3" );

          END IF;

          DECLARE

               FIRST   :  CONSTANT CHARACTER := 'A' ;

               SECOND  :  CONSTANT CHARACTER := 'B' ;

               THIRD   :  CONSTANT CHARACTER := 'C' ;

               FOURTH  :  CONSTANT CHARACTER := 'D' ;

               FIFTH   :  CONSTANT CHARACTER := 'E' ;

               TENTH   :  CONSTANT CHARACTER := 'J' ;

               ZEROTH  :  CONSTANT CHARACTER := '0' ;--ZERO < ANY LETTER

          BEGIN

               IF   FIRST   /= IDENT_CHAR( 'A' )  OR

                    SECOND  /= IDENT_CHAR( 'B' )  OR

                    THIRD   /= IDENT_CHAR( 'C' )  OR

                    FOURTH  /= IDENT_CHAR( 'D' )  OR

                    FIFTH   /= IDENT_CHAR( 'E' )  OR

                    TENTH   /= IDENT_CHAR( 'J' )  OR

                    ZEROTH  /= IDENT_CHAR( '0' )

               THEN

                    FAILED( "WRONG VALUES  -  4" );

               END IF;

          END ;

          IF   FIRST   /= 1  OR

               SECOND  /= 2  OR

               THIRD   /= 3  OR

               FOURTH  /= 4  OR

               FIFTH   /= 5  OR

               TENTH   /=10  OR

               ZEROTH  /= 0

          THEN

               FAILED( "WRONG VALUES  -  5" );

          END IF;

     END ;

     RESULT ;

END  C56002A ;