Next: System Atomic_Counters s-atocou ads, Previous: System Address_Image s-addima ads, Up: The GNAT Library [Contents][Index]
s-assert.ads
)This package provides the declaration of the exception raised by an run-time assertion failure, as well as the routine that is used internally to raise this assertion.