







Classes
Class | Description | |
---|---|---|
![]() | AlternativeExceptionCondition |
An instance of this type is returned from the
WithExceptionOnFailure<(Of <(TException>)>)()()() method overloads and allow you to specify
the exception type that should be thrown on failure.
|
![]() | Condition |
Entry point methods to start validating pre- and postconditions.
|
![]() | ConditionValidator<(Of <(T>)>) | |
![]() | PostconditionException |
The exception that is thrown when a method's postcondition is not valid.
|
![]() | ValidatorExtensions |
Extension methods for ConditionValidator<(Of <(T>)>).
|
Enumerations
Enumeration | Description | |
---|---|---|
![]() | ConstraintViolationType |
This enumeration is used to determine the type of exception the validator should throw.
|