Constructor AssumeRangeAttribute
AssumeRangeAttribute(Int64, Int64)
Assume that an integer is in the signed closed interval [min..max].
Declaration
public AssumeRangeAttribute(long min, long max)
Parameters
Type | Name | Description |
---|---|---|
Int64 | min | The inclusive minimum value. |
Int64 | max | The inclusive maximum value. |
AssumeRangeAttribute(UInt64, UInt64)
Assume that an integer is in the unsigned closed interval [min..max].
Declaration
public AssumeRangeAttribute(ulong min, ulong max)
Parameters
Type | Name | Description |
---|---|---|
UInt64 | min | The inclusive minimum value. |
UInt64 | max | The inclusive maximum value. |