| Getting Started with ERC32 Ada: Ada 95 Compilation System for Spacecraft Microprocessors | ||
|---|---|---|
| Prev | Chapter 1. Basic Techniques | Next |
Before you go much further, you should be aware of the built-in restrictions. ERC32 Ada does not support the full Ada 95 language: it supports a restricted language that conforms to a formal Profile designed for high integrity applications.
In the main, the built-in restrictions prohibit the use of non-deterministic Ada features that would otherwise invalidate static program analysis. For a complete list of the default restrictions, see The ERC32 Ada Reference Manual Supplement or The ERC32 Ada Technical Summary.