package
SYSTEM is
type
ADDRESS is
implementation_defined;
type
NAME is
implementation_defined_enumeration_type;
SYSTEM_NAME :
constant
NAME := implementation_defined;constant
:= implementation_defined;
MEMORY_SIZE : constant
:= implementation_defined; constant
:= implementation_defined;
MAX_INT : constant
:= implementation_defined;
MAX_DIGITS : constant
:= implementation_defined;
MAX_MANTISSA : constant
:= implementation_defined;
FINE_DELTA : constant
:= implementation_defined;
TICK : constant
:= implementation_defined;
subtype
PRIORITY is
INTEGER range
implementation_defined;
end
SYSTEM;
pragma
SYSTEM_NAME (enumeration_literal);
pragma
STORAGE_UNIT (numeric_literal);
pragma
MEMORY_SIZE (numeric_literal);
all
).
12 | T'STORAGE_SIZE | Yields the total number of storage units reserved for the collection associated with the base type of T. The value of this attribute is of the type universal_integer. |
3 | T'MACHINE_ROUNDS | Yields the value TRUE if every predefined arithmetic operation on values of the base type of T either returns an exact result or performs rounding; yields the value FALSE otherwise. The value of this attribute is of the predefined type BOOLEAN.
4 | T'MACHINE_OVERFLOWS | Yields the value TRUE if every predefined operation on values of the base type of T either provides a correct result, or raises the exception NUMERIC_ERROR in overflow situations (see 4.5.7); yields the value FALSE otherwise. The value of this attribute is of the predefined type BOOLEAN.
| |
(F'MACHINE_RADIX)**(F'MACHINE_EMAX),
F'MACHINE_RADIX ** (F'MACHINE_EMIN -1)