OpenCores
URL https://opencores.org/ocsvn/openrisc_2011-10-31/openrisc_2011-10-31/trunk

Subversion Repositories openrisc_2011-10-31

Compare Revisions

  • This comparison shows the changes necessary to convert path 
    /openrisc/tags/gnu-src/gcc-4.5.1/gcc-4.5.1-or32-1.0rc1/gcc/testsuite/ada/acats/tests/cz
    from Rev 294 to Rev 338
    ↔ Reverse comparison
  •

Rev 294 → Rev 338

/cz1101a.ada
0,0 → 1,111
-- CZ1101A.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 THE REPORT ROUTINES OF THE REPORT PACKAGE WORK
-- CORRECTLY.
--
-- PASS/FAIL CRITERIA:
-- THIS TEST PASSES IF THE OUTPUT MATCHES THAT SUPPLIED IN THE
-- APPLICABLE VERSION OF THE ACVC USERS' GUIDE. THE EXPECTED
-- TEST RESULT IS "TENTATIVELY PASSED."
 
-- HISTORY:
-- JRK 08/07/81 CREATED ORIGINAL TEST.
-- JRK 10/27/82
-- JRK 06/01/84
-- JET 01/13/88 ADDED TESTS OF SPECIAL_ACTION AND UPDATED HEADER.
-- PWB 06/24/88 CORRECTED LENGTH OF ONE OUTPUT STRING AND ADDED
-- PASS/FAIL CRITERIA.
-- BCB 05/17/90 CORRECTED LENGTH OF 'MAX_LEN LONG' OUTPUT STRING.
-- ADDED CODE TO CREATE REPFILE.
-- LDC 05/17/90 REMOVED DIRECT_IO REFERENCES.
-- PWN 12/03/94 REMOVED ADA 9X INCOMPATIBILITIES.
 
WITH REPORT;
USE REPORT;
 
PROCEDURE CZ1101A IS
 
 
DATE_AND_TIME : STRING(1..17);
 
DATE, TIME : STRING(1..7);
 
BEGIN
 
COMMENT ("(CZ1101A) CHECK REPORT ROUTINES");
COMMENT (" INITIAL VALUES SHOULD BE 'NO_NAME' AND 'FAILED'");
RESULT;
 
TEST ("PASS_TEST", "CHECKING 'TEST' AND 'RESULT' FOR 'PASSED'");
COMMENT ("THIS LINE IS EXACTLY 'MAX_LEN' LONG. " &
"...5...60....5...70");
COMMENT ("THIS COMMENT HAS A WORD THAT SPANS THE FOLD " &
"POINT. THIS COMMENT FITS EXACTLY ON TWO LINES. " &
"..5...60....5...70");
COMMENT ("THIS_COMMENT_IS_ONE_VERY_LONG_WORD_AND_SO_" &
"IT_SHOULD_BE_SPLIT_AT_THE_FOLD_POINT");
RESULT;
 
COMMENT ("CHECK THAT 'RESULT' RESETS VALUES TO 'NO_NAME' " &
"AND 'FAILED'");
RESULT;
 
TEST ("FAIL_TEST", "CHECKING 'FAILED' AND 'RESULT' FOR 'FAILED'");
FAILED ("'RESULT' SHOULD NOW BE 'FAILED'");
RESULT;
 
TEST ("NA_TEST", "CHECKING 'NOT-APPLICABLE'");
NOT_APPLICABLE ("'RESULT' SHOULD NOW BE 'NOT-APPLICABLE'");
RESULT;
 
TEST ("FAIL_NA_TEST", "CHECKING 'NOT_APPLICABLE', 'FAILED', " &
"'NOT_APPLICABLE'");
NOT_APPLICABLE ("'RESULT' BECOMES 'NOT-APPLICABLE'");
FAILED ("'RESULT' BECOMES 'FAILED'");
NOT_APPLICABLE ("CALLING 'NOT_APPLICABLE' DOESN'T CHANGE " &
"'RESULT'");
RESULT;
 
TEST ("SPEC_NA_TEST", "CHECKING 'SPEC_ACT', 'NOT_APPLICABLE', " &
"'SPEC_ACT'");
SPECIAL_ACTION("'RESULT' BECOMES 'TENTATIVELY PASSED'");
NOT_APPLICABLE ("'RESULT' BECOMES 'NOT APPLICABLE'");
SPECIAL_ACTION("CALLING 'SPECIAL_ACTION' DOESN'T CHANGE 'RESULT'");
RESULT;
 
TEST ("SPEC_FAIL_TEST", "CHECKING 'SPEC_ACT', 'FAILED', " &
"'SPEC_ACT'");
SPECIAL_ACTION("'RESULT' BECOMES 'TENTATIVELY PASSED'");
FAILED ("'RESULT' BECOMES 'FAILED'");
SPECIAL_ACTION("CALLING 'SPECIAL_ACTION' DOESN'T CHANGE 'RESULT'");
RESULT;
 
TEST ("CZ1101A", "CHECKING 'SPECIAL_ACTION' ALONE");
SPECIAL_ACTION("'RESULT' BECOMES 'TENTATIVELY PASSED'");
RESULT;
 
END CZ1101A;
/cz1102a.ada
0,0 → 1,75
-- CZ1102A.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.
--*
--
-- CHECK THAT THE DYNAMIC VALUE ROUTINES OF THE REPORT PACKAGE WORK
-- CORRECTLY.
 
-- JRK 8/7/81
-- JRK 10/27/82
-- RLB 03/20/00 - Added checks for Integer'First and Integer'Last.
 
WITH REPORT;
USE REPORT;
 
PROCEDURE CZ1102A IS
 
BEGIN
 
TEST ("CZ1102A", "CHECK THAT THE DYNAMIC VALUE ROUTINES OF " &
"THE REPORT PACKAGE WORK CORRECTLY");
 
IF NOT EQUAL (0, 0) OR
EQUAL (0, 1) OR
NOT EQUAL (1, 1) OR
NOT EQUAL (3, 3) OR
NOT EQUAL (4, 4) OR
NOT EQUAL (-1, -1) OR
NOT EQUAL (INTEGER'FIRST, INTEGER'FIRST) OR
NOT EQUAL (INTEGER'LAST, INTEGER'LAST) OR
EQUAL (-1, 0) THEN
FAILED ("'EQUAL' NOT WORKING");
END IF;
 
IF IDENT_INT (5) /= 5 THEN
FAILED ("'IDENT_INT' NOT WORKING");
END IF;
 
IF IDENT_CHAR ('E') /= 'E' THEN
FAILED ("'IDENT_CHAR' NOT WORKING");
END IF;
 
IF IDENT_BOOL (TRUE) /= TRUE THEN
FAILED ("'IDENT_BOOL' NOT WORKING");
END IF;
 
IF IDENT_STR ("") /= "" OR
IDENT_STR ("K") /= "K" OR
IDENT_STR ("PQRS") /= "PQRS" THEN
FAILED ("'IDENT_STR' NOT WORKING");
END IF;
 
RESULT;
 
END CZ1102A;
/cz1103a.ada
0,0 → 1,232
-- CZ1103A.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 THE PROCEDURE CHECK_FILE WORKS CORRECTLY, IN
-- PARTICULAR, THAT IT WILL REPORT INCORRECT FILE CONTENTS
-- AS TEST FAILURES.
 
-- THIS TEST INTENTIONALLY CONTAINS MISMATCHES BETWEEN FILE
-- CONTENTS AND THE 'CONTENTS' STRING PARAMETER OF PROCEDURE
-- CHECK_FILE.
 
-- PASS/FAIL CRITERIA:
-- IF AN IMPLEMENTATION SUPPORTS EXTERNAL FILES, IT PASSES THIS TEST
-- IF TEST EXECUTION REPORTS THE FOLLOWING FOUR FAILURES, REPORTS AN
-- INTERMEDIATE "FAILED" RESULT, REPORTS A FINAL "TENTATIVELY PASSED"
-- RESULT, AND REPORTS NO OTHER FAILURES.
-- * CZ1103A FROM CHECK_FILE: END OF LINE EXPECTED - E
-- ENCOUNTERED.
-- * CZ1103A FROM CHECK_FILE: END_OF_PAGE NOT WHERE EXPECTED.
-- * CZ1103A FROM CHECK_FILE: END_OF_FILE NOT WHERE EXPECTED.
-- * CZ1103A FROM CHECK_FILE: FILE DOES NOT CONTAIN CORRECT
-- OUTPUT - EXPECTED C - GOT I.
--
-- IF AN IMPLEMENTATION DOES NOT SUPPORT EXTERNAL FILES, IT PASSES THIS
-- TEST IF TEST EXECUTION REPORTS NINE FAILURES FOR INCOMPLETE SUBTESTS
-- SIMILAR TO THE SAMPLE BELOW, REPORTS AN INTERMEDIATE "FAILED" RESULT,
-- REPORTS A FINAL "TENTATIVELY PASSED" RESULT, AND REPORTS NO OTHER
-- FAILURES.
-- * CZ1103A TEST WITH EMPTY FILE INCOMPLETE.
 
-- HISTORY:
-- SPS 12/09/82 CREATED ORIGINAL TEST.
-- JRK 11/18/85 ADDED COMMENTS ABOUT PASS/FAIL CRITERIA.
-- JET 01/13/88 UPDATED HEADER FORMAT, ADDED FINAL CALL TO
-- SPECIAL_ACTION.
-- PWB 06/24/88 CORRECTED PASS/FAIL CRITERIA TO INDICATE THE
-- EXPECTED RESULT (TENTATIVELY PASSED).
-- RLB 03/20/00 CORRECTED PASS/FAIL CRITERIA TO REFLECT PROPER RESULT
-- FOR AN IMPLEMENTATION THAT DOES NOT SUPPORT EXTERNAL FILES.
 
WITH REPORT; USE REPORT;
WITH TEXT_IO; USE TEXT_IO;
WITH CHECK_FILE;
 
PROCEDURE CZ1103A IS
 
NULL_FILE : FILE_TYPE;
FILE_WITH_BLANK_LINES : FILE_TYPE;
FILE_WITH_BLANK_PAGES : FILE_TYPE;
FILE_WITH_TRAILING_BLANKS : FILE_TYPE;
FILE_WITHOUT_TRAILING_BLANKS : FILE_TYPE;
FILE_WITH_END_OF_LINE_ERROR : FILE_TYPE;
FILE_WITH_END_OF_PAGE_ERROR : FILE_TYPE;
FILE_WITH_END_OF_FILE_ERROR : FILE_TYPE;
FILE_WITH_DATA_ERROR : FILE_TYPE;
 
BEGIN
 
TEST ("CZ1103A", "CHECK THAT PROCEDURE CHECK_FILE WORKS");
 
-- THIS SECTION TESTS CHECK_FILE WITH AN EMPTY FILE.
 
BEGIN
COMMENT ("BEGIN TEST WITH AN EMPTY FILE");
CREATE (NULL_FILE, OUT_FILE);
CHECK_FILE (NULL_FILE, "#@%");
CLOSE (NULL_FILE);
EXCEPTION
WHEN OTHERS =>
FAILED ("TEST WITH EMPTY FILE INCOMPLETE");
 
END;
 
-- THIS SECTION TESTS CHECK_FILE WITH A FILE WITH BLANK LINES.
 
BEGIN
COMMENT ("BEGIN TEST WITH A FILE WITH BLANK LINES");
CREATE (FILE_WITH_BLANK_LINES, OUT_FILE);
NEW_LINE (FILE_WITH_BLANK_LINES, 20);
CHECK_FILE (FILE_WITH_BLANK_LINES, "####################@%");
CLOSE (FILE_WITH_BLANK_LINES);
EXCEPTION
WHEN OTHERS =>
FAILED ("TEST WITH FILE WITH BLANK LINES INCOMPLETE");
END;
 
-- THIS SECTION TESTS CHECK_FILE WITH A FILE WITH BLANK LINES AND PAGES.
 
BEGIN
COMMENT ("BEGIN TEST WITH A FILE WITH BLANK LINES " &
"AND PAGES");
CREATE (FILE_WITH_BLANK_PAGES, OUT_FILE);
NEW_LINE (FILE_WITH_BLANK_PAGES, 3);
NEW_PAGE (FILE_WITH_BLANK_PAGES);
NEW_LINE (FILE_WITH_BLANK_PAGES, 2);
NEW_PAGE (FILE_WITH_BLANK_PAGES);
NEW_PAGE (FILE_WITH_BLANK_PAGES);
CHECK_FILE (FILE_WITH_BLANK_PAGES, "###@##@#@%");
CLOSE (FILE_WITH_BLANK_PAGES);
EXCEPTION
WHEN OTHERS =>
FAILED ("TEST WITH FILE WITH BLANK PAGES INCOMPLETE");
END;
 
-- THIS SECTION TESTS CHECK_FILE WITH A FILE WITH TRAILING BLANKS.
 
BEGIN
COMMENT ("BEGIN TEST WITH A FILE WITH TRAILING BLANKS");
CREATE (FILE_WITH_TRAILING_BLANKS, OUT_FILE);
FOR I IN 1 .. 3 LOOP
PUT_LINE (FILE_WITH_TRAILING_BLANKS,
"LINE WITH TRAILING BLANKS ");
END LOOP;
CHECK_FILE(FILE_WITH_TRAILING_BLANKS, "LINE WITH TRAILING" &
" BLANKS#LINE WITH TRAILING BLANKS#LINE" &
" WITH TRAILING BLANKS#@%");
CLOSE (FILE_WITH_TRAILING_BLANKS);
EXCEPTION
WHEN OTHERS =>
FAILED ("TEST WITH FILE WITH TRAILING BLANKS " &
"INCOMPLETE");
END;
 
-- THIS SECTION TESTS CHECK_FILE WITH A FILE WITHOUT TRAILING BLANKS.
 
BEGIN
COMMENT ("BEGIN TEST WITH A FILE WITHOUT TRAILING BLANKS");
CREATE (FILE_WITHOUT_TRAILING_BLANKS, OUT_FILE);
FOR I IN 1 .. 3 LOOP
PUT_LINE (FILE_WITHOUT_TRAILING_BLANKS,
"LINE WITHOUT TRAILING BLANKS");
END LOOP;
CHECK_FILE(FILE_WITHOUT_TRAILING_BLANKS, "LINE WITHOUT " &
"TRAILING BLANKS#LINE WITHOUT TRAILING BLANKS#" &
"LINE WITHOUT TRAILING BLANKS#@%");
CLOSE (FILE_WITHOUT_TRAILING_BLANKS);
EXCEPTION
WHEN OTHERS =>
FAILED ("TEST WITH FILE WITHOUT TRAILING BLANKS " &
"INCOMPLETE");
END;
 
-- THIS SECTION TESTS CHECK_FILE WITH A FILE WITH AN END OF LINE ERROR.
 
BEGIN
COMMENT ("BEGIN TEST WITH A FILE WITH AN END OF LINE ERROR");
CREATE (FILE_WITH_END_OF_LINE_ERROR, OUT_FILE);
PUT_LINE (FILE_WITH_END_OF_LINE_ERROR, "THIS LINE WILL " &
"CONTAIN AN END OF LINE IN THE WRONG PLACE");
CHECK_FILE (FILE_WITH_END_OF_LINE_ERROR, "THIS LINE WILL " &
"CONTAIN AN # IN THE WRONG PLACE#@%");
CLOSE (FILE_WITH_END_OF_LINE_ERROR);
EXCEPTION
WHEN OTHERS =>
FAILED ("TEST WITH END_OF_LINE ERROR INCOMPLETE");
END;
 
-- THIS SECTION TESTS CHECK_FILE WITH A FILE WITH AN END OF PAGE ERROR.
 
BEGIN
COMMENT ("BEGIN TEST WITH FILE WITH END OF PAGE ERROR");
CREATE (FILE_WITH_END_OF_PAGE_ERROR, OUT_FILE);
PUT_LINE (FILE_WITH_END_OF_PAGE_ERROR, "THIS LINE WILL " &
"CONTAIN AN END OF PAGE IN THE WRONG PLACE");
CHECK_FILE (FILE_WITH_END_OF_PAGE_ERROR, "THIS LINE WILL " &
"CONTAIN AN @ IN THE WRONG PLACE#@%");
CLOSE (FILE_WITH_END_OF_PAGE_ERROR);
EXCEPTION
WHEN OTHERS =>
FAILED ("TEST WITH END_OF_PAGE ERROR INCOMPLETE");
END;
 
-- THIS SECTION TESTS CHECK_FILE WITH A FILE WITH AN END OF FILE ERROR.
 
BEGIN
COMMENT ("BEGIN TEST WITH FILE WITH END OF FILE ERROR");
CREATE (FILE_WITH_END_OF_FILE_ERROR, OUT_FILE);
PUT_LINE (FILE_WITH_END_OF_FILE_ERROR, "THIS LINE WILL " &
"CONTAIN AN END OF FILE IN THE WRONG PLACE");
CHECK_FILE (FILE_WITH_END_OF_FILE_ERROR, "THIS LINE WILL " &
"CONTAIN AN % IN THE WRONG PLACE#@%");
CLOSE (FILE_WITH_END_OF_FILE_ERROR);
EXCEPTION
WHEN OTHERS =>
FAILED ("TEST WITH END_OF_FILE ERROR INCOMPLETE");
END;
 
-- THIS SECTION TESTS CHECK_FILE WITH A FILE WITH INCORRECT DATA.
 
BEGIN
COMMENT ("BEGIN TEST WITH FILE WITH INCORRECT DATA");
CREATE (FILE_WITH_DATA_ERROR, OUT_FILE);
PUT_LINE (FILE_WITH_DATA_ERROR, "LINE WITH INCORRECT " &
"DATA");
CHECK_FILE (FILE_WITH_DATA_ERROR, "LINE WITH CORRECT " &
"DATA#@%");
CLOSE (FILE_WITH_DATA_ERROR);
EXCEPTION
WHEN OTHERS =>
FAILED ("TEST WITH INCORRECT DATA INCOMPLETE");
END;
 
RESULT;
 
TEST ("CZ1103A", "THE LINE ABOVE SHOULD REPORT FAILURE");
SPECIAL_ACTION ("COMPARE THIS OUTPUT TO THE EXPECTED RESULT");
RESULT;
 
END CZ1103A;

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.