OpenCores
URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [c3/] [c35503k.ada] - Blame information for rev 720

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 720 jeremybenn 
-- C35503K.ADA
2 
 
3 
--                             Grant of Unlimited Rights
4 
--
5 
--     Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
6 
--     F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
7 
--     unlimited rights in the software and documentation contained herein.
8 
--     Unlimited rights are defined in DFAR 252.227-7013(a)(19).  By making
9 
--     this public release, the Government intends to confer upon all
10 
--     recipients unlimited rights  equal to those held by the Government.
11 
--     These rights include rights to use, duplicate, release or disclose the
12 
--     released technical data and computer software in whole or in part, in
13 
--     any manner and for any purpose whatsoever, and to have or permit others
14 
--     to do so.
15 
--
16 
--                                    DISCLAIMER
17 
--
18 
--     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
19 
--     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
20 
--     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
21 
--     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
22 
--     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
23 
--     PARTICULAR PURPOSE OF SAID MATERIAL.
24 
--*
25 
-- OBJECTIVE:
26 
--     CHECK THAT 'POS' AND 'VAL' YIELD THE CORRECT RESULTS WHEN THE
27 
--     PREFIX IS AN INTEGER TYPE.
28 
 
29 
-- HISTORY:
30 
--     RJW 03/17/86 CREATED ORIGINAL TEST.
31 
--     DHH 10/19/87 SHORTENED LINES CONTAINING MORE THAN 72 CHARACTERS.
32 
--     PWN 11/30/94 REMOVED ATTRIBUTE TESTS ILLEGAL IN ADA 9X.
33 
 
34 
WITH SYSTEM; USE SYSTEM;
35 
WITH REPORT; USE REPORT;
36 
 
37 
PROCEDURE C35503K IS
38 
 
39 
BEGIN
40 
     TEST ("C35503K", "CHECK THAT 'POS' AND 'VAL' YIELD THE " &
41 
                      "CORRECT RESULTS WHEN THE PREFIX IS AN " &
42 
                      "INTEGER TYPE" );
43 
 
44 
     DECLARE
45 
          TYPE INT IS RANGE -6 .. 6;
46 
          SUBTYPE SINT IS INT RANGE -4 .. 4;
47 
 
48 
          PROCEDURE P (I : INTEGER; STR : STRING) IS
49 
          BEGIN
50 
               BEGIN
51 
                    IF INTEGER'POS (I) /= I THEN
52 
                         FAILED ( "WRONG POS FOR " & STR);
53 
                    END IF;
54 
               EXCEPTION
55 
                    WHEN OTHERS =>
56 
                         FAILED ( "EXCEPTION RAISED FOR POS OF " &
57 
                                   STR);
58 
               END;
59 
               BEGIN
60 
                    IF INTEGER'VAL (I) /= I THEN
61 
                         FAILED ( "WRONG VAL FOR " & STR);
62 
                    END IF;
63 
               EXCEPTION
64 
                    WHEN OTHERS =>
65 
                         FAILED ( "EXCEPTION RAISED FOR VAL OF " &
66 
                                   STR);
67 
               END;
68 
          END P;
69 
 
70 
     BEGIN
71 
          P ( INTEGER'FIRST, "INTEGER'FIRST");
72 
          P ( INTEGER'LAST,  "INTEGER'LAST");
73 
          P ( 0, "'0'");
74 
 
75 
          FOR I IN INT'FIRST .. INT'LAST LOOP
76 
               BEGIN
77 
                    IF SINT'POS (I) /= I THEN
78 
                         FAILED ( "WRONG POS FOR "
79 
                                   & INT'IMAGE (I));
80 
                    END IF;
81 
               EXCEPTION
82 
                    WHEN OTHERS =>
83 
                         FAILED ( "EXCEPTION RAISED FOR POS OF "
84 
                                  & INT'IMAGE (I));
85 
               END;
86 
               BEGIN
87 
                    IF SINT'VAL (I) /= I THEN
88 
                         FAILED ( "WRONG VAL FOR "
89 
                                  & INT'IMAGE (I));
90 
                    END IF;
91 
               EXCEPTION
92 
                    WHEN OTHERS =>
93 
                         FAILED ( "EXCEPTION RAISED FOR VAL OF "
94 
                                  & INT'IMAGE (I));
95 
               END;
96 
          END LOOP;
97 
 
98 
          BEGIN
99 
               IF INT'VAL (INTEGER'(0)) /= 0 THEN
100 
                    FAILED ( "WRONG VAL FOR INT WITH INTEGER" );
101 
               END IF;
102 
          EXCEPTION
103 
               WHEN OTHERS =>
104 
                    FAILED ( "EXCEPTION RAISED FOR VAL OF " &
105 
                             "INT WITH INTEGER" );
106 
          END;
107 
 
108 
          BEGIN
109 
               IF INTEGER'VAL (INT'(0)) /= 0 THEN
110 
                    FAILED ( "WRONG VAL FOR INTEGER WITH INT" );
111 
               END IF;
112 
          EXCEPTION
113 
               WHEN OTHERS =>
114 
                    FAILED ( "EXCEPTION RAISED FOR VAL OF " &
115 
                             "INTEGER WITH INT" );
116 
          END;
117 
     END;
118 
 
119 
     RESULT;
120 
END C35503K;

powered by: WebSVN 2.1.0

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