| Getting Started with M1750 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. M1750 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.
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 profiles and restrictions, see The XGC Ada Reference Manual Supplement.