CxContractCompare

Description

sealed class Tinman.Core.Cx.Contract.CxContractCompare

Derived from

CxContract abstract

A value contract that compares the value against an upper or lower bound:

[>=0]
[>0]
[<=0]
[<0]

Public / Constructors

Cx​Contract​Compare

public constructor CxContractCompare → (3)

bound in : CxContractExpression

[not-null]
See Bound.

greater in : bool

See IsGreater.

inclusive in : bool

See IsInclusive.

Creates a new instance of CxContractCompare.

Public / Attributes

Bound

[Constant]
public attribute Bound → (get)

value : CxContractExpression

[not-null]
The value bound expression.

Return the value bound expression.

Is​Greater

[Constant]
public attribute IsGreater → (get)

value : bool

true if the value must be greater than (or equal to) the bound,
false if the value must be less than (or equal to) the bound.

Returns whether the value must be greater than or less than the bound.

Is​Inclusive

[Constant]
public attribute IsInclusive → (get)

value : bool

true if the value may be equal to the bound,
false if the value must not be equal to the bound.

Returns whether the value may be equal to the bound.