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/] [c3/] [c35503c.ada] - Rev 12
Compare with Previous | Blame | View Log
-- C35503C.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 'IMAGE' AND 'VALUE' YIELD THE CORRECT RESULTS WHEN -- THE PREFIX IS AN INTEGER TYPE. -- SUBTESTS ARE : -- PART (A). TESTS FOR 'IMAGE'. -- PART (B). TESTS FOR 'VALUE'. -- HISTORY: -- RJW 03/17/86 CREATED ORIGINAL TEST. -- VCL 10/23/87 MODIFIED THIS HEADER, ADDED A CHECK THAT -- CONSTRAINT_ERROR IS RAISED FOR THE ATTRIBUTE -- 'VALUE' IF THE FINAL SHARP OR COLON IS MISSING -- FROM A BASED LITERAL. WITH REPORT; USE REPORT; PROCEDURE C35503C IS TYPE NEWINT IS NEW INTEGER; TYPE INT IS RANGE -1000 .. 1000; FUNCTION IDENT (X : INT) RETURN INT IS BEGIN IF EQUAL (INT'POS (X), INT'POS(X)) THEN RETURN X; END IF; RETURN INT'FIRST; END IDENT; BEGIN TEST ("C35503C", "THE ATTIBUTES 'IMAGE' AND 'VALUE' YIELD THE " & "CORRECT RESULTS WHEN THE PREFIX IS AN " & "INTEGER TYPE" ); -- PART (A). BEGIN IF INTEGER'IMAGE (-500) /= "-500" THEN FAILED ( "INCORRECT 'IMAGE' OF '-500'" ); END IF; IF INTEGER'IMAGE (-500)'FIRST /= 1 THEN FAILED ( "INCORRECT LOWER BOUND FOR '-500'" ); END IF; IF NEWINT'IMAGE (2 ** 6) /= " 64" THEN FAILED ( "INCORRECT 'IMAGE' OF '2 ** 6'" ); END IF; IF NEWINT'IMAGE (2 ** 6)'FIRST /= 1 THEN FAILED ( "INCORRECT LOWER BOUND FOR '2 ** 6'" ); END IF; IF NATURAL'IMAGE (-1E2) /= "-100" THEN FAILED ( "INCORRECT 'IMAGE' OF '-1E2'" ); END IF; IF NATURAL'IMAGE (-1E2)'FIRST /= 1 THEN FAILED ( "INCORRECT LOWER BOUND FOR '-1E2'" ); END IF; IF NEWINT'IMAGE (3_45) /= " 345" THEN FAILED ( "INCORRECT 'IMAGE' OF '3_45'" ); END IF; IF NEWINT'IMAGE (3_45)'FIRST /= 1 THEN FAILED ( "INCORRECT LOWER BOUND FOR '3_45'" ); END IF; IF INTEGER'IMAGE (-2#1111_1111#) /= "-255" THEN FAILED ( "INCORRECT 'IMAGE' OF '-2#1111_1111#'" ); END IF; IF INTEGER'IMAGE (-2#1111_1111#)'FIRST /= 1 THEN FAILED ( "INCORRECT LOWER BOUND FOR '-2#1111_1111#'" ); END IF; IF NEWINT'IMAGE (16#FF#) /= " 255" THEN FAILED ( "INCORRECT 'IMAGE' OF '16#FF#'" ); END IF; IF NEWINT'IMAGE (16#FF#)'FIRST /= 1 THEN FAILED ( "INCORRECT LOWER BOUND FOR '16#FF#'" ); END IF; IF INTEGER'IMAGE (-016#0FF#) /= "-255" THEN FAILED ( "INCORRECT 'IMAGE' OF '-016#0FF#'" ); END IF; IF INTEGER'IMAGE (-016#0FF#)'FIRST /= 1 THEN FAILED ( "INCORRECT LOWER BOUND FOR '-016#0FF#'" ); END IF; IF NEWINT'IMAGE (2#1110_0000#) /= " 224" THEN FAILED ( "INCORRECT 'IMAGE' OF '2#1110_0000#'" ); END IF; IF NEWINT'IMAGE (2#1110_0000#)'FIRST /= 1 THEN FAILED ( "INCORRECT LOWER BOUND FOR '2#1110_0000#'" ); END IF; IF POSITIVE'IMAGE (-16#E#E1) /= "-224" THEN FAILED ( "INCORRECT 'IMAGE' OF '-16#E#E1'" ); END IF; IF POSITIVE'IMAGE (-16#E#E1)'FIRST /= 1 THEN FAILED ( "INCORRECT LOWER BOUND FOR '-16#E#E1'" ); END IF; IF INT'IMAGE (IDENT(-1000)) /= "-1000" THEN FAILED ( "INCORRECT 'IMAGE' OF '-1000'" ); END IF; IF INT'IMAGE (IDENT(-1000))'FIRST /= 1 THEN FAILED ( "INCORRECT LOWER BOUND FOR '-1000'" ); END IF; IF INT'IMAGE (IDENT(-999)) /= "-999" THEN FAILED ( "INCORRECT 'IMAGE' OF '-999'" ); END IF; IF INT'IMAGE (IDENT(-999))'FIRST /= 1 THEN FAILED ( "INCORRECT LOWER BOUND FOR '-999'" ); END IF; IF INT'IMAGE (IDENT(-10)) /= "-10" THEN FAILED ( "INCORRECT 'IMAGE' OF '-1000'" ); END IF; IF INT'IMAGE (IDENT(-10))'FIRST /= 1 THEN FAILED ( "INCORRECT LOWER BOUND FOR '-10'" ); END IF; IF INT'IMAGE (IDENT(-9)) /= "-9" THEN FAILED ( "INCORRECT 'IMAGE' OF '-9'" ); END IF; IF INT'IMAGE (IDENT(-9))'FIRST /= 1 THEN FAILED ( "INCORRECT LOWER BOUND FOR '-9'" ); END IF; IF INT'IMAGE (IDENT(-1)) /= "-1" THEN FAILED ( "INCORRECT 'IMAGE' OF '-1'" ); END IF; IF INT'IMAGE (IDENT(-1))'FIRST /= 1 THEN FAILED ( "INCORRECT LOWER BOUND FOR '-1'" ); END IF; IF INT'IMAGE (IDENT(0)) /= " 0" THEN FAILED ( "INCORRECT 'IMAGE' OF '0'" ); END IF; IF INT'IMAGE (IDENT(0))'FIRST /= 1 THEN FAILED ( "INCORRECT LOWER BOUND FOR '0'" ); END IF; IF INT'IMAGE (IDENT(1)) /= " 1" THEN FAILED ( "INCORRECT 'IMAGE' OF '1'" ); END IF; IF INT'IMAGE (IDENT(1))'FIRST /= 1 THEN FAILED ( "INCORRECT LOWER BOUND FOR '1'" ); END IF; IF INT'IMAGE (IDENT(9)) /= " 9" THEN FAILED ( "INCORRECT 'IMAGE' OF '9'" ); END IF; IF INT'IMAGE (IDENT(9))'FIRST /= 1 THEN FAILED ( "INCORRECT LOWER BOUND FOR '9'" ); END IF; IF INT'IMAGE (IDENT(10)) /= " 10" THEN FAILED ( "INCORRECT 'IMAGE' OF '10'" ); END IF; IF INT'IMAGE (IDENT(10))'FIRST /= 1 THEN FAILED ( "INCORRECT LOWER BOUND FOR '10'" ); END IF; IF INT'IMAGE (IDENT(999)) /= " 999" THEN FAILED ( "INCORRECT 'IMAGE' OF '999'" ); END IF; IF INT'IMAGE (IDENT(999))'FIRST /= 1 THEN FAILED ( "INCORRECT LOWER BOUND FOR '999'" ); END IF; IF INT'IMAGE (IDENT(1000)) /= " 1000" THEN FAILED ( "INCORRECT 'IMAGE' OF '1000'" ); END IF; IF INT'IMAGE (IDENT(1000))'FIRST /= 1 THEN FAILED ( "INCORRECT LOWER BOUND FOR '1000'" ); END IF; END; ----------------------------------------------------------------------- -- PART (B). BEGIN IF POSITIVE'VALUE (IDENT_STR("-500")) /= -500 THEN FAILED ( "INCORRECT 'VALUE' OF ""-500""" ); END IF; EXCEPTION WHEN OTHERS => FAILED ( "EXCEPTION RAISED - 'VALUE' OF ""-500""" ); END; BEGIN IF NEWINT'VALUE (" -001E2") /= -100 THEN FAILED ( "INCORRECT 'VALUE' OF "" -001E2""" ); END IF; EXCEPTION WHEN OTHERS => FAILED ( "EXCEPTION RAISED - 'VALUE' OF "" -001E2""" ); END; BEGIN IF INTEGER'VALUE ("03_45") /= 345 THEN FAILED ( "INCORRECT 'VALUE' OF ""03_45""" ); END IF; EXCEPTION WHEN OTHERS => FAILED ( "EXCEPTION RAISED - 'VALUE' OF ""03_45""" ); END; BEGIN IF NEWINT'VALUE ("-2#1111_1111#") /= -255 THEN FAILED ( "INCORRECT 'VALUE' OF ""-2#1111_1111#""" ); END IF; EXCEPTION WHEN OTHERS => FAILED ( "EXCEPTION RAISED - 'VALUE' OF "& """-2#1111_1111#""" ); END; BEGIN IF INTEGER'VALUE (IDENT_STR("16#FF#")) /= 255 THEN FAILED ( "INCORRECT 'VALUE' OF ""16#FF#""" ); END IF; EXCEPTION WHEN OTHERS => FAILED ( "EXCEPTION RAISED - 'VALUE' OF ""16#FF#""" ); END; BEGIN IF NATURAL'VALUE (IDENT_STR("-016#0FF#")) /= -255 THEN FAILED ( "INCORRECT 'VALUE' OF ""-016#0FF#""" ); END IF; EXCEPTION WHEN OTHERS => FAILED ( "EXCEPTION RAISED - 'VALUE' OF " & """-016#0FF#""" ); END; BEGIN IF INTEGER'VALUE ("2#1110_0000# ") /= 224 THEN FAILED ( "INCORRECT 'VALUE' OF " & """2#1110_0000# """ ); END IF; EXCEPTION WHEN OTHERS => FAILED ( "EXCEPTION RAISED - 'VALUE' OF " & """2#1110_0000# """ ); END; BEGIN IF NEWINT'VALUE (" -16#E#E1") /= -224 THEN FAILED ( "INCORRECT 'VALUE' OF "" -16#E#E1""" ); END IF; EXCEPTION WHEN OTHERS => FAILED ( "EXCEPTION RAISED - 'VALUE' OF " & """ -16#E#E1""" ); END; BEGIN IF INTEGER'VALUE ("5/0") = 0 THEN FAILED ( "NO EXCEPTION RAISED - ""5/0"" - 1" ); ELSE FAILED ( "NO EXCEPTION RAISED - ""5/0"" - 2" ); END IF; EXCEPTION WHEN CONSTRAINT_ERROR => NULL; WHEN OTHERS => FAILED ( "WRONG EXCEPTION RAISED - ""5/0""" ); END; DECLARE SUBTYPE SUBINT IS INTEGER RANGE 0 .. 10; BEGIN IF SUBINT'VALUE (IDENT_STR("-500")) /= -500 THEN FAILED ( "INCORRECT VALUE WITH ""-500"" AND SUBINT" ); END IF; EXCEPTION WHEN OTHERS => FAILED ( "EXCEPTION RAISED - SUBINT" ); END; BEGIN IF INTEGER'VALUE (IDENT_STR("1.0")) = 1 THEN FAILED ( "NO EXCEPTION RAISED - "" 1.0"" - 1" ); ELSE FAILED ( "NO EXCEPTION RAISED - ""1.0"" - 2" ); END IF; EXCEPTION WHEN CONSTRAINT_ERROR => NULL; WHEN OTHERS => FAILED ( "WRONG EXCEPTION RAISED - ""1.0"" " ); END; BEGIN IF INTEGER'VALUE (IDENT_CHAR(ASCII.HT) & "244") /= 244 THEN FAILED ( "NO EXCEPTION RAISED - LEADING 'HT' - 1" ); ELSE FAILED ( "NO EXCEPTION RAISED - LEADING 'HT' - 2" ); END IF; EXCEPTION WHEN CONSTRAINT_ERROR => NULL; WHEN OTHERS => FAILED ( "WRONG EXCEPTION RAISED - LEADING 'HT'" ); END; BEGIN IF INTEGER'VALUE ("244" & (IDENT_CHAR(ASCII.HT))) /= 244 THEN FAILED ( "NO EXCEPTION RAISED - TRAILING 'HT' - 1" ); ELSE FAILED ( "NO EXCEPTION RAISED - TRAILING 'HT' - 2" ); END IF; EXCEPTION WHEN CONSTRAINT_ERROR => NULL; WHEN OTHERS => FAILED ( "WRONG EXCEPTION RAISED - TRAILING 'HT'" ); END; BEGIN IF INTEGER'VALUE (IDENT_STR("2__44")) /= 244 THEN FAILED ( "NO EXCEPTION RAISED - CONSECUTIVE '_' - 1" ); ELSE FAILED ( "NO EXCEPTION RAISED - CONSECUTIVE '_' - 2" ); END IF; EXCEPTION WHEN CONSTRAINT_ERROR => NULL; WHEN OTHERS => FAILED ( "WRONG EXCEPTION RAISED " & "WITH CONSECUTIVE '_'" ); END; BEGIN IF INTEGER'VALUE (IDENT_STR("_244")) /= 244 THEN FAILED ( "NO EXCEPTION RAISED - LEADING '_' - 1" ); ELSE FAILED ( "NO EXCEPTION RAISED - LEADING '_' - 2" ); END IF; EXCEPTION WHEN CONSTRAINT_ERROR => NULL; WHEN OTHERS => FAILED ( "WRONG EXCEPTION RAISED - LEADING '_'" ); END; BEGIN IF INTEGER'VALUE (IDENT_STR("244_")) /= 244 THEN FAILED ( "NO EXCEPTION RAISED - TRAILING '_' - 1" ); ELSE FAILED ( "NO EXCEPTION RAISED - TRAILING '_' - 2" ); END IF; EXCEPTION WHEN CONSTRAINT_ERROR => NULL; WHEN OTHERS => FAILED ( "WRONG EXCEPTION RAISED - TRAILING '_'" ); END; BEGIN IF INTEGER'VALUE (IDENT_STR("244_E1")) /= 2440 THEN FAILED ( "NO EXCEPTION RAISED - '_' BEFORE 'E' - 1" ); ELSE FAILED ( "NO EXCEPTION RAISED - '_' BEFORE 'E' - 2" ); END IF; EXCEPTION WHEN CONSTRAINT_ERROR => NULL; WHEN OTHERS => FAILED ( "WRONG EXCEPTION RAISED - '_' BEFORE 'E'" ); END; BEGIN IF INTEGER'VALUE (IDENT_STR("244E_1")) /= 2440 THEN FAILED ( "NO EXCEPTION RAISED - '_' " & "FOLLOWING 'E' - 1" ); ELSE FAILED ( "NO EXCEPTION RAISED - '_' FOLLOWING 'E' - 2" ); END IF; EXCEPTION WHEN CONSTRAINT_ERROR => NULL; WHEN OTHERS => FAILED ( "WRONG EXCEPTION RAISED " & "- '_' FOLLOWING 'E'" ); END; BEGIN IF INTEGER'VALUE (IDENT_STR("244_e1")) /= 2440 THEN FAILED ( "NO EXCEPTION RAISED - '_' BEFORE 'e' - 1" ); ELSE FAILED ( "NO EXCEPTION RAISED - '_' BEFORE 'e' - 2" ); END IF; EXCEPTION WHEN CONSTRAINT_ERROR => NULL; WHEN OTHERS => FAILED ( "WRONG EXCEPTION RAISED - '_' BEFORE 'e'" ); END; BEGIN IF INTEGER'VALUE (IDENT_STR("16#_FF#")) /= 255 THEN FAILED ( "NO EXCEPTION RAISED - LEADING '_' IN BASED " & "LITERAL - 1" ); ELSE FAILED ( "NO EXCEPTION RAISED - LEADING '_' IN BASED " & "LITERAL - 2" ); END IF; EXCEPTION WHEN CONSTRAINT_ERROR => NULL; WHEN OTHERS => FAILED ( "WRONG EXCEPTION RAISED " & "- LEADING '_' IN BASED LITERAL" ); END; BEGIN IF INTEGER'VALUE (IDENT_STR("1E-0")) /= 1 THEN FAILED ( "NO EXCEPTION RAISED - NEGATIVE " & "EXPONENT - 1" ); ELSE FAILED ( "NO EXCEPTION RAISED - NEGATIVE EXPONENT - 2" ); END IF; EXCEPTION WHEN CONSTRAINT_ERROR => NULL; WHEN OTHERS => FAILED ( "WRONG EXCEPTION RAISED " & "- NEGATIVE EXPONENT" ); END; BEGIN IF INTEGER'VALUE (IDENT_STR("244.")) /= 244 THEN FAILED ( "NO EXCEPTION RAISED - TRAILING '.' - 1" ); ELSE FAILED ( "NO EXCEPTION RAISED - TRAILING '.' - 2" ); END IF; EXCEPTION WHEN CONSTRAINT_ERROR => NULL; WHEN OTHERS => FAILED ( "WRONG EXCEPTION RAISED - TRAILING '.'" ); END; BEGIN IF INTEGER'VALUE (IDENT_STR("8#811#")) /= 0 THEN FAILED ( "NO EXCEPTION RAISED - " & "DIGITS NOT IN CORRECT RANGE - 1" ); ELSE FAILED ( "NO EXCEPTION RAISED - " & "DIGITS NOT IN CORRECT RANGE - 2" ); END IF; EXCEPTION WHEN CONSTRAINT_ERROR => NULL; WHEN OTHERS => FAILED ( "WRONG EXCEPTION RAISED - " & "DIGITS NOT IN CORRECT RANGE" ); END; BEGIN IF INTEGER'VALUE (IDENT_STR("1#000#")) /= 0 THEN FAILED ( "NO EXCEPTION RAISED - BASE LESS THAN 2 - 1" ); ELSE FAILED ( "NO EXCEPTION RAISED - BASE LESS THAN 2 - 2" ); END IF; EXCEPTION WHEN CONSTRAINT_ERROR => NULL; WHEN OTHERS => FAILED ( "WRONG EXCEPTION RAISED " & "- BASE LESS THAN 2" ); END; BEGIN IF INTEGER'VALUE (IDENT_STR("17#0#")) /= 0 THEN FAILED ( "NO EXCEPTION RAISED " & "- BASE GREATER THAN 16 - 1" ); ELSE FAILED ( "NO EXCEPTION RAISED " & "- BASE GREATER THAN 16 - 2" ); END IF; EXCEPTION WHEN CONSTRAINT_ERROR => NULL; WHEN OTHERS => FAILED ( "WRONG EXCEPTION RAISED " & "- BASE GREATER THAN 16" ); END; BEGIN IF INTEGER'VALUE (IDENT_STR("8#666")) /= 438 THEN FAILED ("NO EXCEPTION RAISED - MISSING FINAL SHARP - 1"); ELSE FAILED ("NO EXCEPTION RAISED - MISSING FINAL SHARP - 2"); END IF; EXCEPTION WHEN CONSTRAINT_ERROR => NULL; WHEN OTHERS => FAILED ("WRONG EXCEPTION RAISED - MISSING FINAL SHARP"); END; BEGIN IF INTEGER'VALUE (IDENT_STR("16:FF")) /= 255 THEN FAILED ("NO EXCEPTION RAISED - MISSING FINAL COLON - 1"); ELSE FAILED ("NO EXCEPTION RAISED - MISSING FINAL COLON - 2"); END IF; EXCEPTION WHEN CONSTRAINT_ERROR => NULL; WHEN OTHERS => FAILED ("WRONG EXCEPTION RAISED - MISSING FINAL COLON"); END; RESULT; END C35503C;