File: /home/oboss/Users/gec/sources/Basic_Services/Low_Level_Stuff/check_enumeration.ads
1 --% Compilation Unit: Check_Enumeration
2 --
3 --% Category: Generic Function Declaration
4 --
5 --% Release: $Name: $
6 --
7 --% Version: $Revision: 2.0 $
8 --
9 --% Author: $Author: gec $
10 --
11 --% Revision Log:
12 -- $Log: check_enumeration.ads,v $
13 -- Revision 2.0 2003/04/04 08:50:05 gec
14 -- Initial release of source files serving as baseline for OBOSS-III project.
15 --
16 -- Revision 1.1.1.1 2003/04/04 08:13:02 gec
17 -- Imported using TkCVS
18 --
19 --
20 --
21 --% Project: OBOSS
22 --
23 --% Copyright (C) 2003 by Terma A/S
24 -- Proprietary and intellectual rights of Terma A/S, Denmark,
25 -- are involved in the subject-matter of this material and
26 -- all manufacturing, reproduction, use, disclosure, and
27 -- sales rights pertaining to such subject-matter are
28 -- expressly reserved. This material is submitted for a
29 -- specific purpose as agreed, and the recipient by
30 -- accepting this material agrees that this material will
31 -- not be used, copied, or reproduced in whole or in part
32 -- nor its contents revealed in any manner or to any person,
33 -- except to meet the purpose for which it was submitted and
34 -- subject to the terms of the agreement.
35 --
36 --% Target Dependencies:
37 -- None
38 --% Compiler Dependencies:
39 -- None
40
41 --% Library Subprogram:
42 -- Determine whether an enumeration value (often obtained by an unchecked
43 --+ conversion) belongs to a given enumeration type
44 --% Parameter Constraints:
45 --> None
46 --% Exceptions Raised:
47 --> None
48
49 generic
50
51 --% Generic Parameter Constraints:
52 --> None
53
54 type Enumeration is (<>);
55
56 function Check_Enumeration
57 (E : in Enumeration)
58 return Boolean;
59