| Getting Started with LEON 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. LEON 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 LEON Ada Reference Manual Supplement or The LEON Ada Technical Summary.