File: /home/oboss/Users/gec/sources/Basic_Services/Source_Data/universal_parameter_representation-real.ads
1 --% Compilation Unit: Universal_Parameter_Representation.Real
2 --
3 --% Category: Package Declaration
4 --
5 --% Release: $Name: $
6 --
7 --% Version: $Revision: 2.1 $
8 --
9 --% Author: $Author: gec $
10 --
11 --% Revision Log:
12 -- $Log: universal_parameter_representation-real.ads,v $
13 -- Revision 2.1 2003/11/13 14:57:36 gec
14 -- Merged ECSS Migration branch to main trunk.
15 --
16 -- Revision 1.1.2.1 2003/11/10 10:00:23 gec
17 -- Added universal representation of parameters and associated arithmetic operators.
18 --
19 --
20 --% Project: OBOSS
21 --
22 --% Copyright (C) 2003 by Terma A/S
23 -- Proprietary and intellectual rights of Terma A/S, Denmark,
24 -- are involved in the subject-matter of this material and
25 -- all manufacturing, reproduction, use, disclosure, and
26 -- sales rights pertaining to such subject-matter are
27 -- expressly reserved. This material is submitted for a
28 -- specific purpose as agreed, and the recipient by
29 -- accepting this material agrees that this material will
30 -- not be used, copied, or reproduced in whole or in part
31 -- nor its contents revealed in any manner or to any person,
32 -- except to meet the purpose for which it was submitted and
33 -- subject to the terms of the agreement.
34 --
35 --% Target Dependencies:
36 -- None
37 --% Compiler Dependencies:
38 -- None
39
40 --~-----------------------------------------------------------------------------
41
42 package Universal_Parameter_Representation.Real is
43
44 --% Library Package:
45 -- Class of universal reals.
46 -- Supertype for IEEE Reals
47 --% Active Tasks:
48 --> None
49 --% Passive Tasks:
50 --> None
51
52 type Universal_Representation is new Long_Long_Float;
53 type Universal_Parameter is new Universal_Parameter_Type with private;
54
55 --% Subprogram:
56 -- Constructor for class of universal real parameters
57 --% Parameter Constraints:
58 --> None
59 --% Exceptions Raised:
60 --> None
61
62 function Make_Universal_Parameter
63 (Parameter : Universal_Representation)
64 return Universal_Parameter;
65
66 --% Abstract Subprogram:
67 -- Subtraction operator on abstract universal real
68 --% Parameter Constraints:
69 --> None
70 --% Exceptions Raised:
71 --> None
72
73 function "-"
74 (Left, Right : Universal_Parameter)
75 return Universal_Parameter;
76
77
78
79 --% Abstract Subprogram:
80 -- Multiplication operator on abstract universal real type and integer
81 --% Parameter Constraints:
82 --> None
83 --% Exceptions Raised:
84 --> None
85
86 function "*"
87 (Left : Universal_Parameter;
88 Right : Natural)
89 return Universal_Parameter;
90
91 --% Abstract Subprogram:
92 -- Abolute operator on abstract universal real type
93 --% Parameter Constraints:
94 --> None
95 --% Exceptions Raised:
96 --> None
97
98 function "abs"
99 (Left : Universal_Parameter)
100 return Universal_Parameter;
101
102 --% Abstract Subprogram:
103 -- Ordering relaiton on abstract universal real type
104 --% Parameter Constraints:
105 --> None
106 --% Exceptions Raised:
107 --> None
108
109 function ">"
110 (Left, Right : Universal_Parameter)
111 return Boolean;
112 function ">"
113 (Left : Universal_Parameter;
114 Right : Natural)
115 return Boolean;
116
117 private
118
119 type Universal_Parameter is new Universal_Parameter_Type
120 with record
121 Value : Universal_Representation;
122 end record;
123
124 end Universal_Parameter_Representation.real;
125
126 --~-----------------------------------------------------------------------------
127