-- CE3401A.ADA -- Grant of Unlimited Rights -- -- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687 and -- F08630-91-C-0015, 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 THE FORMAL PARAMETERS OF EACH COLUMN, LINE, AND -- PAGE OPERATION ARE NAMED CORRECTLY. -- HISTORY: -- JET 08/17/88 CREATED ORIGINAL TEST. WITH REPORT; USE REPORT; WITH TEXT_IO; USE TEXT_IO; PROCEDURE CE3401A IS FIN, FOUT : FILE_TYPE; B : BOOLEAN; C : COUNT; FILE_OK : BOOLEAN := FALSE; BEGIN TEST ("CE3401A", "CHECK THAT THE FORMAL PARAMETERS OF EACH " & "COLUMN, LINE, AND PAGE OPERATION ARE NAMED " & "CORRECTLY"); BEGIN CREATE(FOUT, OUT_FILE, LEGAL_FILE_NAME); FILE_OK := TRUE; EXCEPTION WHEN OTHERS => NOT_APPLICABLE("OUTPUT FILE COULD NOT BE CREATED"); END; IF FILE_OK THEN NEW_LINE(FILE => FOUT, SPACING => 1); NEW_PAGE(FILE => FOUT); SET_COL(FILE => FOUT, TO => 1); SET_LINE(FILE => FOUT, TO => 1); C := COL(FILE => FOUT); C := LINE(FILE => FOUT); C := PAGE(FILE => FOUT); NEW_PAGE(FOUT); BEGIN CLOSE(FOUT); EXCEPTION WHEN OTHERS => FAILED("OUTPUT FILE COULD NOT BE CLOSED"); FILE_OK := FALSE; END; END IF; IF FILE_OK THEN BEGIN OPEN(FIN, IN_FILE, LEGAL_FILE_NAME); EXCEPTION WHEN OTHERS => FAILED("INPUT FILE COULD NOT BE OPENED"); FILE_OK := FALSE; END; END IF; IF FILE_OK THEN SKIP_LINE(FILE => FIN, SPACING => 1); SKIP_PAGE(FILE => FIN); B := END_OF_LINE(FILE => FIN); B := END_OF_PAGE(FILE => FIN); B := END_OF_FILE(FILE => FIN); BEGIN DELETE(FIN); EXCEPTION WHEN USE_ERROR => COMMENT("FILE COULD NOT BE DELETED"); WHEN OTHERS => FAILED("UNEXPECTED ERROR AT DELETION"); END; END IF; RESULT; EXCEPTION WHEN OTHERS => FAILED("UNEXPECTED EXCEPTION RAISED"); END CE3401A;