URL
https://opencores.org/ocsvn/scarts/scarts/trunk
Subversion Repositories scarts
[/] [scarts/] [trunk/] [toolchain/] [scarts-gcc/] [gcc-4.1.1/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [ce/] [ce2111b.ada] - Rev 12
Compare with Previous | Blame | View Log
-- CE2111B.ADA -- Grant of Unlimited Rights -- -- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, -- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained -- unlimited rights in the software and documentation contained herein. -- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making -- this public release, the Government intends to confer upon all -- recipients unlimited rights equal to those held by the Government. -- These rights include rights to use, duplicate, release or disclose the -- released technical data and computer software in whole or in part, in -- any manner and for any purpose whatsoever, and to have or permit others -- to do so. -- -- DISCLAIMER -- -- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR -- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED -- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE -- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE -- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A -- PARTICULAR PURPOSE OF SAID MATERIAL. --* -- OBJECTIVE: -- CHECK THAT A SUCCESSFUL RESET POSITIONS THE INDEX CORRECTLY -- TO THE START OF THE FILE FOR DIRECT IO. -- APPLICABILITY CRITERIA: -- THIS TEST IS APPLICABLE ONLY TO IMPLEMENTATIONS WHICH SUPPORT -- RESET FOR DIRECT FILES. -- HISTORY: -- DLD 08/13/82 -- JBG 03/24/83 -- EG 05/29/85 -- JLH 07/23/87 ADDED CHECKS FOR USE_ERROR WHEN FILE IS RESET. WITH REPORT; USE REPORT; WITH DIRECT_IO; PROCEDURE CE2111B IS PACKAGE DIR_IO IS NEW DIRECT_IO (INTEGER); USE DIR_IO; TEST_FILE_ONE : DIR_IO.FILE_TYPE; DATUM : INTEGER; INCOMPLETE : EXCEPTION; BEGIN TEST ("CE2111B", "CHECK THAT SUCCESSFUL RESETS POSITION THE " & "INDEX CORRECTLY"); -- CREATE AND INITIALIZE TEST FILE BEGIN CREATE (TEST_FILE_ONE, OUT_FILE, LEGAL_FILE_NAME); EXCEPTION WHEN USE_ERROR => NOT_APPLICABLE ("USE_ERROR RAISED ON CREATE"); RAISE INCOMPLETE; WHEN NAME_ERROR => NOT_APPLICABLE ("NAME_ERROR RAISED ON CREATE"); RAISE INCOMPLETE; END; WRITE (TEST_FILE_ONE, 5); WRITE (TEST_FILE_ONE, 6); WRITE (TEST_FILE_ONE, 7); WRITE (TEST_FILE_ONE, 8); -- CHECK THAT RESET POSITIONS INDEX CORRECTLY FOR OUT_FILE BEGIN RESET (TEST_FILE_ONE); IF INDEX (TEST_FILE_ONE) /= 1 THEN FAILED ("RESET INCORRECTLY POSITIONED FILE FOR " & "OUT_FILE"); END IF; EXCEPTION WHEN USE_ERROR => NOT_APPLICABLE ("RESET NOT SUPPORTED FOR OUT_FILE"); RAISE INCOMPLETE; END; -- WRITE MORE DATA WRITE (TEST_FILE_ONE, 2); CLOSE (TEST_FILE_ONE); -- NOW CHECK TO SEE THAT RESET WORKED FOR OUT_FILE BEGIN OPEN (TEST_FILE_ONE, IN_FILE, LEGAL_FILE_NAME); EXCEPTION WHEN USE_ERROR => NOT_APPLICABLE ("DIR_IO NOT SUPPORTED FOR IN_FILE OPEN"); RAISE INCOMPLETE; END; READ (TEST_FILE_ONE, DATUM); IF DATUM /= 2 THEN FAILED ("RESET FAILED FOR OUT_FILE"); END IF; -- POSITION POINTER APPROPRIATELY FOR IN_FILE RESET READ (TEST_FILE_ONE, DATUM); -- RESET IN_FILE BEGIN RESET (TEST_FILE_ONE); IF INDEX (TEST_FILE_ONE) /= 1 THEN FAILED ("RESET INCORRECTLY POSITIONED FILE " & "FOR IN_FILE"); END IF; EXCEPTION WHEN USE_ERROR => NOT_APPLICABLE ("RESET NOT SUPPORTED FOR IN_FILE"); RAISE INCOMPLETE; END; -- VALIDATE IN_FILE RESET READ (TEST_FILE_ONE, DATUM); IF DATUM /= 2 THEN FAILED ("RESET FAILED FOR IN_FILE"); END IF; -- VALIDATE RESET FOR IN_OUT FILE CLOSE (TEST_FILE_ONE); BEGIN OPEN (TEST_FILE_ONE, INOUT_FILE, LEGAL_FILE_NAME); EXCEPTION WHEN USE_ERROR => NOT_APPLICABLE ("DIR_IO NOT SUPPORTED FOR INOUT_FILE " & "OPEN"); RAISE INCOMPLETE; END; -- WRITE NEW DATA WRITE (TEST_FILE_ONE, 3); -- RESET INOUT_FILE BEGIN RESET (TEST_FILE_ONE); IF INDEX (TEST_FILE_ONE) /= 1 THEN FAILED ("RESET INCORRECTLY POSITIONED FILE " & "FOR INOUT_FILE"); END IF; EXCEPTION WHEN USE_ERROR => NOT_APPLICABLE ("RESET NOT SUPPORTED FOR INOUT_FILE"); RAISE INCOMPLETE; END; -- VALIDATE RESET READ (TEST_FILE_ONE, DATUM); IF DATUM /= 3 THEN FAILED ("RESET FAILED FOR INOUT_FILE"); END IF; -- DELETE TEST FILE BEGIN DELETE (TEST_FILE_ONE); EXCEPTION WHEN USE_ERROR => NULL; END; RESULT; EXCEPTION WHEN INCOMPLETE => RESULT; END CE2111B;