1-- C45202B.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 OPERATIONS IN THE CASE IN WHICH A USER HAS 26-- REDEFINED THE ORDERING OPERATORS. 27 28-- RJW 1/22/86 29 30WITH REPORT; USE REPORT; 31 32PROCEDURE C45202B IS 33 34 35BEGIN 36 37 TEST( "C45202B" , "CHECK MEMBERSHIP OPERATIONS IN WHICH A USER " & 38 "HAS REDEFINED THE ORDERING OPERATORS" ) ; 39 40 41 DECLARE 42 43 TYPE T IS ( AA, BB, CC, LIT, XX, YY, ZZ ); 44 SUBTYPE ST IS T RANGE AA .. LIT; 45 46 VAR : T := LIT ; 47 CON : CONSTANT T := LIT ; 48 49 FUNCTION ">" ( L, R : T ) RETURN BOOLEAN IS 50 BEGIN 51 RETURN T'POS(L) <= T'POS(R); 52 END; 53 54 FUNCTION ">=" ( L, R : T ) RETURN BOOLEAN IS 55 BEGIN 56 RETURN T'POS(L) < T'POS(R); 57 END; 58 59 FUNCTION "<" ( L, R : T ) RETURN BOOLEAN IS 60 BEGIN 61 RETURN T'POS(L) >= T'POS(R); 62 END; 63 64 FUNCTION "<=" ( L, R : T ) RETURN BOOLEAN IS 65 BEGIN 66 RETURN T'POS(L) > T'POS(R); 67 END; 68 69 70 BEGIN 71 72 IF LIT NOT IN ST OR 73 VAR NOT IN ST OR 74 CON NOT IN ST OR 75 NOT (VAR IN ST) OR 76 XX IN ST OR 77 NOT (XX NOT IN ST) 78 THEN 79 FAILED( "WRONG VALUES FOR 'IN ST'" ); 80 END IF; 81 82 IF LIT IN AA ..CC OR 83 VAR NOT IN LIT..ZZ OR 84 CON IN ZZ ..AA OR 85 NOT (CC IN CC .. YY) OR 86 NOT (BB NOT IN CC .. YY) 87 THEN 88 FAILED( "WRONG VALUES FOR 'IN AA..CC'" ); 89 END IF; 90 91 END; 92 93 RESULT; 94 95END C45202B; 96