29 lines
1.2 KiB
INI
29 lines
1.2 KiB
INI
-- Auto-generated SPARK target configuration file
|
|
-- Target claims to be 'SYSTEM_NAME_GNAT'
|
|
|
|
package Standard is
|
|
type Integer is range -2147483648 .. 2147483647;
|
|
type Float is digits 6 range -3.40282E+38 .. 3.40282E+38;
|
|
type Short_Short_Integer is range -128 .. 127;
|
|
type Short_Integer is range -32768 .. 32767;
|
|
type Long_Integer is range -2147483648 .. 2147483647;
|
|
type Long_Long_Integer is range -9223372036854775808 .. 9223372036854775807;
|
|
end Standard;
|
|
|
|
package System is
|
|
type Address is private;
|
|
Min_Int : constant := -9223372036854775808;
|
|
Max_Int : constant := 9223372036854775807;
|
|
Max_Binary_Modulus : constant := 18446744073709551615 + 1;
|
|
Max_Digits : constant := 18;
|
|
Max_Base_Digits : constant := 18;
|
|
Max_Mantissa : constant := 63;
|
|
Storage_Unit : constant := 8;
|
|
Word_Size : constant := 32;
|
|
Fine_Delta : constant := 1.08420217248550443E-19;
|
|
subtype Any_Priority is Integer range 0 .. 31;
|
|
subtype Priority is Any_Priority range 0 .. 30;
|
|
subtype Interrupt_Priority is Any_Priority range 31 .. 31;
|
|
Default_Bit_Order : constant Bit_Order := Low_Order_First;
|
|
end System;
|