ERC32 Ada Technical Summary: For mission-critical applications using the ERC32 spacecraft computer | ||
---|---|---|
Prev | Chapter 3. Language-Related Issues | Next |
Names and expressions are fully supported in the default profile.
Static expressions of the type universal_integer or universal_real have no limit on the implemented range or precision. Evaluation of such expressions is carried out by a general universal arithmetic package.
Non-static expressions of type universal_integer are evaluated at run time using the smallest predefined integer type with sufficient range.
If run-time floating point support is available, non-static expressions of type universal_real are evaluated at run time using 64-bit double-precision floating point.