26 lines
1.0 KiB
INI
26 lines
1.0 KiB
INI
-- Auto-generated SPARK target configuration file
|
|
-- Target claims to be 'SYSTEM_NAME_GNAT'
|
|
|
|
-- This package Standard is used for Examiner self-analysis,
|
|
-- following CFR 1018. It is valid for both GNAT 3.14a1 and later
|
|
-- on SPARC/Solaris and IA32/Win32
|
|
|
|
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;
|
|
type Short_Float is digits 6 range -3.40282E+38 .. 3.40282E+38;
|
|
end Standard;
|
|
|
|
package System is
|
|
Min_Int: constant := -2147483648;
|
|
Max_Int : constant := 2147483647;
|
|
subtype Any_Priority is integer range 0 .. 31;
|
|
subtype Priority is Any_Priority range 0 .. 30;
|
|
--Default_Priority : constant Priority := 0;
|
|
subtype Interrupt_Priority is Any_Priority range 31 .. 31;
|
|
end System;
|