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;
253    function UI_From_Integral (Input : In_T) return Uint;
258    function UI_From_CC (Input : Char_Code) return Uint;
261    function UI_To_Int (Input : Uint) return Int;
265    function UI_To_CC (Input : Uint) return Char_Code;
269    function Num_Bits (Input : Uint) return Nat;
276       Negative : Boolean) return Uint;
304    procedure UI_Image (Input : Uint; Format : UI_Format := Auto);
315    function UI_Image (Input : Uint; Format : UI_Format := Auto) return String;
319    procedure UI_Write (Input : Uint; Format : UI_Format := Auto);
327    procedure pid (Input : Uint);
332    procedure pih (Input : Uint);
341    function "+" (Left : Uint; Right : Uint) return Uint renames UI_Add;
342    function "+" (Left : Int;  Right : Uint) return Uint renames UI_Add;
343    function "+" (Left : Uint; Right : Int)  return Uint renames UI_Add;
345    function "/" (Left : Uint; Right : Uint) return Uint renames UI_Div;
346    function "/" (Left : Int;  Right : Uint) return Uint renames UI_Div;
347    function "/" (Left : Uint; Right : Int)  return Uint renames UI_Div;
349    function "*" (Left : Uint; Right : Uint) return Uint renames UI_Mul;
350    function "*" (Left : Int;  Right : Uint) return Uint renames UI_Mul;
351    function "*" (Left : Uint; Right : Int)  return Uint renames UI_Mul;
353    function "-" (Left : Uint; Right : Uint) return Uint renames UI_Sub;
354    function "-" (Left : Int;  Right : Uint) return Uint renames UI_Sub;
355    function "-" (Left : Uint; Right : Int)  return Uint renames UI_Sub;
357    function "**"  (Left : Uint; Right : Uint) return Uint renames UI_Expon;
358    function "**"  (Left : Uint; Right : Int)  return Uint renames UI_Expon;
359    function "**"  (Left : Int;  Right : Uint) return Uint renames UI_Expon;
360    function "**"  (Left : Int;  Right : Int)  return Uint renames UI_Expon;
362    function "abs" (Real : Uint) return Uint renames UI_Abs;
364    function "mod" (Left : Uint; Right : Uint) return Uint renames UI_Mod;
365    function "mod" (Left : Int;  Right : Uint) return Uint renames UI_Mod;
366    function "mod" (Left : Uint; Right : Int)  return Uint renames UI_Mod;
368    function "rem" (Left : Uint; Right : Uint) return Uint renames UI_Rem;
369    function "rem" (Left : Int;  Right : Uint) return Uint renames UI_Rem;
370    function "rem" (Left : Uint; Right : Int)  return Uint renames UI_Rem;
372    function "-"   (Real : Uint) return Uint renames UI_Negate;
374    function "="   (Left : Uint; Right : Uint) return Boolean renames UI_Eq;
375    function "="   (Left : Int;  Right : Uint) return Boolean renames UI_Eq;
376    function "="   (Left : Uint; Right : Int)  return Boolean renames UI_Eq;
378    function ">="  (Left : Uint; Right : Uint) return Boolean renames UI_Ge;
379    function ">="  (Left : Int;  Right : Uint) return Boolean renames UI_Ge;
380    function ">="  (Left : Uint; Right : Int)  return Boolean renames UI_Ge;
382    function ">"   (Left : Uint; Right : Uint) return Boolean renames UI_Gt;
383    function ">"   (Left : Int;  Right : Uint) return Boolean renames UI_Gt;
384    function ">"   (Left : Uint; Right : Int)  return Boolean renames UI_Gt;
386    function "<="  (Left : Uint; Right : Uint) return Boolean renames UI_Le;
387    function "<="  (Left : Int;  Right : Uint) return Boolean renames UI_Le;
388    function "<="  (Left : Uint; Right : Int)  return Boolean renames UI_Le;
390    function "<"   (Left : Uint; Right : Uint) return Boolean renames UI_Lt;
391    function "<"   (Left : Int;  Right : Uint) return Boolean renames UI_Lt;
392    function "<"   (Left : Uint; Right : Int)  return Boolean renames UI_Lt;
412    procedure Release_And_Save (M : Save_Mark; UI : in out Uint);
417    procedure Release_And_Save (M : Save_Mark; UI1, UI2 : in out Uint);
430    type Uint is new Int range Uint_Low_Bound .. Uint_High_Bound;  type
431    for Uint'Size use 32;
433    No_Uint : constant Uint := Uint (Uint_Low_Bound);
470    Uint_0   : constant Uint := Uint (Uint_Direct_Bias + 0);
471    Uint_1   : constant Uint := Uint (Uint_Direct_Bias + 1);
472    Uint_2   : constant Uint := Uint (Uint_Direct_Bias + 2);
473    Uint_3   : constant Uint := Uint (Uint_Direct_Bias + 3);
474    Uint_4   : constant Uint := Uint (Uint_Direct_Bias + 4);
475    Uint_5   : constant Uint := Uint (Uint_Direct_Bias + 5);
476    Uint_6   : constant Uint := Uint (Uint_Direct_Bias + 6);
477    Uint_7   : constant Uint := Uint (Uint_Direct_Bias + 7);
478    Uint_8   : constant Uint := Uint (Uint_Direct_Bias + 8);
479    Uint_9   : constant Uint := Uint (Uint_Direct_Bias + 9);
480    Uint_10  : constant Uint := Uint (Uint_Direct_Bias + 10);
481    Uint_11  : constant Uint := Uint (Uint_Direct_Bias + 11);
482    Uint_12  : constant Uint := Uint (Uint_Direct_Bias + 12);
483    Uint_13  : constant Uint := Uint (Uint_Direct_Bias + 13);
484    Uint_14  : constant Uint := Uint (Uint_Direct_Bias + 14);
485    Uint_15  : constant Uint := Uint (Uint_Direct_Bias + 15);
486    Uint_16  : constant Uint := Uint (Uint_Direct_Bias + 16);
487    Uint_24  : constant Uint := Uint (Uint_Direct_Bias + 24);
488    Uint_32  : constant Uint := Uint (Uint_Direct_Bias + 32);
489    Uint_63  : constant Uint := Uint (Uint_Direct_Bias + 63);
490    Uint_64  : constant Uint := Uint (Uint_Direct_Bias + 64);
491    Uint_80  : constant Uint := Uint (Uint_Direct_Bias + 80);
492    Uint_128 : constant Uint := Uint (Uint_Direct_Bias + 128);
494    Uint_Minus_1   : constant Uint := Uint (Uint_Direct_Bias - 1);
495    Uint_Minus_2   : constant Uint := Uint (Uint_Direct_Bias - 2);
496    Uint_Minus_3   : constant Uint := Uint (Uint_Direct_Bias - 3);
497    Uint_Minus_4   : constant Uint := Uint (Uint_Direct_Bias - 4);
498    Uint_Minus_5   : constant Uint := Uint (Uint_Direct_Bias - 5);
499    Uint_Minus_6   : constant Uint := Uint (Uint_Direct_Bias - 6);
500    Uint_Minus_7   : constant Uint := Uint (Uint_Direct_Bias - 7);
501    Uint_Minus_8   : constant Uint := Uint (Uint_Direct_Bias - 8);
502    Uint_Minus_9   : constant Uint := Uint (Uint_Direct_Bias - 9);
503    Uint_Minus_12  : constant Uint := Uint (Uint_Direct_Bias - 12);
504    Uint_Minus_36  : constant Uint := Uint (Uint_Direct_Bias - 36);
505    Uint_Minus_63  : constant Uint := Uint (Uint_Direct_Bias - 63);
506    Uint_Minus_80  : constant Uint := Uint (Uint_Direct_Bias - 80);
507    Uint_Minus_128 : constant Uint := Uint (Uint_Direct_Bias - 128);
515       Save_Uint   : Uint;
529    Uint_First_Entry : constant Uint := Uint (Uint_Table_Start);
547      Table_Index_Type     => Uint'Base,