GSL.assert
GSL.assert: Assertions
Expects// precondition assertion. Currently placed in function bodies. Later, should be moved to declarations. //Expects(p)terminates the program unlessp == true//Expectsis under control of some options (enforcement, error message, alternatives to terminate)Ensures// postcondition assertion. Currently placed in function bodies. Later, should be moved to declarations.
These assertions are currently macros (yuck!) and must appear in function definitions (only)
pending standard committee decisions on contracts and assertion syntax.
See the contract proposal; using the attribute syntax,
for example, Expects(p) will become [[expects: p]].