Thetype exposes the following members.
Asserts that a condition is true.
Verifies a method pre-condition.
|RequiresTException(Boolean, String, String)|
Verifies a method pre-condition throwing a custom exception.
This class is intended to be a drop-in replacement for code contract assertions by simply searching and replacing "Contract." with "async methods such that they cannot be debugged effectively using the debugger. Code Contracts are also somewhat of a pain to configure as project propoerties.." in all source code. In my experience, code contracts slow down build times too much and often obsfucate
This class includes the Requires(Boolean, String), RequiresTException(Boolean, String, String) and Assert(Boolean, String) methods that can be used to capture validation requirements in code, but these methods don't currently generate any code.