1-- C45662A.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 THE TRUTH TABLE FOR 'NOT' . 26 27-- THE COMBINATIONS OF 'NOT' WITH 'AND' , 'OR' , 'XOR' ARE TESTED 28-- IN C45101(A,G). 29 30 31-- RM 28 OCTOBER 1980 32-- TBN 10/21/85 RENAMED FROM C45401A.ADA. 33 34 35WITH REPORT ; 36PROCEDURE C45662A IS 37 38 USE REPORT; 39 40 TVAR , FVAR , CVAR : BOOLEAN := FALSE ; -- INITIAL VALUE IRRELEVANT 41 ERROR_COUNT : INTEGER := 0 ; -- INITIAL VALUE ESSENTIAL 42 43 PROCEDURE BUMP IS 44 BEGIN 45 ERROR_COUNT := ERROR_COUNT + 1 ; 46 END BUMP ; 47 48BEGIN 49 50 TEST( "C45662A" , "CHECK THE TRUTH TABLE FOR 'NOT'" ) ; 51 52 FOR A IN BOOLEAN LOOP 53 54 CVAR := NOT A ; 55 56 IF NOT A THEN 57 IF A THEN BUMP ; 58 END IF ; 59 END IF; 60 61 IF CVAR THEN 62 IF A THEN BUMP ; 63 END IF ; 64 END IF; 65 66 IF NOT( NOT( NOT( NOT( CVAR )))) 67 THEN 68 IF A THEN BUMP ; 69 END IF ; 70 END IF; 71 72 END LOOP ; 73 74 FOR I IN 1..2 LOOP 75 76 CVAR := NOT ( I > 1 ) ; 77 78 IF NOT ( I > 1 ) THEN 79 IF I>1 THEN BUMP ; 80 END IF ; 81 END IF; 82 83 IF CVAR THEN 84 IF I>1 THEN BUMP ; 85 END IF ; 86 END IF; 87 88 END LOOP ; 89 90 IF NOT TRUE THEN BUMP ; END IF ; 91 IF NOT FALSE THEN NULL ; ELSE BUMP ; END IF ; 92 93 TVAR := IDENT_BOOL( TRUE ); 94 FVAR := IDENT_BOOL( FALSE ); 95 96 IF NOT TVAR THEN BUMP ; END IF ; 97 IF NOT FVAR THEN NULL ; ELSE BUMP ; END IF ; 98 99 100 IF ERROR_COUNT /= 0 THEN FAILED( "'NOT' TRUTH TABLE" ); 101 END IF ; 102 103 RESULT; 104 105END C45662A; 106