MetalamaAPI documentationPatterns APIMetalama.​Patterns.​ContractsStrict­Range­Attribute
Open sandboxFocus

StrictRangeAttribute Class

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.

Inheritance
System.Object
StrictRangeAttribute
Namespace: Metalama.Patterns.Contracts
Assembly: Metalama.Patterns.Contracts.dll
Syntax
public class StrictRangeAttribute : RangeAttribute, IAspect<IParameter>, IEligible<IParameter>, IAspect<IFieldOrPropertyOrIndexer>, IEligible<IFieldOrPropertyOrIndexer>, IConditionallyInheritableAspect, IAspect, ICompileTimeSerializable, ITemplateProvider
Remarks

Null values are accepted and do not throw an exception.

Floating-point values are tested to be strictly within the given bounds with a tolerance value. The tolerance value is equal to the distance of the value closest to the bounds according to the precision of the respective floating-point numerical data type.

Constructors

Name Description
StrictRangeAttribute(Double, Double)

Initializes a new instance of the StrictRangeAttribute class specifying floating-point bounds.

StrictRangeAttribute(Int64, Int64)

Initializes a new instance of the StrictRangeAttribute class specifying integer bounds.

StrictRangeAttribute(UInt64, UInt64)

Initializes a new instance of the StrictRangeAttribute class specifying unsigned integer bounds.

Methods

Name Description
OnContractViolated(Object)