-- C57003A.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 THE EXIT STATEMENT IS EVALUATED EACH TIME THROUGH A LOOP,
--    AND THAT IT IS EVALUATED CORRECTLY WHETHER POSITIONED AT THE
--    BEGINNING, MIDDLE, OR END OF THE LOOP.


-- EACH TEST IS A LOOP ON  J  WHERE THE EXIT CONDITIONS ARE TO EVALUATE
--    TO  'FALSE'  A CERTAIN NUMBER OF TIMES UNTIL, AT THE APPROPRIATE
--    TIME, ONE OF THEM EVALUATES TO  'TRUE'  AND CAUSES THE LOOP TO BE
--    EXITED.
--
--
--    THE TEST IS PERFORMED 30 TIMES FOR EACH OF THE FIRST TWO
--    DATA TYPES CONSIDERED ('INTEGER', USER-DEFINED ENUMERATION)
--    AND 26 TIMES FOR 'CHARACTER' (THUS 86 TIMES ALTOGETHER).
--
--
--    EACH DATA TYPE HAS ITS OWN SEPARATE SECTION OF CODE.  ALL SECTIONS
--    FOLLOW THE SAME TESTING ALGORITHM (MUTATIS MUTANDIS).  THE CALCU-
--    LATIONS WHICH KEEP TRACK OF THE FLOW OF CONTROL ARE ALL DONE IN
--    INTEGER ARITHMETIC.  THERE ARE THREE DATA TYPES, THUS THREE
--    SECTIONS.
--
--
--    FOR EACH DATA TYPE, THE 30 TESTS ARE DIVIDED INTO 3 "SEGMENTS"
--
--               << NOTE:  THE NUMBER OF SEGMENTS IS WRITTEN  " 3 "    ,
--                         THE NUMBER OF SECTIONS IS WRITTEN  "THREE" >>
--
--    (OF 10 TESTS EACH, EXCEPT 10,10,6 FOR 'CHARACTER'), NUMBERED
--     0 , 1 , 2  AND CORRESPONDING TO THE 3 SIGNIFICANTLY DIFFERENT
--    POSITIONS OF AN EXIT STATEMENT WITH RESPECT TO THE LOOP IT IS IN
--    ( "AT THE VERY TOP" , "AT THE VERY BOTTOM" , "ANYWHERE IN BETWEEN"
--    ).  AT THE BEGINNING OF EACH TEST, THE VARIABLE  WHICH_SEGMENT
--    IS UPDATED TO CONTAIN THE NEW VALUE OF THIS IDENTIFYING NUMBER
--    (FOR THE TEST ABOUT TO BEGIN):
--
--             EXIT AT THE TOP      ........   WHICH_SEGMENT = 0
--             EXIT FROM THE MIDDLE ........   WHICH_SEGMENT = 1
--             EXIT AT THE BOTTOM   ........   WHICH_SEGMENT = 2   .
--
--
--    WITHIN EACH SECTION, THE TESTS ARE NUMBERED  FROM  1  TO  30
--    (26 FOR 'CHARACTER').  THIS NUMBER IS STORED IN THE INTEGER
--    VARIABLE  INT_I  (EQUAL TO THE CURRENT VALUE OF THE OUTER-LOOP
--    INDEX WHEN THAT INDEX IS OF INTEGER TYPE), WHOSE APPROPRIATE VALUE
--    FOR EACH TEST IS SET AT THE BEGINNING OF THE TEST.
--
--
--    AS PART OF THE EVALUATION PROCESS, THE PROGRAM COMPUTES FOR EACH
--    TEST (I.E.  FOR EACH VALUE OF  I , OR OF  INT_I ) THE APPROPRIATE
--    NUMBER OF INNER-LOOP ITERATIONS REQUIRED BEFORE EXIT; THIS IS
--    THE EXPECTED VALUE OF  J  (EXPRESSED AS AN INTEGER IN THE RANGE
--     1..10 ) AND STORES IT IN  EXPECTED_J .  FOR EACH OF THE THREE
--    SECTIONS, THE TIME SEQUENCE OF THESE 30 VALUES IS
--
--             1   2   3   4   5   6   7   8   9  10     << SEGMENT 1 >>
--             6   6   7   7   8   8   9   9  10  10     << SEGMENT 2 >>
--             7   8   8   8   9   9   9  10  10  10     << SEGMENT 3 >>
--
--    (EACH SECTION GETS ALL 3 ROWS, NOT ONE ROW PER SECTION;
--    FOR 'CHARACTER', WHERE ONLY 26 VALUES ARE REQUIRED, THE LAST 4
--    VALUES ARE OMITTED).  THIS NUMBER IS COMPARED WITH THE ACTUAL
--    VALUE OF  J  (ACTUAL NUMBER OF INNER-LOOP ITERATIONS BEFORE THE
--    EXECUTION OF THE EXIT STATEMENT) AS SAVED JUST BEFORE THE EXIT
--    FROM THE LOOP (AGAIN IN THE FORM OF AN INTEGER IN THE RANGE
--     1..30 , IRRESPECTIVE OF THE DATA TYPE BEING TESTED),  I F
--    SUCH SAVED VALUE IS AVAILABLE.
--
--
--    THE ACTUAL VALUE OF INNER-LOOP ITERATIONS (AS SAVED IMMEDIATELY
--    BEFORE THE EXIT, AS OPPOSED TO A VALUE LEFT OVER FROM SOME
--    PREVIOUS ITERATION) IS AVAILABLE ONLY IF  WHICH_SEGMENT /= 0 ,
--    AND IS THEN STORED IN  SAVE_J .
--
--
--    FOR THE CASE  WHICH_SEGMENT = 0 , THE ITERATIONS ARE COUNTED IN
--    THE VARIABLE  COUNT , WHOSE VALUE AT THE COMPLETION OF THE
--    I-TH TEST ( I IN 1..10 ) MUST BE EQUAL TO  EXPECTED_J - 1 ,
--    AND THUS TO  I - 1  (METHODOLOGICALLY AS WELL AS COMPUTATIONALLY
--    THIS IS NO DIFFERENT FROM USING THE MOST RECENT VALUE OF  SAVE_J
--    WHEN A CURRENT ONE CANNOT BE OBTAINED).  AFTER BEING INCREMENTED
--    BY  1 ,  COUNT  IS CHECKED AGAINST  EXPECTED_J .
--
--
--    THIS CONCLUDES THE DESCRIPTION OF THE CASE  WHICH_SEGMENT = 0 ,
--    AND THUS OF THE ALGORITHM.  THE ONLY REASON FOR SPLITTING THE
--    CASE  WHICH_SEGMENT /= 0  INTO TWO IS THE DESIRE TO PROVIDE FOR
--    DISTINCT MESSAGES.


-- RM 04/23/81
-- SPS 3/7/83

WITH REPORT;
PROCEDURE  C57003A  IS

     USE  REPORT ;

BEGIN

     TEST( "C57003A" , "TEST THAT THE EXIT STATEMENT IS EVALUATED" &
                       " EACH TIME THROUGH THE LOOP"               );

     DECLARE

          WHICH_SEGMENT  :  INTEGER RANGE 0..2   ;   -- BOUNDS ARE TIGHT
          SAVE_J         :  INTEGER RANGE 1..10  ;
          EXPECTED_J     :  INTEGER RANGE 1..10  ;
          COUNT          :  INTEGER RANGE 0..100     := 0 ;
          INT_I          :  INTEGER RANGE 1..30  ;

          TYPE  ENUM  IS    ( CHANGE_THE_ORIGIN_FROM_0_TO_1 ,

               A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9 , A10 ,
               A11, A12, A13, A14, A15, A16, A17, A18, A19, A20 ,
               A21, A22, A23, A24, A25, A26, A27, A28, A29, A30 );

     BEGIN


          --------------------------------------------------------------
          -----------------------  INTEGER  ----------------------------


          FOR  I  IN  INTEGER RANGE 1..30  LOOP


               WHICH_SEGMENT  :=  ( I - 1 ) / 10        ;
               EXPECTED_J     :=  ( I + WHICH_SEGMENT ) /
                                  ( WHICH_SEGMENT + 1 ) ;

               COUNT  :=  0 ;


               FOR  J  IN  INTEGER RANGE 1..10  LOOP

                    --  J  NOT SAVED HERE (SO THAT 'EXIT' BE FIRST STMT)

                    EXIT WHEN  WHICH_SEGMENT = 0  AND
                               1*J >= I ;--COUNT+:=1 ON NXT LINE INSTEAD
                    COUNT := COUNT + 1 ;

                    NULL ;
                    NULL ;
                    NULL ;
                    SAVE_J := J ;
                    EXIT WHEN  WHICH_SEGMENT = 1  AND
                               2*J >= I ;

                    NULL ;
                    NULL ;
                    NULL ;
                    SAVE_J := J ;
                    EXIT WHEN  WHICH_SEGMENT = 2  AND
                               3*J >= I ;

               END LOOP;


               COUNT          :=  COUNT + 1             ;  -- SEE HEADER

               CASE  WHICH_SEGMENT  IS
                    WHEN  0  =>
                         IF  COUNT  /=  EXPECTED_J  THEN
                              FAILED( "WRONG COUNT; INT, EXIT AT TOP" );
                         END IF;
                    WHEN  1  =>                 -- WOULD WORK ALSO FOR 0
                         IF  SAVE_J  /=  EXPECTED_J  THEN
                              FAILED( "WRONG COUNT; I,EXIT AT MIDDLE" );
                         END IF;
                    WHEN  2  =>
                         IF  SAVE_J  /=  EXPECTED_J  THEN
                              FAILED( "WRONG COUNT; I,EXIT AT BOTTOM" );
                         END IF;
               END CASE;

          END LOOP;


          --------------------------------------------------------------
          ----------------------  CHARACTER  ---------------------------


          FOR  I  IN  CHARACTER RANGE 'A'..'Z'  LOOP

               INT_I  := CHARACTER'POS(I) - CHARACTER'POS('A') + 1;

               WHICH_SEGMENT  :=  ( INT_I - 1 ) / 10        ;
               EXPECTED_J     :=  ( INT_I + WHICH_SEGMENT ) /
                                  ( WHICH_SEGMENT + 1 )     ;

               COUNT  :=  0 ;


               FOR  J  IN  CHARACTER RANGE 'A'..'J'  LOOP

                    --  J  NOT SAVED HERE (SO THAT 'EXIT' BE FIRST STMT)

                    EXIT WHEN  WHICH_SEGMENT = 0  AND
                               J >= I ; -- COUNT+:=1 ON NXT LINE INSTEAD
                    COUNT := COUNT + 1 ;

                    NULL ;
                    NULL ;
                    NULL ;
                    SAVE_J := CHARACTER'POS(J) - CHARACTER'POS('A') + 1;
                    EXIT WHEN  WHICH_SEGMENT = 1  AND
                               2 * SAVE_J >= INT_I ;

                    NULL ;
                    NULL ;
                    NULL ;
                    EXIT WHEN  WHICH_SEGMENT = 2  AND
                               3 * SAVE_J >= INT_I ;

               END LOOP;


               COUNT          :=    COUNT + 1               ;

               CASE  WHICH_SEGMENT  IS
                    WHEN  0  =>
                         IF  COUNT  /=  EXPECTED_J  THEN
                              FAILED( "WRONG COUNT;CHAR, EXIT AT TOP" );
                         END IF;
                    WHEN  1  =>                 -- WOULD WORK ALSO FOR 0
                         IF  SAVE_J  /=  EXPECTED_J  THEN
                              FAILED( "WRONG COUNT; C,EXIT AT MIDDLE" );
                         END IF;
                    WHEN  2  =>
                         IF  SAVE_J  /=  EXPECTED_J  THEN
                              FAILED( "WRONG COUNT; C,EXIT AT BOTTOM" );
                         END IF;
               END CASE;

          END LOOP;


          --------------------------------------------------------------
          ---------------------  ENUMERATION  --------------------------


          FOR  I  IN  ENUM RANGE A1..A30  LOOP


               INT_I          :=    ENUM'POS(I) ;

               WHICH_SEGMENT  :=  ( INT_I - 1 ) / 10        ;
               EXPECTED_J     :=  ( INT_I + WHICH_SEGMENT ) /
                                  ( WHICH_SEGMENT + 1 )     ;

               COUNT  :=  0 ;


               FOR  J  IN  ENUM RANGE A1..A10  LOOP

                    --  J  NOT SAVED HERE (SO THAT 'EXIT' BE FIRST STMT)

                    EXIT WHEN  WHICH_SEGMENT = 0  AND
                               J >= I ; -- COUNT+:=1 ON NXT LINE INSTEAD
                    COUNT := COUNT + 1 ;

                    NULL ;
                    NULL ;
                    NULL ;
                    SAVE_J := ENUM'POS(J) ;
                    EXIT WHEN  WHICH_SEGMENT = 1  AND
                               2 * SAVE_J >= INT_I ;

                    NULL ;
                    NULL ;
                    NULL ;
                    EXIT WHEN  WHICH_SEGMENT = 2  AND
                               3 * SAVE_J >= INT_I ;

               END LOOP;


               COUNT          :=    COUNT + 1               ;

               CASE  WHICH_SEGMENT  IS
                    WHEN  0  =>
                         IF  COUNT  /=  EXPECTED_J  THEN
                              FAILED( "WRONG COUNT;ENUM, EXIT AT TOP" );
                         END IF;
                    WHEN  1  =>                 -- WOULD WORK ALSO FOR 0
                         IF  SAVE_J  /=  EXPECTED_J  THEN
                              FAILED( "WRONG COUNT; E,EXIT AT MIDDLE" );
                         END IF;
                    WHEN  2  =>
                         IF  SAVE_J  /=  EXPECTED_J  THEN
                              FAILED( "WRONG COUNT; E,EXIT AT BOTTOM" );
                         END IF;
               END CASE;

          END LOOP;

          --------------------------------------------------------------

     END ;


     RESULT ;


END  C57003A ;