]> www.ginac.de Git - cln.git/blob - include/cln/number.h
Update comment.
[cln.git] / include / cln / number.h
1 // Basic definitions of numbers
2
3
4 #ifndef _CL_NUMBER_H
5 #define _CL_NUMBER_H
6
7
8 #include "cln/object.h"
9 #include "cln/malloc.h"
10
11 // Type hierachy:
12 // Number (N) =
13 //    Real (R) =
14 //       Float (F) =
15 //          Short float (SF)
16 //          Single float (FF)
17 //          Double float (DF)
18 //          Long float (LF)
19 //       Rational (RA) =
20 //          Integer (I) =
21 //             Fixnum (FN)
22 //             Bignum (BN)
23 //          Ratio (RT)
24 //    Complex (C)
25
26 // Constructors and assignment operators from C numeric types.
27
28 #define CL_DEFINE_INT_CONSTRUCTOR(_class_,_type_)  \
29 inline _class_::_class_ (const _type_ wert)                             \
30 {                                                                       \
31         word = cl_combine(cl_FN_tag,wert);                              \
32 }
33 #define CL_DEFINE_INT_CONSTRUCTORS(_class_)  \
34 CL_DEFINE_INT_CONSTRUCTOR(_class_, int)                                 \
35 CL_DEFINE_INT_CONSTRUCTOR(_class_, unsigned int)
36
37 #define CL_DEFINE_INT_ASSIGNMENT_OPERATOR(_class_,_type_)  \
38 inline _class_& _class_::operator= (const _type_ wert)                  \
39 {                                                                       \
40         cl_dec_refcount(*this);                                         \
41         word = cl_combine(cl_FN_tag,wert);                              \
42         return *this;                                                   \
43 }
44 #define CL_DEFINE_INT_ASSIGNMENT_OPERATORS(_class_)  \
45 CL_DEFINE_INT_ASSIGNMENT_OPERATOR(_class_, int)                         \
46 CL_DEFINE_INT_ASSIGNMENT_OPERATOR(_class_, unsigned int)
47
48 #if (long_bitsize==32)
49 // `long' == `sintL', `unsigned long' == `uintL'.
50 #define CL_DEFINE_LONG_CONSTRUCTORS(_class_)  \
51 inline _class_::_class_ (const long wert)                               \
52 {                                                                       \
53         extern cl_private_thing cl_I_constructor_from_L (sint32 wert);  \
54         pointer = cl_I_constructor_from_L(wert);                        \
55 }                                                                       \
56 inline _class_::_class_ (const unsigned long wert)                      \
57 {                                                                       \
58         extern cl_private_thing cl_I_constructor_from_UL (uint32 wert); \
59         pointer = cl_I_constructor_from_UL(wert);                       \
60 }
61 #elif (long_bitsize==64)
62 // `long' == `sintQ', `unsigned long' == `uintQ'.
63 #define CL_DEFINE_LONG_CONSTRUCTORS(_class_)  \
64 inline _class_::_class_ (const long wert)                               \
65 {                                                                       \
66         extern cl_private_thing cl_I_constructor_from_Q (sint64 wert);  \
67         pointer = cl_I_constructor_from_Q(wert);                        \
68 }                                                                       \
69 inline _class_::_class_ (const unsigned long wert)                      \
70 {                                                                       \
71         extern cl_private_thing cl_I_constructor_from_UQ (uint64 wert); \
72         pointer = cl_I_constructor_from_UQ(wert);                       \
73 }
74 #endif
75
76 #if (long_bitsize==32)
77 // `long' == `sintL', `unsigned long' == `uintL'.
78 #define CL_DEFINE_LONG_ASSIGNMENT_OPERATORS(_class_)  \
79 inline _class_& _class_::operator= (const long wert)                    \
80 {                                                                       \
81         extern cl_private_thing cl_I_constructor_from_L (sint32 wert);  \
82         cl_dec_refcount(*this);                                         \
83         pointer = cl_I_constructor_from_L(wert);                        \
84         return *this;                                                   \
85 }                                                                       \
86 inline _class_& _class_::operator= (const unsigned long wert)           \
87 {                                                                       \
88         extern cl_private_thing cl_I_constructor_from_UL (uint32 wert); \
89         cl_dec_refcount(*this);                                         \
90         pointer = cl_I_constructor_from_UL(wert);                       \
91         return *this;                                                   \
92 }
93 #elif (long_bitsize==64)
94 // `long' == `sintQ', `unsigned long' == `uintQ'.
95 #define CL_DEFINE_LONG_ASSIGNMENT_OPERATORS(_class_)  \
96 inline _class_& _class_::operator= (const long wert)                    \
97 {                                                                       \
98         extern cl_private_thing cl_I_constructor_from_Q (sint64 wert);  \
99         cl_dec_refcount(*this);                                         \
100         pointer = cl_I_constructor_from_Q(wert);                        \
101         return *this;                                                   \
102 }                                                                       \
103 inline _class_& _class_::operator= (const unsigned long wert)           \
104 {                                                                       \
105         extern cl_private_thing cl_I_constructor_from_UQ (uint64 wert); \
106         cl_dec_refcount(*this);                                         \
107         pointer = cl_I_constructor_from_UQ(wert);                       \
108         return *this;                                                   \
109 }
110 #endif
111
112
113 namespace cln {
114
115 // Constructors and assignment operators from C numeric types.
116
117 // from `float':
118 union ffloatjanus;
119 extern cl_private_thing cl_float_to_FF_pointer (const union ffloatjanus& val);
120
121 #define CL_DEFINE_FLOAT_CONSTRUCTOR(_class_)                            \
122 inline _class_ :: _class_ (const float x)                               \
123 {                                                                       \
124         pointer = cl_float_to_FF_pointer(*(const union ffloatjanus *)&x); \
125 }                                                                       \
126 inline _class_& _class_::operator= (const float x)                      \
127 {                                                                       \
128         cl_dec_refcount(*this);                                         \
129         pointer = cl_float_to_FF_pointer(*(const union ffloatjanus *)&x); \
130         return *this;                                                   \
131 }
132
133 // from `double':
134 union dfloatjanus;
135 extern struct cl_heap_dfloat * cl_double_to_DF_pointer (const union dfloatjanus& val);
136
137 #define CL_DEFINE_DOUBLE_CONSTRUCTOR(_class_)                           \
138 inline _class_::_class_ (const double x)                                \
139 {                                                                       \
140         pointer = cl_double_to_DF_pointer(*(const union dfloatjanus *)&x); \
141 }                                                                       \
142 inline _class_& _class_::operator= (const double x)                     \
143 {                                                                       \
144         cl_dec_refcount(*this);                                         \
145         pointer = cl_double_to_DF_pointer(*(const union dfloatjanus *)&x); \
146         return *this;                                                   \
147 }
148
149
150 // Abstract class of all numbers.
151
152 class cl_number : public cl_gcobject {
153 public:
154 // Default constructor. (Used for objects with no initializer.)
155         cl_number ();
156 // Copy constructor. (Used for function argument passing and function
157 // return value, and of course for objects with initializers of the same type.)
158         cl_number (const cl_number& x);
159 // Converters. (Used for function argument passing and function return values.)
160 // Assignment operators. (Used for assignments.)
161         cl_number& operator= (const cl_number&);
162 // Constructors and assignment operators from C numeric types.
163         cl_number (const int);          // |argument| must be < 2^29
164         cl_number (const unsigned int); // argument must be < 2^29
165         cl_number (const long);
166         cl_number (const unsigned long);
167         cl_number (const float);
168         cl_number (const double);
169         cl_number& operator= (const int);       // |argument| must be < 2^29
170         cl_number& operator= (const unsigned int); // argument must be < 2^29
171         cl_number& operator= (const long);
172         cl_number& operator= (const unsigned long);
173         cl_number& operator= (const float);
174         cl_number& operator= (const double);
175 // Other constructors.
176 //      cl_number (const char *);
177 // Private pointer manipulations.
178         cl_number (cl_private_thing);
179 };
180
181 // Private constructors.
182 inline cl_number::cl_number (cl_private_thing ptr) : cl_gcobject (ptr) {}
183 // The assignment operators:
184 CL_DEFINE_ASSIGNMENT_OPERATOR(cl_number, cl_number)
185 // The default constructors.
186 inline cl_number::cl_number ()
187         : cl_gcobject ((cl_private_thing) cl_combine(cl_FN_tag,0)) {}
188 // The copy constructors.
189 CL_DEFINE_COPY_CONSTRUCTOR2(cl_number,cl_gcobject)
190 // Constructors and assignment operators from C numeric types.
191 CL_DEFINE_INT_CONSTRUCTORS(cl_number)
192 CL_DEFINE_INT_ASSIGNMENT_OPERATORS(cl_number)
193 CL_DEFINE_LONG_CONSTRUCTORS(cl_number)
194 CL_DEFINE_LONG_ASSIGNMENT_OPERATORS(cl_number)
195 CL_DEFINE_FLOAT_CONSTRUCTOR(cl_number)
196 CL_DEFINE_DOUBLE_CONSTRUCTOR(cl_number)
197
198
199 // Hack section.
200
201 // Conversions to subtypes without checking, template version:
202 // the<cl_I>(x) converts x to a cl_I, without change of representation.
203 template<class type>
204 inline const type& the(const cl_number& x)
205 {
206         // check that sizeof(type)==sizeof(cl_number)
207         typedef int assertion1 [1 - 2 * (sizeof(type) != sizeof(cl_number))];
208         return *(const type *) &x;
209 }
210 // Conversions to subtypes without checking, macro version:
211 // The(cl_I)(x) converts x to a cl_I, without change of representation.
212   #define The(type)  *(const type *) & cl_identity
213 // This inline function is for type checking purposes only.
214   inline const cl_number& cl_identity (const cl_number& x) { return x; }
215
216 }  // namespace cln
217
218
219 // Conversions to subtypes:
220 // As(cl_I)(x) returns x as a cl_I. It first checks that x is a cl_I
221 // and then returns it without change of representation.
222 #if 0 // no debug information  
223   #define As(type)  type##_As
224   #define CL_DEFINE_AS_CONVERSION(_class_)                              \
225     extern const _class_& _class_##_As (const cl_number& x);            \
226     inline const _class_& _class_##_As (const _class_& x) { return x; }
227 #else // Line number information for ease of debugging.
228   #define As(type)  type##_As cl_as_aux
229   #define cl_as_aux(expr)  (expr,__FILE__,__LINE__)
230   #define CL_DEFINE_AS_CONVERSION(_class_)                              \
231     extern const _class_& _class_##_As (const cl_number& x, const char * filename, int line); \
232     inline const _class_& _class_##_As (const _class_& x, const char * filename, int line) { (void)filename; (void)line; return x; }
233 #endif
234
235 // Mutable(type,x);
236 // x should be a variable `const type x' or `const type& x'.
237 // This macro introduces a new variable `type& x' whose value can be
238 // modified. Useful for modifying the argument of a function which takes
239 // a `const type &x'.
240 // Warning: To apply this to a function's formal parameter, a block { ... }
241 // must be inserted.
242   #define Mutable(type,x)  \
243     type __copied_##x = x;                                              \
244     type& x = __copied_##x;
245
246 // DeclareType(type,x);
247 // x should be a variable of some subtype of `cl_number'. type should be
248 // a subtype of `cl_number'. A new variable of the given type is declared,
249 // with name x and which refers to x (by reference, with const attribute).
250   #define DeclareType(type,x)  \
251     const type& __tmp_##x = *(const type*) &x;                          \
252     const type& x = __tmp_##x;
253
254 #endif /* _CL_NUMBER_H */