System Assertions s-assert ads (GNAT Reference Manual) (original) (raw)

Next: System.Atomic_Counters (s-atocou.ads), Previous: System.Address_Image (s-addima.ads), Up: The GNAT Library [Contents][Index]

12.135 System.Assertions (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.