PostSharpAPI ReferencePost­Sharp.​Patterns.​ContractsPositive­Attribute
Open sandboxFocus

PositiveAttribute Class

Custom attribute that, when added to a field, property or parameter, throws an ArgumentOutOfRangeException if the target is assigned a value smaller than zero.

Namespace: PostSharp.Patterns.Contracts
Assembly: PostSharp.Patterns.Common.dll
Syntax
public class PositiveAttribute : GreaterThanAttribute, ILocationLevelAspect, IValidableAnnotation, IAspect
Remarks

Null values are accepted and do not throw an exception.

Error message is identified by GreaterThanErrorMessage.

Constructors

Name Description
PositiveAttribute()

Initializes a new PositiveAttribute.