 | CovenantRequires Method |
Overload List| Name | Description | |
|---|---|---|
  | Requires(Boolean, String) |
Verifies a method pre-condition.
|
| RequiresTException(Boolean, String, String) |
Verifies a method pre-condition throwing a custom exception.
|
See Also