c35503o.ada

来自「用于进行gcc测试」· ADA 代码 · 共 126 行

-- C35503O.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.
--*
-- OBJECTIVE:
--     CHECK THAT 'FIRST' AND 'LAST' YIELD THE CORRECT RESULTS WHEN THE
--     PREFIX IS AN INTEGER TYPE.

-- HISTORY:
--     RJW 03/17/86 CREATED ORIGINAL TEST.
--     DHH 10/19/87 SHORTENED LINES CONTAINING MORE THAN 72 CHARACTERS.

WITH REPORT; USE REPORT;

PROCEDURE C35503O IS

BEGIN
     TEST ("C35503O", "CHECK THAT 'FIRST' AND 'LAST' YIELD THE " &
                      "CORRECT RESULTS WHEN THE PREFIX IS AN " &
                      "INTEGER TYPE" );

     DECLARE
          SUBTYPE SINTEGER IS INTEGER;
          SUBTYPE SMALL IS INTEGER RANGE IDENT_INT(-10) ..
                                                         IDENT_INT(10);
          SUBTYPE NOINTEGER IS INTEGER
            RANGE IDENT_INT(5) .. IDENT_INT(-7);

          TYPE INT IS RANGE -6 .. 6;
          SUBTYPE SINT IS INT
            RANGE INT(IDENT_INT(-4)) .. INT(IDENT_INT(4));
          SUBTYPE NOINT IS INT
            RANGE INT(IDENT_INT(1)) .. INT(IDENT_INT(-1));
          TYPE NEWINT IS NEW INTEGER RANGE IDENT_INT(-9) ..
                                                          IDENT_INT(-2);
          SUBTYPE SNEWINT IS NEWINT RANGE -7 .. -5;
          SUBTYPE NONEWINT IS NEWINT RANGE 3 .. -15;

     BEGIN
          IF SINTEGER'FIRST /= INTEGER'FIRST THEN
               FAILED ( "WRONG VALUE FOR SINTEGER'FIRST" );
          END IF;
          IF SINTEGER'LAST /= INTEGER'LAST THEN
               FAILED ( "WRONG VALUE FOR SINTEGER'LAST" );
          END IF;

          IF SMALL'FIRST /= -10 THEN
               FAILED ( "WRONG VALUE FOR SMALL'FIRST" );
          END IF;
          IF SMALL'LAST /= 10 THEN
               FAILED ( "WRONG VALUE FOR SMALL'LAST" );
          END IF;

          IF NOINTEGER'FIRST /= 5 THEN
               FAILED ( "WRONG VALUE FOR NOINTEGER'FIRST" );
          END IF;
          IF NOINTEGER'LAST /= -7 THEN
               FAILED ( "WRONG VALUE FOR NOINTEGER'LAST" );
          END IF;

          IF INT'FIRST /= -6 THEN
               FAILED ( "WRONG VALUE FOR INT'FIRST" );
          END IF;
          IF INT'LAST /= 6 THEN
               FAILED ( "WRONG VALUE FOR INT'LAST" );
          END IF;

          IF SINT'FIRST /= -4 THEN
               FAILED ( "WRONG VALUE FOR SINT'FIRST" );
          END IF;
          IF SINT'LAST /= 4 THEN
               FAILED ( "WRONG VALUE FOR SINT'LAST" );
          END IF;

          IF NOINT'FIRST /= 1 THEN
               FAILED ( "WRONG VALUE FOR NOINT'FIRST" );
          END IF;
          IF NOINT'LAST /= -1 THEN
               FAILED ( "WRONG VALUE FOR NOINT'LAST" );
          END IF;

          IF NEWINT'FIRST /= -9 THEN
               FAILED ( "WRONG VALUE FOR NEWINT'FIRST" );
          END IF;
          IF NEWINT'LAST /= -2 THEN
               FAILED ( "WRONG VALUE FOR NEWINT'LAST" );
          END IF;

          IF SNEWINT'FIRST /= -7 THEN
               FAILED ( "WRONG VALUE FOR SNEWINT'FIRST" );
          END IF;
          IF SNEWINT'LAST /= -5 THEN
               FAILED ( "WRONG VALUE FOR SNEWINT'LAST" );
          END IF;

          IF NONEWINT'FIRST /= 3 THEN
               FAILED ( "WRONG VALUE FOR NONEWINT'FIRST" );
          END IF;
          IF NONEWINT'LAST /= -15 THEN
               FAILED ( "WRONG VALUE FOR NONEWINT'LAST" );
          END IF;
     END;

     RESULT;
END C35503O;