Ada Programming/Attributes/'Machine Emin

Description

X'Machine_Emin is an Ada attribute where X is any floating point type.

Floating point types are represented as:

$sign\times mantissa\times radi{x}^{exponent}$

where

sign is 1 or -1

mantissa is a fraction in base radix

radix is the hardware radix (usually 2)

exponent is an integer

'Machine_Emin returns the smallest exponent.

Example

Template:Ada/keyword Template:Ada/packageTemplate:Ada/delimiter

Template:Ada/keyword Machine_Emin Template:Ada/keyword

   Template:Ada/keyword T_IO Template:Ada/keyword AdaTemplate:Ada/delimiterText_IOTemplate:Ada/delimiter
   Template:Ada/keyword I_IO Template:Ada/keyword Template:Ada/keyword  AdaTemplate:Ada/delimiterText_IOTemplate:Ada/delimiterInteger_IO Template:Ada/delimiterIntegerTemplate:Ada/delimiterTemplate:Ada/delimiter
Template:Ada/keyword
   T_IOTemplate:Ada/delimiterPut Template:Ada/delimiter"Emin of Float type       = "Template:Ada/delimiterTemplate:Ada/delimiter
   I_IOTemplate:Ada/delimiterPut Template:Ada/delimiterFloatTemplate:Ada/delimiterTemplate:Ada/attributeTemplate:Ada/delimiterTemplate:Ada/delimiter
   T_IOTemplate:Ada/delimiterNew_LineTemplate:Ada/delimiter
   
   T_IOTemplate:Ada/delimiterPut Template:Ada/delimiter"Emin of Long_Float type  = "Template:Ada/delimiterTemplate:Ada/delimiter
   I_IOTemplate:Ada/delimiterPut Template:Ada/delimiterLong_FloatTemplate:Ada/delimiterTemplate:Ada/attributeTemplate:Ada/delimiterTemplate:Ada/delimiter
   T_IOTemplate:Ada/delimiterNew_LineTemplate:Ada/delimiter

Template:Ada/keyword Machine_EminTemplate:Ada/delimiter

The output with GNAT 4.6 on the x86-64 architecture is:

Emin of Float type       =        -125
Emin of Long_Float type  =       -1021

See also

Wikibook

• Ada Programming
• Ada Programming/Attributes
• Ada Programming/Attributes/'Machine_Emax
• Ada Programming/Attributes/'Machine_Mantissa
• Ada Programming/Attributes/'Machine_Radix

Ada Reference Manual

• Template:Ada/RM2
• Template:Ada/RMA1

[[Template:BOOKCATEGORY|Address]] [[Template:BOOKCATEGORY/Representation attributes|Address]]