PostSharpAPI ReferencePost­Sharp.​Patterns.​ContractsRange­AttributeRange­Attribute
Open sandboxFocus

RangeAttribute Constructor

RangeAttribute(Int64, Int64)

Initializes a new GreaterThanAttribute and specify an integer bound.

Declaration
public RangeAttribute(long min, long max)
Parameters
Type Name Description
Int64 min

The lower bound.

Int64 max

The upper bound.

RangeAttribute(UInt64, UInt64)

Initializes a new GreaterThanAttribute and specify a System.UInt64 bound.

Declaration
public RangeAttribute(ulong min, ulong max)
Parameters
Type Name Description
System.UInt64 min

The lower bound.

System.UInt64 max

The upper bound.

RangeAttribute(Double, Double)

Initializes a new GreaterThanAttribute and specify a floating-point bound.

Declaration
public RangeAttribute(double min, double max)
Parameters
Type Name Description
System.Double min

The lower bound.

System.Double max

The upper bound.