CxContractInterval

Description

sealed class Tinman.Core.Cx.Contract.CxContractInterval

Derived from

CxContract abstract

A value contract that restricts the value to a closed interval:

[Minimum..Maximum]

Public / Constructors

Cx​Contract​Interval

public constructor CxContractInterval → (2)

minimum in : CxContractExpression

[not-null]
See Minimum.

maximum in : CxContractExpression

[not-null]
See Maximum.

Creates a new instance of CxContractInterval.

Public / Attributes

Maximum

[Constant]
public attribute Maximum → (get)

value : CxContractExpression

[not-null]
The inclusive upper bound of the interval.

Returns the inclusive upper bound of the interval.

Minimum

[Constant]
public attribute Minimum → (get)

value : CxContractExpression

[not-null]
The inclusive lower bound of the interval.

Returns the inclusive lower bound of the interval.