Description
Argument
subtype Argument is Interfaces.Unsigned_64;
Bits
function Bits (Item : Float_Value) return Interfaces.Unsigned_64
Parameters
- Item
Return value
Category
function Category (Item : Float_Value) return Float_Category
Parameters
- Item
Return value
Definite
function Definite (Value : Interfaces.Unsigned_64) return Item_Length
Parameters
- Value
Return value
Float_Category
type Float_Category is
(Finite, Positive_Infinity, Negative_Infinity, Not_A_Number);
Enumeration literals
- Finite
- Positive_Infinity
- Negative_Infinity
- Not_A_Number
Float_Construction_Status
type Float_Construction_Status is (Float_Constructed, Bits_Out_Of_Range);
Enumeration literals
- Float_Constructed
- Bits_Out_Of_Range
Float_Value
type Float_Value is private;
Float_Width
type Float_Width is (Binary16, Binary32, Binary64);
Enumeration literals
- Binary16
- Binary32
- Binary64
Indefinite
function Indefinite return Item_Length
Return value
Integer_Argument
function Integer_Argument (Item : Integer_Value) return Interfaces.Unsigned_64
Parameters
- Item
Return value
Integer_Kind
type Integer_Kind is (Unsigned_Integer, Negative_Integer);
Enumeration literals
- Unsigned_Integer
- Negative_Integer
Integer_Value
type Integer_Value is private;
Item_Length
type Item_Length is private;
Kind
function Kind (Item : Integer_Value) return Integer_Kind
Parameters
- Item
Return value
Kind
function Kind (Item : Item_Length) return Length_Kind
Parameters
- Item
Return value
Length
function Length (Item : Item_Length) return Interfaces.Unsigned_64
Parameters
- Item
Return value
Length_Kind
type Length_Kind is (Definite_Length, Indefinite_Length);
Enumeration literals
- Definite_Length
- Indefinite_Length
Make_Float
procedure Make_Float
(Width : Float_Width;
Bits : Interfaces.Unsigned_64;
Item : out Float_Value;
Status : out Float_Construction_Status)
Parameters
- Width
- Bits
- Item
- Status
Negative
function Negative (Argument : Interfaces.Unsigned_64) return Integer_Value
Parameters
- Argument
Return value
Simple_Code
subtype Simple_Code is Interfaces.Unsigned_8;
Tag_Number
subtype Tag_Number is Interfaces.Unsigned_64;
Unsigned
function Unsigned (Argument : Interfaces.Unsigned_64) return Integer_Value
Parameters
- Argument
Return value
Width
function Width (Item : Float_Value) return Float_Width
Parameters
- Item
Return value