1-- C45211A.ADA
2
3--                             Grant of Unlimited Rights
4--
5--     Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
6--     F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
7--     unlimited rights in the software and documentation contained herein.
8--     Unlimited rights are defined in DFAR 252.227-7013(a)(19).  By making
9--     this public release, the Government intends to confer upon all
10--     recipients unlimited rights  equal to those held by the Government.
11--     These rights include rights to use, duplicate, release or disclose the
12--     released technical data and computer software in whole or in part, in
13--     any manner and for any purpose whatsoever, and to have or permit others
14--     to do so.
15--
16--                                    DISCLAIMER
17--
18--     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
19--     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
20--     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
21--     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
22--     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
23--     PARTICULAR PURPOSE OF SAID MATERIAL.
24--*
25-- CHECK MEMBERSHIP TESTS FOR AN 'UNNATURAL' ORDERING OF CHARACTER
26-- LITERALS.
27
28-- RJW 1/22/86
29
30WITH REPORT; USE REPORT;
31PROCEDURE C45211A IS
32
33     TYPE  T  IS  ( 'S' , 'Q' , 'P' , 'M' , 'R' );
34     SUBTYPE ST IS T RANGE 'P' .. 'R';
35
36     MVAR  : T := T'('M') ;
37     QVAR  : T := T'('Q') ;
38     MCON  : CONSTANT T := T'('M');
39     QCON  : CONSTANT T := T'('Q');
40
41BEGIN
42
43     TEST( "C45211A" , "CHECK MEMBERSHIP TESTS FOR AN 'UNNATURAL' " &
44                       "ORDERING OF CHARACTER LITERALS" ) ;
45
46     IF QVAR IN T'('P') .. T'('R')  OR
47        'Q'  IN ST
48     THEN
49          FAILED ( "MEMBERSHIP TEST FOR 'UNNATURAL' ORDERING - 1" );
50     END IF;
51
52     IF MVAR NOT IN T'('P') .. T'('R')  OR
53        'M'  NOT IN ST
54     THEN
55          FAILED ( "MEMBERSHIP TEST FOR 'UNNATURAL' ORDERING - 2" );
56     END IF;
57
58     IF QCON IN T'('P') .. T'('R')  OR
59        MCON NOT IN ST
60     THEN
61          FAILED ( "MEMBERSHIP TEST FOR 'UNNATURAL' ORDERING - 3" );
62     END IF;
63
64     RESULT;
65
66END C45211A;
67