| ERC32 Ada Technical Summary: For mission-critical applications using the ERC32 spacecraft computer | ||
|---|---|---|
| Prev | Chapter 3. Language-Related Issues | Next |
The following predefined library units are provided.
package Ada
package Ada.Asynchronous_Task_Control
package Ada.Characters
package Ada.Characters.Handling
package Ada.Characters.Latin_1
package Ada.Characters.Wide_Latin_1
package Ada.Decimal
package Ada.Dynamic_Priorities
package Ada.Interfaces
package Ada.Interrupts
package Ada.Interrupts.Names
package Ada.IO_Exceptions
package Ada.Numerics (not all child packages are supported)
package Ada.Real_Time
package Ada.Strings (not all child packages are supported)
package Ada.Synchronous_Task_Control
package Ada.Task_Identification
package Ada.Unchecked_Conversion
package IO_Exceptions
package Interfaces (not all child packages are supported)
package Machine_Code
package System
package System.Address_to_Access_Conversions
package System.Machine_Code
package System.Storage_Elements
function Unchecked_Conversion