Ada Programming/Pragmas/Inspection Point

Summary

The pragma Inspection_Point directs the compiler to ensure that the specified variable is available where the pragma appears.

This pragma aids in debugging.

See also

Wikibook

• Ada Programming
• Ada Programming/Pragmas

Ada Reference Manual

• H.3.2 Pragma Inspection_Point (Annotated)

Ada 95 Rationale

• H.2.2 The Pragma Inspection_Point