| -- CE3304A.TST |
| |
| -- 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 USE_ERROR IS RAISED BY A CALL TO SET_LINE_LENGTH |
| -- OR TO SET_PAGE_LENGTH WHEN THE SPECIFIED VALUE IS INAPPROPRIATE |
| -- FOR THE EXTERNAL FILE. |
| |
| -- APPLICABILITY CRITERIA: |
| -- THIS TEST IS APPLICABLE TO IMPLEMENTATIONS THAT SATISFY THE |
| -- FOLLOWING CONDITIONS: |
| -- 1) TEXT FILES ARE SUPPORTED |
| -- 2) EITHER BY DEFAULT OR BY USE OF THE "FORM" PARAMETER TO |
| -- THE CREATE PROCEDURE, A TEXT FILE CAN BE CREATED FOR |
| -- WHICH AT LEAST ONE OF THE FOLLOWING CONDITIONS HOLDS: |
| -- A) THERE IS A VALUE OF TYPE TEXT_IO.COUNT THAT IS NOT |
| -- AN APPROPRIATE LINE-LENGTH FOR THE FILE, |
| -- OR |
| -- B) THERE IS A VALUE OF TYPE TEXT_IO.COUNT THAT IS NOT |
| -- AN APPROPRIATE PAGE-LENGTH FOR THE FILE. |
| |
| -- MACRO SUBSTITUTIONS: |
| -- FOR THE MACRO SYMBOL "$FORM_STRING," SUBSTITUTE A STRING LITERAL |
| -- SPECIFIYING THAT THE EXTERNAL FILE MEETS BOTH OF THE CONDITIONS |
| -- (A) AND (B) ABOVE. IF IT IS NOT POSSIBLE TO SATISFY BOTH |
| -- CONDITIONS, THEN SUBSTITUTE A STRING LITERAL SPECIFYING THAT THE |
| -- EXTERNAL FILE SATISFIES ONE OF THE CONDITIONS. IF IT IS NOT |
| -- POSSIBLE TO SATISFY EITHER CONDITION, THEN SUBSTITUE THE NULL |
| -- STRING (""). |
| -- FOR THE MACRO SYMBOL "$INAPPROPRIATE_LINE_LENGTH," SUBSTITUTE |
| -- A LITERAL OF TYPE COUNT THAT IS INAPPROPRIATE AS THE LINE-LENGTH |
| -- FOR THE EXTERNAL FILE. IF THERE IS NO SUCH VALUE, THEN USE -1. |
| -- FOR THE MACRO SYMBOL "$INAPPROPRIATE_PAGE_LENGTH," SUBSTITUTE |
| -- A LITERAL OF TYPE COUNT THAT IS INAPPROPRIATE AS THE PAGE-LENGTH |
| -- FOR THE EXTERNAL FILE. IF THERE IS NO SUCH VALUE, THEN USE -1. |
| |
| -- HISTORY: |
| -- PWB 07/07/88 CREATED ORIGINAL TEST. |
| |
| WITH REPORT; USE REPORT; |
| WITH TEXT_IO; USE TEXT_IO; |
| |
| PROCEDURE CE3304A IS |
| |
| FILE1, |
| FILE2, |
| FILE3 : FILE_TYPE; |
| |
| LINE_LENGTH_SHOULD_WORK, |
| PAGE_LENGTH_SHOULD_WORK : BOOLEAN; |
| |
| INCOMPLETE : EXCEPTION; |
| |
| TEST_VALUE : COUNT; |
| |
| BEGIN |
| |
| TEST ("CE3304A", "CHECK THAT USE_ERROR IS RAISED IF A CALL TO " & |
| "SET_LINE_LENGTH OR SET_PAGE_LENGTH SPECIFIES " & |
| "A VALUE THAT IS INAPPROPRIATE FOR THE " & |
| "EXTERNAL FILE"); |
| |
| BEGIN -- CHECK WHETHER TEXT FILES ARE SUPPORTED. |
| |
| CREATE(FILE1, OUT_FILE, LEGAL_FILE_NAME(1), |
| FORM => $FORM_STRING); |
| PUT_LINE(FILE1, "AAA"); |
| CLOSE(FILE1); |
| |
| EXCEPTION |
| |
| WHEN USE_ERROR | NAME_ERROR => |
| NOT_APPLICABLE ("CREATION OF TEXT FILES NOT SUPPORTED"); |
| RAISE INCOMPLETE; |
| WHEN OTHERS => |
| FAILED ("WRONG EXCEPTION RAISED AT INITIAL CREATE"); |
| RAISE INCOMPLETE; |
| END; |
| |
| BEGIN -- CHECK INAPPROPRIATE LINE LENGTH. |
| |
| BEGIN -- IS THERE AN INAPPROPRIATE VALUE? |
| TEST_VALUE := |
| COUNT(IDENT_INT($INAPPROPRIATE_LINE_LENGTH)); |
| IF NOT EQUAL (INTEGER(TEST_VALUE), |
| INTEGER(TEST_VALUE)) THEN |
| COMMENT ("OPTIMIZATION DEFEATED" & |
| COUNT'IMAGE(TEST_VALUE)); |
| END IF; |
| LINE_LENGTH_SHOULD_WORK := TRUE; |
| EXCEPTION |
| WHEN CONSTRAINT_ERROR => |
| LINE_LENGTH_SHOULD_WORK := FALSE; |
| COMMENT("THERE IS NO INAPPROPRIATE LINE LENGTH"); |
| END; |
| |
| IF LINE_LENGTH_SHOULD_WORK THEN |
| BEGIN |
| CREATE(FILE2, OUT_FILE, LEGAL_FILE_NAME(2), |
| FORM => $FORM_STRING); |
| SET_LINE_LENGTH(FILE2, $INAPPROPRIATE_LINE_LENGTH); |
| FAILED("NO EXCEPTION FOR INAPPROPRIATE LINE " & |
| "LENGTH"); |
| EXCEPTION |
| WHEN USE_ERROR => |
| IF NOT IS_OPEN(FILE2) THEN |
| FAILED ("FILE NOT OPENED -- LINE LENGTH"); |
| END IF; |
| WHEN OTHERS => |
| FAILED ("WRONG EXCEPTION RAISED FOR " & |
| "INAPPROPRIATE LINE LENGTH"); |
| END; |
| END IF; |
| END; |
| |
| ----------------------------------------------------------------------- |
| |
| BEGIN -- CHECK INAPPROPRIATE PAGE LENGTH. |
| |
| BEGIN -- IS THERE AN INAPPROPRIATE VALUE? |
| TEST_VALUE := |
| COUNT(IDENT_INT($INAPPROPRIATE_PAGE_LENGTH)); |
| IF NOT EQUAL (INTEGER(TEST_VALUE), |
| INTEGER(TEST_VALUE)) THEN |
| COMMENT ("OPTIMIZATION DEFEATED" & |
| COUNT'IMAGE(TEST_VALUE)); |
| END IF; |
| PAGE_LENGTH_SHOULD_WORK := TRUE; |
| EXCEPTION |
| WHEN CONSTRAINT_ERROR => |
| PAGE_LENGTH_SHOULD_WORK := FALSE; |
| COMMENT("THERE IS NO INAPPROPRIATE PAGE LENGTH"); |
| END; |
| |
| IF PAGE_LENGTH_SHOULD_WORK THEN |
| BEGIN |
| CREATE(FILE3, OUT_FILE, LEGAL_FILE_NAME(3), |
| FORM => $FORM_STRING); |
| SET_PAGE_LENGTH(FILE3, $INAPPROPRIATE_PAGE_LENGTH); |
| FAILED("NO EXCEPTION FOR INAPPROPRIATE PAGE " & |
| "LENGTH"); |
| EXCEPTION |
| WHEN USE_ERROR => |
| IF NOT IS_OPEN(FILE3) THEN |
| FAILED ("FILE NOT OPENED -- PAGE LENGTH"); |
| END IF; |
| WHEN OTHERS => |
| FAILED ("WRONG EXCEPTION RAISED FOR " & |
| "INAPPROPRIATE PAGE LENGTH"); |
| END; |
| END IF; |
| END; |
| |
| IF NOT (PAGE_LENGTH_SHOULD_WORK OR LINE_LENGTH_SHOULD_WORK) THEN |
| NOT_APPLICABLE("NO INAPPROPRIATE VALUES FOR EITHER LINE " & |
| "LENGTH OR PAGE LENGTH"); |
| END IF; |
| |
| BEGIN -- CLEAN UP FILES. |
| |
| IF IS_OPEN(FILE1) THEN |
| CLOSE(FILE1); |
| END IF; |
| |
| IF IS_OPEN(FILE2) THEN |
| CLOSE(FILE2); |
| END IF; |
| |
| IF IS_OPEN(FILE3) THEN |
| CLOSE(FILE3); |
| END IF; |
| |
| EXCEPTION |
| WHEN USE_ERROR => |
| COMMENT("FILES NOT DELETED"); |
| END; |
| |
| RESULT; |
| |
| EXCEPTION |
| WHEN INCOMPLETE => |
| RESULT; |
| END CE3304A; |
