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

Subversion Repositories openrisc_me

[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [c3/] [c35507h.ada] - Blame information for rev 294

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 294 jeremybenn
-- C35507H.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
-- CHECK THAT THE ATTRIBUTES 'PRED' AND 'SUCC' YIELD THE CORRECT
26
-- RESULTS WHEN THE PREFIX IS A FORMAL DISCRETE TYPE WHOSE ACTUAL
27
-- PARAMETER IS A CHARACTER TYPE.
28
 
29
-- RJW 6/03/86
30
-- DWC 7/01/87     -- ADDED THIRD VALUE TO CHAR TYPE.
31
                   -- REMOVED SECTION OF CODE AND PLACED INTO
32
                   -- C35505E.ADA.
33
 
34
WITH REPORT; USE REPORT;
35
 
36
PROCEDURE  C35507H  IS
37
 
38
     TYPE CHAR IS ('A', B, C);
39
 
40
     TYPE NEWCHAR IS NEW CHAR;
41
 
42
BEGIN
43
 
44
     TEST( "C35507H" , "CHECK THAT THE ATTRIBUTES 'PRED' AND " &
45
                       "'SUCC' YIELD THE CORRECT RESULTS WHEN THE " &
46
                       "PREFIX IS A FORMAL DISCRETE TYPE WHOSE " &
47
                       "ACTUAL PARAMETER IS A CHARACTER TYPE" );
48
 
49
     DECLARE
50
          GENERIC
51
               TYPE CHTYPE IS (<>);
52
               STR : STRING;
53
               I1, I2 : INTEGER;
54
          PROCEDURE P;
55
 
56
          PROCEDURE P IS
57
               SUBTYPE SUBCH IS CHTYPE
58
                    RANGE CHTYPE'VAL (I1) .. CHTYPE'VAL (I2);
59
 
60
          BEGIN
61
               FOR CH IN SUBCH'VAL (I1 + 1) .. SUBCH'VAL (I2) LOOP
62
                    IF SUBCH'PRED (CH) /=
63
                       SUBCH'VAL (SUBCH'POS (CH) - 1) THEN
64
                         FAILED ( "INCORRECT VALUE FOR " & STR &
65
                                  "'PRED OF " & SUBCH'IMAGE (CH) );
66
                    END IF;
67
               END LOOP;
68
 
69
               FOR CH IN SUBCH'VAL (I1) .. SUBCH'VAL (I2 - 1) LOOP
70
                    IF SUBCH'SUCC (CH) /=
71
                       SUBCH'VAL (SUBCH'POS (CH) + 1) THEN
72
                         FAILED ( "INCORRECT VALUE FOR " & STR &
73
                                  "'SUCC OF " & SUBCH'IMAGE (CH) );
74
                    END IF;
75
               END LOOP;
76
 
77
          END P;
78
 
79
          PROCEDURE PCHAR IS NEW P (CHAR, "CHAR", 0, 1);
80
          PROCEDURE PNCHAR IS NEW P (NEWCHAR, "NEWCHAR", 0, 1);
81
          PROCEDURE PCH IS NEW P (CHARACTER, "CHARACTER", 0, 127);
82
     BEGIN
83
          PCHAR;
84
          PNCHAR;
85
          PCH;
86
     END;
87
 
88
     RESULT;
89
END C35507H;

powered by: WebSVN 2.1.0

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