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/] [ce2406a.ada] - Rev 12
Compare with Previous | Blame | View Log
-- CE2406A.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: -- FOR A DIRECT ACCESS FILE, CHECK THAT AFTER A READ, THE CURRENT -- READ POSITION IS INCREMENTED BY ONE. -- APPLICABILITY CRITERIA: -- THIS TEST IS APPLICABLE ONLY TO IMPLEMENTATIONS WHICH SUPPORT -- DIRECT_IO FILES. -- HISTORY: -- ABW 08/20/82 -- SPS 09/16/82 -- SPS 11/09/82 -- JBG 02/22/84 CHANGE TO .ADA TEST. -- EG 05/16/85 -- TBN 11/04/86 REVISED TEST TO OUTPUT A NON_APPLICABLE -- RESULT WHEN FILES ARE NOT SUPPORTED. -- GMT 08/05/87 REMOVED DEPENDENCE ON RESET AND ADDED CHECK FOR -- USE_ERROR ON DELETE. WITH REPORT; USE REPORT; WITH DIRECT_IO; PROCEDURE CE2406A IS PACKAGE DIR IS NEW DIRECT_IO (INTEGER); USE DIR; FILE1 : FILE_TYPE; INT : INTEGER := IDENT_INT (18); BOOL : BOOLEAN := IDENT_BOOL (TRUE); INT_ITEM1, INT_ITEM2 : INTEGER; INCOMPLETE : EXCEPTION; BEGIN TEST ("CE2406A", "CHECK THAT READ POSITION IS INCREMENTED " & "BY ONE AFTER A READ"); -- CREATE AND INITIALIZE FILE1 BEGIN BEGIN CREATE (FILE1, INOUT_FILE, LEGAL_FILE_NAME); EXCEPTION WHEN NAME_ERROR | USE_ERROR => NOT_APPLICABLE ("NAME_ERROR | USE_ERROR RAISED " & "ON CREATE - 1"); RAISE INCOMPLETE; WHEN OTHERS => FAILED ("WRONG EXCEPTION RAISED ON CREATE - 2"); RAISE INCOMPLETE; END; BEGIN WRITE (FILE1, INT); WRITE (FILE1, 26); WRITE (FILE1, 12); WRITE (FILE1, 19); WRITE (FILE1, INT); WRITE (FILE1, 3); -- BEGIN TEST CLOSE (FILE1); BEGIN OPEN (FILE1, IN_FILE, LEGAL_FILE_NAME); EXCEPTION WHEN USE_ERROR => NOT_APPLICABLE ("USE_ERROR RAISED ON" & "OPEN - 3"); RAISE INCOMPLETE; WHEN OTHERS => FAILED ("WRONG EXCEPTION RAISED ON " & "OPEN - 4"); RAISE INCOMPLETE; END; IF INDEX(FILE1) /= POSITIVE_COUNT (IDENT_INT(1)) THEN FAILED ("INITIAL INDEX VALUE INCORRECT - 5"); ELSE READ (FILE1, INT_ITEM1); IF INDEX(FILE1) /= POSITIVE_COUNT(IDENT_INT(2)) THEN FAILED ("INDEX VALUE NOT INCREMENTED - 6"); ELSE IF INT_ITEM1 /= IDENT_INT(18) THEN FAILED ("READ INCORRECT VALUE - 7"); END IF; READ (FILE1, INT_ITEM1, 4); IF INDEX(FILE1) /= POSITIVE_COUNT (IDENT_INT(5)) THEN FAILED ("INDEX VALUE NOT INCREMENTED " & "WHEN TO IS SPECIFIED - 8"); ELSE IF INT_ITEM1 /= IDENT_INT(19) THEN FAILED ("READ INCORRECT VALUE - 9"); END IF; READ (FILE1, INT_ITEM1); IF INDEX(FILE1) /= POSITIVE_COUNT(IDENT_INT(6)) THEN FAILED ("INDEX VALUE NOT " & "INCREMENTED WHEN " & "LAST - 10"); ELSIF INT_ITEM1 /= IDENT_INT(18) THEN FAILED ("READ INCORRECT " & "IN_FILE VALUE - 11"); END IF; END IF; END IF; END IF; CLOSE (FILE1); BEGIN OPEN (FILE1, INOUT_FILE, LEGAL_FILE_NAME); EXCEPTION WHEN USE_ERROR => NOT_APPLICABLE ("USE_ERROR RAISED ON " & "OPEN - 12"); RAISE INCOMPLETE; WHEN OTHERS => FAILED ("WRONG EXCEPTION RAISED ON " & "OPEN - 13"); RAISE INCOMPLETE; END; IF INDEX(FILE1) /= POSITIVE_COUNT(IDENT_INT(1)) THEN FAILED ("INITIAL INDEX VALUE INCORRECT - 14"); ELSE READ (FILE1, INT_ITEM2); IF INDEX(FILE1) /= POSITIVE_COUNT(IDENT_INT(2)) THEN FAILED ("INDEX VALUE NOT INCREMENTED - 15"); ELSE IF INT_ITEM2 /= IDENT_INT(18) THEN FAILED ("READ INCORRECT VALUE - 16"); END IF; READ (FILE1, INT_ITEM2, 4); IF INDEX (FILE1) /= POSITIVE_COUNT(IDENT_INT(5)) THEN FAILED ("INDEX VALUE NOT INCREMENTED " & "WHEN TO IS SPECIFIED - 17"); ELSE IF INT_ITEM2 /= IDENT_INT(19) THEN FAILED ("INCORRECT VALUE - 18"); END IF; READ (FILE1, INT_ITEM2); IF INDEX(FILE1) /= POSITIVE_COUNT(IDENT_INT(6)) THEN FAILED ("INDEX VALUE NOT " & "INCREMENTED WHEN " & "LAST - INOUT_FILE - 19"); ELSIF INT_ITEM2 /= IDENT_INT(18) THEN FAILED ("READ INCORRECT " & "INOUT_FILE VALUE - 20"); END IF; END IF; END IF; END IF; BEGIN DELETE (FILE1); EXCEPTION WHEN USE_ERROR => NULL; END; END; EXCEPTION WHEN INCOMPLETE => NULL; END; RESULT; END CE2406A;