Next: , Previous: , Up: The GNAT Library   [Contents][Index]


12.142 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.