MetalamaAPI documentationPatterns APIMetalama.​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.

Inheritance
System.Object
PositiveAttribute
Namespace: Metalama.Patterns.Contracts
Assembly: Metalama.Patterns.Contracts.dll
Syntax
[RunTimeOrCompileTime]
public class PositiveAttribute : GreaterThanAttribute, IAspect<IParameter>, IEligible<IParameter>, IAspect<IFieldOrPropertyOrIndexer>, IEligible<IFieldOrPropertyOrIndexer>, IConditionallyInheritableAspect, IAspect, ICompileTimeSerializable, ITemplateProvider
Remarks

Null values are accepted and do not throw an exception.

Constructors

Name Description
PositiveAttribute()

Initializes a new instance of the PositiveAttribute class.

See Also