1-- C45113A.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 THAT CONSTRAINT_ERROR IS RAISED WHEN THE OPERANDS OF LOGICAL 26-- OPERATORS HAVE DIFFERENT LENGTHS. 27 28-- RJW 1/15/86 29 30WITH REPORT; USE REPORT; 31 32PROCEDURE C45113A IS 33 34BEGIN 35 36 TEST( "C45113A" , "CHECK ON LOGICAL OPERATORS WITH " & 37 "OPERANDS OF DIFFERENT LENGTHS" ); 38 39 DECLARE 40 41 TYPE ARR IS ARRAY ( INTEGER RANGE <> ) OF BOOLEAN; 42 43 A : ARR( IDENT_INT(1) .. IDENT_INT(2) ) := ( TRUE, FALSE ); 44 B : ARR( IDENT_INT(1) .. IDENT_INT(3) ) := ( TRUE, FALSE, 45 TRUE ); 46 47 BEGIN 48 49 BEGIN -- TEST FOR 'AND'. 50 IF (A AND B) = B THEN 51 FAILED ( "A AND B = B" ); 52 END IF; 53 FAILED ( "NO EXCEPTION RAISED FOR 'AND'" ); 54 EXCEPTION 55 WHEN CONSTRAINT_ERROR => 56 NULL; 57 WHEN OTHERS => 58 FAILED ( "WRONG EXCEPTION RAISED FOR 'AND'" ); 59 END; 60 61 62 BEGIN -- TEST FOR 'OR'. 63 IF (A OR B) = B THEN 64 FAILED ( "A OR B = B" ); 65 END IF; 66 FAILED ( "NO EXCEPTION RAISED FOR 'OR'" ); 67 EXCEPTION 68 WHEN CONSTRAINT_ERROR => 69 NULL; 70 WHEN OTHERS => 71 FAILED ( "WRONG EXCEPTION RAISED FOR 'OR'" ); 72 END; 73 74 75 BEGIN -- TEST FOR 'XOR'. 76 IF (A XOR B) = B THEN 77 FAILED ( "A XOR B = B" ); 78 END IF; 79 FAILED ( "NO EXCEPTION RAISED FOR 'XOR'" ); 80 EXCEPTION 81 WHEN CONSTRAINT_ERROR => 82 NULL; 83 WHEN OTHERS => 84 FAILED ( "WRONG EXCEPTION RAISED FOR 'XOR'" ); 85 END; 86 87 END; 88 89 RESULT; 90 91END C45113A; 92