PostSharp6.5//API Reference/Post­Sharp.​Patterns.​Contracts Namespace/Range­Attribute Class/Range­Attribute Constructor/Range­Attribute Constructor (UInt64, UInt64)

RangeAttribute Constructor (UInt64, UInt64)

Initializes a new GreaterThanAttribute and specify a UInt64 bound.

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

Parameters

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