1-- CE2103C.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-- OBJECTIVE: 26-- CHECK THAT IS_OPEN RETURNS THE PROPER VALUES FOR FILES OF 27-- TYPE SEQUENTIAL_IO. 28 29-- B) OPENED FILES 30 31-- APPLICABILITY CRITERIA: 32-- THIS TEST IS APPLICABLE ONLY TO IMPLEMENTATIONS WHICH SUPPORT 33-- SEQUENTIAL FILES. 34 35-- HISTORY: 36-- SPW 08/10/87 CREATED ORIGINAL TEST. 37 38WITH REPORT; USE REPORT; 39WITH SEQUENTIAL_IO; 40 41PROCEDURE CE2103C IS 42 43 PACKAGE SEQ_IO IS NEW SEQUENTIAL_IO(CHARACTER); 44 USE SEQ_IO; 45 INCOMPLETE : EXCEPTION; 46 TEST_FILE_ONE : SEQ_IO.FILE_TYPE; 47 VAL : BOOLEAN; 48 49BEGIN 50 51 TEST ("CE2103C", "CHECK THAT IS_OPEN RETURNS THE PROPER " & 52 "VALUES FOR FILES OF TYPE SEQUENTIAL_IO"); 53 54-- FOLLOWING A CREATE 55 56 VAL := FALSE; 57 58 BEGIN 59 CREATE (TEST_FILE_ONE, OUT_FILE, LEGAL_FILE_NAME); 60 EXCEPTION 61 WHEN USE_ERROR => 62 NOT_APPLICABLE ("USE_ERROR RAISED ON CREATE WITH " & 63 "OUT_FILE MODE"); 64 RAISE INCOMPLETE; 65 WHEN NAME_ERROR => 66 NOT_APPLICABLE ("NAME_ERROR RAISED ON CREATE WITH " & 67 "OUT_FILE MODE"); 68 RAISE INCOMPLETE; 69 END; 70 71 VAL := IS_OPEN (TEST_FILE_ONE); 72 73 IF VAL = FALSE THEN 74 FAILED ("IS_OPEN RETURNS FALSE AFTER CREATE"); 75 END IF; 76 77-- FOLLOWING CLOSE 78 79 VAL := TRUE; 80 CLOSE (TEST_FILE_ONE); 81 VAL := IS_OPEN (TEST_FILE_ONE); 82 IF VAL = TRUE THEN 83 FAILED ("IS_OPEN RETURNS TRUE AFTER CLOSE"); 84 END IF; 85 86-- FOLLOWING OPEN 87 88 VAL := FALSE; 89 90 BEGIN 91 OPEN (TEST_FILE_ONE, IN_FILE, LEGAL_FILE_NAME); 92 EXCEPTION 93 WHEN USE_ERROR => 94 IF IS_OPEN (TEST_FILE_ONE) /= FALSE THEN 95 FAILED ("IS_OPEN GIVES TRUE ON " & 96 "UNSUCESSFUL OPEN"); 97 END IF; 98 RAISE INCOMPLETE; 99 END; 100 101 VAL := IS_OPEN (TEST_FILE_ONE); 102 IF VAL = FALSE THEN 103 FAILED ("IS_OPEN RETURNS FALSE AFTER OPEN"); 104 END IF; 105 106-- AFTER RESET 107 108 VAL := FALSE; 109 110 BEGIN 111 RESET (TEST_FILE_ONE); 112 EXCEPTION 113 WHEN USE_ERROR => 114 NULL; 115 END; 116 117 VAL := IS_OPEN (TEST_FILE_ONE); 118 IF VAL = FALSE THEN 119 FAILED ("IS_OPEN RETURNS FALSE AFTER RESET"); 120 END IF; 121 122-- AFTER DELETE 123 124 VAL := TRUE; 125 126 BEGIN 127 DELETE (TEST_FILE_ONE); 128 EXCEPTION 129 WHEN USE_ERROR => 130 IF IS_OPEN (TEST_FILE_ONE) /= FALSE THEN 131 FAILED ("IS_OPEN GIVES TRUE ON UNSUCCESSFUL " & 132 "DELETE"); 133 END IF; 134 RAISE INCOMPLETE; 135 END; 136 137 VAL := IS_OPEN (TEST_FILE_ONE); 138 IF VAL = TRUE THEN 139 FAILED ("IS_OPEN RETURNS TRUE AFTER DELETE"); 140 END IF; 141 142 RESULT; 143 144EXCEPTION 145 146 WHEN INCOMPLETE => 147 RESULT; 148 149END CE2103C; 150