Miner.Tasks Assembly > Miner.Tasks Namespace : Check Class |
The following tables list the members exposed by Check.
Name | Description | |
---|---|---|
![]() ![]() | UseAssertions | Set this if you wish to use Trace Assert statements instead of exception handling. (The Check class uses exception handling by default.) |
Name | Description | |
---|---|---|
![]() ![]() | Assert | Overloaded. Assertion check. |
![]() ![]() | Ensure | Overloaded. Postcondition check. |
![]() ![]() | Invariant | Overloaded. Invariant check. |
![]() ![]() | Require | Overloaded. Precondition check - should run regardless of preprocessor directives. |