ERC32 Ada
Prev	Chapter 2. Implementation-Defined Characteristics	Next

2.16. Appendix H: Safety and Security

The information in this section relates to Annex M paragraphs 133 to 136.

Q: M.(133)

Information regarding bounded errors and erroneous execution. See H.2(1).

A: Information on this subject is not yet available.

Q: M.(134)

Implementation-defined aspects of pragma Inspection_Point. See H.3.2(8).

A: Pragma Inspection_Point ensures that the given variable is live and can be examined by a debugger at the inspection point.

Q: M.(135)

Implementation-defined aspects of pragma Restrictions. See H.4(25).

A: ERC32 Ada includes additional restrictions for use in safety-related applications. See Appendix A for details.

Q: M.(136)

Any restrictions on pragma Restrictions. See H.4(27).

A: There are no restrictions on pragma Restrictions that relate to H.4(27).

Prev	Home	Next
Annex G: Numerics	Up	Implementation-Defined Pragmas