Lightweight Precondition, Postcondition, and Sanity Checks
![[R logo]](../../../doc/html/Rlogo.svg)
![[Up]](../../../doc/html/left.jpg)
![[Top]](../../../doc/html/up.jpg)
Documentation for package ‘precondition’ version 0.1.0
Help Pages
| debug-markers | Diagnose expressions and substitute debug markers |
| diagnose_assertion_failure | Implement a custom assertion |
| diagnose_expressions | Diagnose expressions and substitute debug markers |
| fatal_error | Signal a fatal error (and optionally terminate the program execution) |
| forwarded_arg_label | Implement a custom assertion |
| postcondition | Pre- and postcondition checking (assertions) |
| precondition | Pre- and postcondition checking (assertions) |
| precondition_fatal_error_action | Signal a fatal error (and optionally terminate the program execution) |
| sanity_check | Pre- and postcondition checking (assertions) |