PostSharp 2023.0 / / Post­Sharp Documentation / API Reference / Post­Sharp.​Patterns.​Contracts Namespace / Strict­Range­Attribute Class / Strict­Range­Attribute Constructor / Strict­Range­Attribute Constructor (UInt64, UInt64)

StrictRangeAttribute Constructor (UInt64, UInt64)
Initializes a new StrictRangeAttribute with given UInt64 bounds.

Namespace:  PostSharp.Patterns.Contracts
Assembly:  PostSharp.Patterns.Common (in PostSharp.Patterns.Common.dll) Version: 2023.0.3.0 (2023.0.3.0)
Syntax
C#
Copy
public StrictRangeAttribute(
	ulong min,
	ulong max
)

Parameters

min
Type: System.UInt64
The lower bound.
max
Type: System.UInt64
The upper bound.
See Also