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

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-old/] [gcc-4.2.2/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [c4/] [c45202b.ada] - Blame information for rev 816

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 149 jeremybenn
-- C45202B.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 MEMBERSHIP OPERATIONS IN THE CASE IN WHICH A USER HAS 
26
-- REDEFINED THE ORDERING OPERATORS.
27
 
28
-- RJW 1/22/86
29
 
30
WITH REPORT; USE REPORT;
31
 
32
PROCEDURE C45202B IS
33
 
34
 
35
BEGIN
36
 
37
     TEST( "C45202B" , "CHECK MEMBERSHIP OPERATIONS IN WHICH A USER " &
38
                       "HAS REDEFINED THE ORDERING OPERATORS" ) ;
39
 
40
 
41
     DECLARE
42
 
43
          TYPE  T  IS  ( AA, BB, CC, LIT, XX, YY, ZZ );
44
          SUBTYPE ST IS T RANGE AA .. LIT;
45
 
46
          VAR  :           T :=  LIT ;
47
          CON  :  CONSTANT T :=  LIT ;
48
 
49
          FUNCTION ">" ( L, R : T ) RETURN BOOLEAN IS
50
          BEGIN
51
               RETURN T'POS(L) <= T'POS(R);
52
          END;
53
 
54
          FUNCTION ">=" ( L, R : T ) RETURN BOOLEAN IS
55
          BEGIN
56
               RETURN T'POS(L) < T'POS(R);
57
          END;
58
 
59
          FUNCTION "<" ( L, R : T ) RETURN BOOLEAN IS
60
          BEGIN
61
               RETURN T'POS(L) >= T'POS(R);
62
          END;
63
 
64
          FUNCTION "<=" ( L, R : T ) RETURN BOOLEAN IS
65
          BEGIN
66
               RETURN T'POS(L) > T'POS(R);
67
          END;
68
 
69
 
70
     BEGIN
71
 
72
          IF   LIT NOT IN ST      OR
73
               VAR NOT IN ST      OR
74
               CON NOT IN ST      OR
75
               NOT (VAR IN ST)    OR
76
               XX IN ST           OR
77
               NOT (XX NOT IN ST)
78
          THEN
79
               FAILED( "WRONG VALUES FOR 'IN ST'" );
80
          END IF;
81
 
82
          IF   LIT     IN AA ..CC       OR
83
               VAR NOT IN LIT..ZZ       OR
84
               CON     IN ZZ ..AA       OR
85
               NOT (CC IN CC .. YY)     OR
86
               NOT (BB NOT IN CC .. YY)
87
          THEN
88
               FAILED( "WRONG VALUES FOR 'IN AA..CC'" );
89
          END IF;
90
 
91
     END;
92
 
93
     RESULT;
94
 
95
END C45202B;

powered by: WebSVN 2.1.0

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