Ada Reference ManualLegal Information
Contents   Index   References   Search   Previous   Next 

1.1.5 Classification of Errors

Implementation Requirements

1
The language definition classifies errors into several different categories: 
2
3
4
5
6
7
8
9
10

Implementation Permissions

11
An implementation may provide nonstandard modes of operation. Typically these modes would be selected by a pragma or by a command line switch when the compiler is invoked. When operating in a nonstandard mode, the implementation may reject compilation_units that do not conform to additional requirements associated with the mode, such as an excessive number of warnings or violation of coding style guidelines. Similarly, in a nonstandard mode, the implementation may apply special optimizations or alternative algorithms that are only meaningful for programs that satisfy certain criteria specified by the implementation. In any case, an implementation shall support a standard mode that conforms to the requirements of this International Standard; in particular, in the standard mode, all legal compilation_units shall be accepted. 

Implementation Advice

12
If an implementation detects a bounded error or erroneous execution, it should raise Program_Error.

Contents   Index   References   Search   Previous   Next 
Ada-Europe Sponsored by Ada-Europe