PostSharp 2023.0 / / Post­Sharp Documentation / API Reference / Post­Sharp.​Patterns.​Contracts Namespace / Greater­Than­Attribute Class / Greater­Than­Attribute Constructor / Greater­Than­Attribute Constructor (Double)

GreaterThanAttribute Constructor (Double)
Initializes a new GreaterThanAttribute with a given floating-point bound.

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 GreaterThanAttribute(
	double min
)

Parameters

min
Type: System.Double
The lower bound.
See Also