PostSharp 4.3 / / Post­Sharp Documentation / API Reference / Post­Sharp.​Patterns.​Contracts Namespace / Less­Than­Attribute Class / Less­Than­Attribute Constructor / Less­Than­Attribute Constructor (UInt64)
LessThanAttribute Constructor (UInt64)
Initializes a new LessThanAttribute with a given UInt64 bound.

Namespace: PostSharp.Patterns.Contracts
Assembly: PostSharp.Patterns.Model (in PostSharp.Patterns.Model.dll) Version: 4.3.48.0 (4.3.48.0)
Syntax
C#
public LessThanAttribute(
	ulong max
)

Parameters

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