gcc/ada/uintp.ads

48    type Uint is private;  type
51    No_Uint : constant Uint;
54    Uint_0   : constant Uint;
55    Uint_1   : constant Uint;
56    Uint_2   : constant Uint;
57    Uint_3   : constant Uint;
58    Uint_4   : constant Uint;
59    Uint_5   : constant Uint;
60    Uint_6   : constant Uint;
61    Uint_7   : constant Uint;
62    Uint_8   : constant Uint;
63    Uint_9   : constant Uint;
64    Uint_10  : constant Uint;
65    Uint_11  : constant Uint;
66    Uint_12  : constant Uint;
67    Uint_13  : constant Uint;
68    Uint_14  : constant Uint;
69    Uint_15  : constant Uint;
70    Uint_16  : constant Uint;
71    Uint_24  : constant Uint;
72    Uint_32  : constant Uint;
73    Uint_63  : constant Uint;
74    Uint_64  : constant Uint;
75    Uint_80  : constant Uint;
76    Uint_128 : constant Uint;
78    Uint_Minus_1   : constant Uint;
79    Uint_Minus_2   : constant Uint;
80    Uint_Minus_3   : constant Uint;
81    Uint_Minus_4   : constant Uint;
82    Uint_Minus_5   : constant Uint;
83    Uint_Minus_6   : constant Uint;
84    Uint_Minus_7   : constant Uint;
85    Uint_Minus_8   : constant Uint;
86    Uint_Minus_9   : constant Uint;
87    Uint_Minus_12  : constant Uint;
88    Uint_Minus_36  : constant Uint;
89    Uint_Minus_63  : constant Uint;
90    Uint_Minus_80  : constant Uint;
91    Uint_Minus_128 : constant Uint;
124    function UI_Abs (Right : Uint) return Uint;
128    function UI_Add (Left : Uint; Right : Uint) return Uint;
129    function UI_Add (Left : Int;  Right : Uint) return Uint;
130    function UI_Add (Left : Uint; Right : Int)  return Uint;
133    function UI_Decimal_Digits_Hi (U : Uint) return Nat;
140    function UI_Decimal_Digits_Lo (U : Uint) return Nat;
147    function UI_Div (Left : Uint; Right : Uint) return Uint;
148    function UI_Div (Left : Int;  Right : Uint) return Uint;
149    function UI_Div (Left : Uint; Right : Int)  return Uint;
152    function UI_Eq (Left : Uint; Right : Uint) return Boolean;
153    function UI_Eq (Left : Int;  Right : Uint) return Boolean;
154    function UI_Eq (Left : Uint; Right : Int)  return Boolean;
158    function UI_Expon (Left : Uint; Right : Uint) return Uint;
159    function UI_Expon (Left : Int;  Right : Uint) return Uint;
160    function UI_Expon (Left : Uint; Right : Int)  return Uint;
161    function UI_Expon (Left : Int;  Right : Int)  return Uint;
165    function UI_GCD (Uin, Vin : Uint) return Uint;
168    function UI_Ge (Left : Uint; Right : Uint) return Boolean;
169    function UI_Ge (Left : Int;  Right : Uint) return Boolean;
170    function UI_Ge (Left : Uint; Right : Int)  return Boolean;
174    function UI_Gt (Left : Uint; Right : Uint) return Boolean;
175    function UI_Gt (Left : Int;  Right : Uint) return Boolean;
176    function UI_Gt (Left : Uint; Right : Int)  return Boolean;
180    function UI_Is_In_Int_Range (Input : Uint) return Boolean;
184    function UI_Le (Left : Uint; Right : Uint) return Boolean;
185    function UI_Le (Left : Int;  Right : Uint) return Boolean;
186    function UI_Le (Left : Uint; Right : Int)  return Boolean;
190    function UI_Lt (Left : Uint; Right : Uint) return Boolean;
191    function UI_Lt (Left : Int;  Right : Uint) return Boolean;
192    function UI_Lt (Left : Uint; Right : Int)  return Boolean;
195    function UI_Max (Left : Uint; Right : Uint) return Uint;
196    function UI_Max (Left : Int;  Right : Uint) return Uint;
197    function UI_Max (Left : Uint; Right : Int)  return Uint;
200    function UI_Min (Left : Uint; Right : Uint) return Uint;
201    function UI_Min (Left : Int;  Right : Uint) return Uint;
202    function UI_Min (Left : Uint; Right : Int)  return Uint;
205    function UI_Mod (Left : Uint; Right : Uint) return Uint;
206    function UI_Mod (Left : Int;  Right : Uint) return Uint;
207    function UI_Mod (Left : Uint; Right : Int)  return Uint;
211    function UI_Mul (Left : Uint; Right : Uint) return Uint;
212    function UI_Mul (Left : Int;  Right : Uint) return Uint;
213    function UI_Mul (Left : Uint; Right : Int)  return Uint;
216    function UI_Ne (Left : Uint; Right : Uint) return Boolean;
217    function UI_Ne (Left : Int;  Right : Uint) return Boolean;
218    function UI_Ne (Left : Uint; Right : Int)  return Boolean;
222    function UI_Negate (Right : Uint) return Uint;
226    function UI_Rem (Left : Uint; Right : Uint) return Uint;
227    function UI_Rem (Left : Int;  Right : Uint) return Uint;
228    function UI_Rem (Left : Uint; Right : Int)  return Uint;
231    function UI_Sub (Left : Uint; Right : Uint) return Uint;
232    function UI_Sub (Left : Int;  Right : Uint) return Uint;
233    function UI_Sub (Left : Uint; Right : Int)  return Uint;
238      (B      : Uint;
239       E      : Uint;
240       Modulo : Uint) return Uint;
243    function UI_Modular_Inverse (N : Uint; Modulo : Uint) return Uint;
248    function UI_From_Int (Input : Int) return Uint;
251    function UI_From_CC (Input : Char_Code) return Uint;
254    function UI_To_Int (Input : Uint) return Int;
258    function UI_To_CC (Input : Uint) return Char_Code;
262    function Num_Bits (Input : Uint) return Nat;
269       Negative : Boolean) return Uint;
297    procedure UI_Image (Input : Uint; Format : UI_Format := Auto);
308    function UI_Image (Input : Uint; Format : UI_Format := Auto) return String;
312    procedure UI_Write (Input : Uint; Format : UI_Format := Auto);
320    procedure pid (Input : Uint);
325    procedure pih (Input : Uint);
334    function "+" (Left : Uint; Right : Uint) return Uint renames UI_Add;
335    function "+" (Left : Int;  Right : Uint) return Uint renames UI_Add;
336    function "+" (Left : Uint; Right : Int)  return Uint renames UI_Add;
338    function "/" (Left : Uint; Right : Uint) return Uint renames UI_Div;
339    function "/" (Left : Int;  Right : Uint) return Uint renames UI_Div;
340    function "/" (Left : Uint; Right : Int)  return Uint renames UI_Div;
342    function "*" (Left : Uint; Right : Uint) return Uint renames UI_Mul;
343    function "*" (Left : Int;  Right : Uint) return Uint renames UI_Mul;
344    function "*" (Left : Uint; Right : Int)  return Uint renames UI_Mul;
346    function "-" (Left : Uint; Right : Uint) return Uint renames UI_Sub;
347    function "-" (Left : Int;  Right : Uint) return Uint renames UI_Sub;
348    function "-" (Left : Uint; Right : Int)  return Uint renames UI_Sub;
350    function "**"  (Left : Uint; Right : Uint) return Uint renames UI_Expon;
351    function "**"  (Left : Uint; Right : Int)  return Uint renames UI_Expon;
352    function "**"  (Left : Int;  Right : Uint) return Uint renames UI_Expon;
353    function "**"  (Left : Int;  Right : Int)  return Uint renames UI_Expon;
355    function "abs" (Real : Uint) return Uint renames UI_Abs;
357    function "mod" (Left : Uint; Right : Uint) return Uint renames UI_Mod;
358    function "mod" (Left : Int;  Right : Uint) return Uint renames UI_Mod;
359    function "mod" (Left : Uint; Right : Int)  return Uint renames UI_Mod;
361    function "rem" (Left : Uint; Right : Uint) return Uint renames UI_Rem;
362    function "rem" (Left : Int;  Right : Uint) return Uint renames UI_Rem;
363    function "rem" (Left : Uint; Right : Int)  return Uint renames UI_Rem;
365    function "-"   (Real : Uint) return Uint renames UI_Negate;
367    function "="   (Left : Uint; Right : Uint) return Boolean renames UI_Eq;
368    function "="   (Left : Int;  Right : Uint) return Boolean renames UI_Eq;
369    function "="   (Left : Uint; Right : Int)  return Boolean renames UI_Eq;
371    function ">="  (Left : Uint; Right : Uint) return Boolean renames UI_Ge;
372    function ">="  (Left : Int;  Right : Uint) return Boolean renames UI_Ge;
373    function ">="  (Left : Uint; Right : Int)  return Boolean renames UI_Ge;
375    function ">"   (Left : Uint; Right : Uint) return Boolean renames UI_Gt;
376    function ">"   (Left : Int;  Right : Uint) return Boolean renames UI_Gt;
377    function ">"   (Left : Uint; Right : Int)  return Boolean renames UI_Gt;
379    function "<="  (Left : Uint; Right : Uint) return Boolean renames UI_Le;
380    function "<="  (Left : Int;  Right : Uint) return Boolean renames UI_Le;
381    function "<="  (Left : Uint; Right : Int)  return Boolean renames UI_Le;
383    function "<"   (Left : Uint; Right : Uint) return Boolean renames UI_Lt;
384    function "<"   (Left : Int;  Right : Uint) return Boolean renames UI_Lt;
385    function "<"   (Left : Uint; Right : Int)  return Boolean renames UI_Lt;
405    procedure Release_And_Save (M : Save_Mark; UI : in out Uint);
410    procedure Release_And_Save (M : Save_Mark; UI1, UI2 : in out Uint);
423    type Uint is new Int range Uint_Low_Bound .. Uint_High_Bound;  type
424    for Uint'Size use 32;
426    No_Uint : constant Uint := Uint (Uint_Low_Bound);
463    Uint_0   : constant Uint := Uint (Uint_Direct_Bias + 0);
464    Uint_1   : constant Uint := Uint (Uint_Direct_Bias + 1);
465    Uint_2   : constant Uint := Uint (Uint_Direct_Bias + 2);
466    Uint_3   : constant Uint := Uint (Uint_Direct_Bias + 3);
467    Uint_4   : constant Uint := Uint (Uint_Direct_Bias + 4);
468    Uint_5   : constant Uint := Uint (Uint_Direct_Bias + 5);
469    Uint_6   : constant Uint := Uint (Uint_Direct_Bias + 6);
470    Uint_7   : constant Uint := Uint (Uint_Direct_Bias + 7);
471    Uint_8   : constant Uint := Uint (Uint_Direct_Bias + 8);
472    Uint_9   : constant Uint := Uint (Uint_Direct_Bias + 9);
473    Uint_10  : constant Uint := Uint (Uint_Direct_Bias + 10);
474    Uint_11  : constant Uint := Uint (Uint_Direct_Bias + 11);
475    Uint_12  : constant Uint := Uint (Uint_Direct_Bias + 12);
476    Uint_13  : constant Uint := Uint (Uint_Direct_Bias + 13);
477    Uint_14  : constant Uint := Uint (Uint_Direct_Bias + 14);
478    Uint_15  : constant Uint := Uint (Uint_Direct_Bias + 15);
479    Uint_16  : constant Uint := Uint (Uint_Direct_Bias + 16);
480    Uint_24  : constant Uint := Uint (Uint_Direct_Bias + 24);
481    Uint_32  : constant Uint := Uint (Uint_Direct_Bias + 32);
482    Uint_63  : constant Uint := Uint (Uint_Direct_Bias + 63);
483    Uint_64  : constant Uint := Uint (Uint_Direct_Bias + 64);
484    Uint_80  : constant Uint := Uint (Uint_Direct_Bias + 80);
485    Uint_128 : constant Uint := Uint (Uint_Direct_Bias + 128);
487    Uint_Minus_1   : constant Uint := Uint (Uint_Direct_Bias - 1);
488    Uint_Minus_2   : constant Uint := Uint (Uint_Direct_Bias - 2);
489    Uint_Minus_3   : constant Uint := Uint (Uint_Direct_Bias - 3);
490    Uint_Minus_4   : constant Uint := Uint (Uint_Direct_Bias - 4);
491    Uint_Minus_5   : constant Uint := Uint (Uint_Direct_Bias - 5);
492    Uint_Minus_6   : constant Uint := Uint (Uint_Direct_Bias - 6);
493    Uint_Minus_7   : constant Uint := Uint (Uint_Direct_Bias - 7);
494    Uint_Minus_8   : constant Uint := Uint (Uint_Direct_Bias - 8);
495    Uint_Minus_9   : constant Uint := Uint (Uint_Direct_Bias - 9);
496    Uint_Minus_12  : constant Uint := Uint (Uint_Direct_Bias - 12);
497    Uint_Minus_36  : constant Uint := Uint (Uint_Direct_Bias - 36);
498    Uint_Minus_63  : constant Uint := Uint (Uint_Direct_Bias - 63);
499    Uint_Minus_80  : constant Uint := Uint (Uint_Direct_Bias - 80);
500    Uint_Minus_128 : constant Uint := Uint (Uint_Direct_Bias - 128);
508       Save_Uint   : Uint;
522    Uint_First_Entry : constant Uint := Uint (Uint_Table_Start);
540      Table_Index_Type     => Uint'Base,