PostSharp.Patterns.Contracts Namespace |
The PostSharp.Patterns.Contracts namespace contains ready-made contracts that validate fields, properties and parameters at runtime.
Classes| Class | Description | |
|---|---|---|
 | ContractLocalizedTextProvider |
Base class for contract error messages providers.
|
| 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.
|
| 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 (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
an ArgumentNullException if the target is assigned a null value or an empty or white-space string.
|
| 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.
|
| 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.
|