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

Subversion Repositories openrisc

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

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 720 jeremybenn
-- C35502F.TST
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 IMAGE AND VALUE ATTRIBUTES ARE CORRECT FOR A FORMAL
26
-- DISCRETE TYPE WHOSE ACTUAL PARAMETER IS AN ENUMERATED TYPE
27
-- WITH THE LONGEST POSSIBLE IDENTIFIER AS ONE CONSTANT.
28
 
29
-- PWB  03/05/86
30
-- DWC  07/22/87     -- ADDED THE CONSTANT STRING 'STR'.
31
 
32
WITH REPORT; USE REPORT;
33
 
34
PROCEDURE C35502F IS
35
 
36
     -- BIG_ID1 IS AN IDENTIFIER OF MAXIMUM LENGTH.
37
     TYPE ENUM IS ( EVAL1,
38
$BIG_ID1
39
                  );
40
 
41
     -- BIG_STRING1 & BIG_STRING2 YIELDS BIG_ID.
42
     STR1 : CONSTANT STRING :=
43
$BIG_STRING1;
44
     STR2 : CONSTANT STRING :=
45
$BIG_STRING2;
46
     STR : CONSTANT STRING := STR1 & STR2;
47
 
48
     GENERIC
49
          TYPE FORMAL IS (<>);
50
     PROCEDURE GEN_PROC;
51
 
52
     PROCEDURE GEN_PROC IS
53
     BEGIN
54
          VALUE_CHECK:
55
          BEGIN
56
               IF FORMAL'VALUE (STR) /= FORMAL'LAST THEN
57
                    FAILED ("VALUE OF LONG STRING NOT LONG IDENTIFIER");
58
               END IF;
59
          EXCEPTION
60
               WHEN OTHERS =>
61
                    FAILED ("EXCEPTION RAISED IN CHECKING " &
62
                            "VALUE ATTRIBUTE");
63
          END VALUE_CHECK;
64
 
65
          IMAGE_CHECK:
66
          BEGIN
67
               IF FORMAL'IMAGE (FORMAL'LAST) /= STR
68
               THEN
69
                    FAILED ("IMAGE OF LONG IDENTIFIER NOT LONG STRING");
70
               END IF;
71
          EXCEPTION
72
               WHEN OTHERS =>
73
                    FAILED ("EXCEPTION RAISED IN CHECKING " &
74
                            "IMAGE ATTRIBUTE");
75
          END IMAGE_CHECK;
76
 
77
     END GEN_PROC;
78
 
79
     PROCEDURE TEST_PROC IS NEW GEN_PROC (ENUM);
80
 
81
BEGIN   -- C35502F
82
 
83
     TEST ("C35502F", "IMAGE AND VALUE ATTRIBUTES FOR A FORMAL " &
84
                      "DISCRETE TYPE WITH ONE ACTUAL VALUE HAVING " &
85
                      "LONGEST POSSIBLE IDENTIFIER");
86
     TEST_PROC;
87
     RESULT;
88
 
89
END C35502F;

powered by: WebSVN 2.1.0

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