PostSharp.Patterns.Contracts Namespace |

Class | Description | |
---|---|---|
![]() | ContractExceptionFactory |
Base class for contract exception factories. Implements chain of responsibility between concrete exception factories.
|
![]() | ContractExceptionInfo |
This class holds the information from which the ContractExceptionFactory should create the exception.
|
![]() | ContractLocalizedTextProvider |
Base class for contract error messages providers.
|
![]() | ContractServices |
This class provides services supporting Contract aspects. By adding your own classes to the ExceptionFactory chain, you can change the way the
exceptions are created when a contract is broken. By plugging into the LocalizedTextProvider chain, you can change the way the exception messages
are generated. See the documentation for the classes for more details: ContractLocalizedTextProvider, ContractExceptionFactory.
|
![]() | CreditCardAttribute |
Custom attribute that, when added to a field, property or parameter, throws
an ArgumentException if the target is assigned a value that
is not a valid credit card number. Null strings are accepted and do not
throw an exception.
|
![]() | DefaultContractExceptionFactory |
Default implementation of ContractExceptionFactory.
|
![]() | EmailAddressAttribute |
Custom attribute that, when added to a field, property or parameter, throws
an ArgumentException if the target is assigned a value that
is not a valid email address. Null strings are accepted and do not
throw an exception.
|
![]() | EnumDataTypeAttribute |
Custom attribute that, when added to a field, property or parameter, throws
an ArgumentException if the target is assigned a value that
is not a valid member of an enumeration.
|
![]() | GreaterThanAttribute |
Custom attribute that, when added to a field, property or parameter, throws
an ArgumentOutOfRangeException if the target is assigned a value that
is smaller than a given value.
|
![]() | LessThanAttribute |
Custom attribute that, when added to a field, property or parameter, throws
an ArgumentOutOfRangeException if the target is assigned a value that
is greater than a given value.
|
![]() | LocationContractAttribute |
Base class for other custom attributes in this namespace.
|
![]() | NegativeAttribute |
Custom attribute that, when added to a field, property or parameter, throws
an ArgumentOutOfRangeException if the target is assigned a value
greater than zero.
|
![]() | NotEmptyAttribute |
Custom attribute that, when added to a field, property or parameter, throws
an ArgumentNullException if the target is assigned a null or empty value.
The custom attributes can be added to locations of type String (where empty
means zero characters), or ICollection, ICollection<T> or IReadOnlyCollection<T> (where empty means zero items).
|
![]() | NotNullAttribute |
Custom attribute that, when added to a field, property or parameter, throws
an ArgumentNullException if the target is assigned a null value.
|
![]() | PhoneAttribute |
Custom attribute that, when added to a field, property or parameter, throws
an ArgumentException if the target is assigned a value that
is not a valid phone number. Null strings are accepted and do not
throw an exception.
|
![]() | PositiveAttribute |
Custom attribute that, when added to a field, property or parameter, throws
an ArgumentOutOfRangeException if the target is assigned a value
smaller than zero.
|
![]() | PostconditionFailedException |
The exception that is thrown when a postcondition contract was not fulfilled by a method.
|
![]() | RangeAttribute |
Custom attribute that, when added to a field, property or parameter, throws
an ArgumentOutOfRangeException if the target is assigned a value that
is outside a given range.
|
![]() | RegularExpressionAttribute |
Custom attribute that, when added to a field, property or parameter, throws
an ArgumentException if the target is assigned a value that
does not match a given regular expression. Null strings are accepted and do not
throw an exception.
|
![]() | RequiredAttribute |
Custom attribute that, when added to a field, property or parameter, throws:
|
![]() | StrictlyGreaterThanAttribute |
Custom attribute that, when added to a field, property or parameter, throws
an ArgumentOutOfRangeException if the target is assigned a value that
is smaller than or equal to a given value.
|
![]() | StrictlyLessThanAttribute |
Custom attribute that, when added to a field, property or parameter, throws
an ArgumentOutOfRangeException if the target is assigned a value that
is greater than or equal to a given value.
|
![]() | StrictlyNegativeAttribute |
Custom attribute that, when added to a field, property or parameter, throws
an ArgumentOutOfRangeException if the target is assigned a value
greater than or equal to zero.
|
![]() | StrictlyPositiveAttribute |
Custom attribute that, when added to a field, property or parameter, throws
an ArgumentOutOfRangeException if the target is assigned a value
smaller than or equal to zero.
|
![]() | StrictRangeAttribute |
Custom attribute that, when added to a field, property or parameter, throws
an ArgumentOutOfRangeException if the target is assigned a value that
is not strictly within the given range.
|
![]() | StringLengthAttribute |
Custom attribute that, when added to a field, property or parameter, throws
an ArgumentException if the target is assigned a string of invalid length.
Null strings are accepted and do not throw an exception.
|
![]() | UrlAttribute |
Custom attribute that, when added to a field, property or parameter, throws
an ArgumentException if the target is assigned a value that
is not a valid URL starting with http://, https:// or ftp://.
Null strings are accepted and do not
throw an exception.
|