1.5. Restrictions

Before you go much further, you should be aware of the built-in restrictions. M68K 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 M68K Ada Technical Summary.

To set a profile, use the pragma Profile as shown in the following example.

pragma Profile (Ravenscar);

procedure Main is
...