Post­Sharp Documentation / API Reference / Post­Sharp.​Patterns.​Contracts Namespace / Strictly­Greater­Than­Attribute Class

StrictlyGreaterThanAttribute Class

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.
Inheritance Hierarchy

Namespace:  PostSharp.Patterns.Contracts
Assembly:  PostSharp.Patterns.Common (in PostSharp.Patterns.Common.dll) Version: 5.0.38.0 (5.0.38.0)
Syntax
C#
public class StrictlyGreaterThanAttribute : RangeAttribute

The StrictlyGreaterThanAttribute type exposes the following members.

Constructors
  NameDescription
Public methodStrictlyGreaterThanAttribute(Double)
Initializes a new StrictlyGreaterThanAttribute with a given floating-point bound.
Public methodStrictlyGreaterThanAttribute(Int64)
Initializes a new StrictlyGreaterThanAttribute with a given integer bound.
Public methodStrictlyGreaterThanAttribute(UInt64)
Initializes a new StrictlyGreaterThanAttribute with a given UInt64 bound.
Properties
  NameDescription
Public propertyAttributeExclude
If true, indicates that this attribute removes all other instances of the same attribute type from the set of elements defined by the current instance.
(Inherited from MulticastAttribute.)
Public propertyAttributeInheritance
Determines whether this attribute is inherited
(Inherited from MulticastAttribute.)
Public propertyAttributePriority
Gets or sets the priority of the current attribute in case that multiple instances are defined on the same element (lower values are processed before).
(Inherited from MulticastAttribute.)
Public propertyAttributeReplace
Determines whether this attribute replaces other attributes found on the target declarations.
(Inherited from MulticastAttribute.)
Public propertyAttributeTargetAssemblies
Gets or sets the assemblies to which the current attribute apply.
(Inherited from MulticastAttribute.)
Public propertyAttributeTargetElements
Gets or sets the kind of elements to which this custom attributes applies.
(Inherited from MulticastAttribute.)
Public propertyAttributeTargetExternalMemberAttributes
Gets or sets the visibilities, scopes, virtualities, and implementation of members to which this attribute applies, when the member is external to the current module.
(Inherited from MulticastAttribute.)
Public propertyAttributeTargetExternalTypeAttributes
Gets or sets the visibilities of types to which this attribute applies, when this type is external to the current module.
(Inherited from MulticastAttribute.)
Public propertyAttributeTargetMemberAttributes
Gets or sets the visibilities, scopes, virtualities, and implementation of members to which this attribute applies.
(Inherited from MulticastAttribute.)
Public propertyAttributeTargetMembers
Gets or sets the expression specifying to which members this instance applies.
(Inherited from MulticastAttribute.)
Public propertyAttributeTargetParameterAttributes
Gets or sets the passing style (by value, out or ref) of parameters to which this attribute applies.
(Inherited from MulticastAttribute.)
Public propertyAttributeTargetParameters
Gets or sets the expression specifying to which parameters this instance applies.
(Inherited from MulticastAttribute.)
Public propertyAttributeTargetTypeAttributes
Gets or sets the visibilities of types to which this attribute applies.
(Inherited from MulticastAttribute.)
Public propertyAttributeTargetTypes
Gets or sets the expression specifying to which types this instance applies.
(Inherited from MulticastAttribute.)
Protected propertyDisplayMaxValue
Gets the maximal value to be used when generating the error message, typically in the implementation of GetErrorMessageArguments().
(Inherited from RangeAttribute.)
Protected propertyDisplayMinValue
Gets the minimal value to be used when generating the error message, typically in the implementation of GetErrorMessageArguments().
(Inherited from RangeAttribute.)
Public propertyErrorMessage
Gets or sets the error message formatting string.
(Inherited from LocationContractAttribute.)
Methods
  NameDescription
Public methodCompileTimeValidate(Object)
Method invoked at build time to ensure that the aspect has been applied to the right target.
(Inherited from RangeAttribute.)
Protected methodCompileTimeValidate(LocationInfo) (Inherited from LocationContractAttribute.)
Protected methodCreateArgumentException
Creates an ArgumentException with an error message formatted from ErrorMessage and given concrete values.
(Inherited from LocationContractAttribute.)
Protected methodCreateArgumentNullException
Creates an ArgumentNullException with an error message formatted from ErrorMessage and given concrete values.
(Inherited from LocationContractAttribute.)
Protected methodCreateArgumentOutOfRangeException
Creates an ArgumentOutOfRangeException with an error message formatted from ErrorMessage and given concrete values.
(Inherited from LocationContractAttribute.)
Protected methodCreatePostconditionFailedException
Creates an PostconditionFailedException with an error message formatted from ErrorMessage and given concrete values.
(Inherited from LocationContractAttribute.)
Protected methodFormatErrorMessage
Formats the ErrorMessage with concrete values.
(Inherited from LocationContractAttribute.)
Protected methodGetErrorMessage
Gets unformatted error message as defined by the instance.
(Overrides RangeAttribute.GetErrorMessage().)
Protected methodGetErrorMessageArguments
Gets values of additional arguments for error message associated with particular instance of LocationContractAttribute. There arguments can be referenced from error message string by {4}, {5} and so on.
(Overrides RangeAttribute.GetErrorMessageArguments().)
Public methodRuntimeInitialize (Inherited from LocationContractAttribute.)
Protected methodSelectSelfOrNothing (Inherited from LocationContractAttribute.)
Public methodValidateValueDynamic(Object, String, LocationKind, LocationValidationContext) (Inherited from LocationContractAttribute.)
Public methodValidateValueDynamic(Object, String, LocationKind, LocationValidationContext) (Inherited from RangeAttribute.)
Extension Methods
  NameDescription
Public Extension MethodQueryInterface<T>
Gets the implementation of a specified interface for the specified object.
(Defined by QueryInterfaceExtensions.)
Remarks

Null values are accepted and do not throw an exception.

Floating-point values are tested to be greater than or equal to the minimum value plus a tolerance value. The tolerance value is equal to the distance of the value closest to the minimum value according to the precision of the respective floating-point numerical data type.

Error message is identified by StrictlyGreaterThanErrorMessage.

Error message can use additional argument

Field Value

Type: 
{4} to refer to the minimum value used.

See Also