CxContractExpressionBinary

Description

sealed class Tinman.Core.Cx.Contract.CxContractExpressionBinary

Derived from

CxContractExpression abstract

A value contract expression that combines two expressions with a binary operator:

Left-Right

Public / Constructors

CxContractExpressionBinary


public constructor CxContractExpressionBinary → (3)

left in : CxContractExpression

[not-null]
See Left.

op in : CxContractBinary

See Op.

right in : CxContractExpression

[not-null]
See Right.

Creates a new instance of CxContractExpressionBinary.

Public / Attributes

Left


public attribute Left → (get)

value : CxContractExpression

[not-null]
The left-side expression.

Returns the left-side expression.

Op


public attribute Op → (get)

value : CxContractBinary

The binary operator.

Returns the binary operator.

Right


public attribute Right → (get)

value : CxContractExpression

[not-null]
The right-side expression.

Returns the right-side expression.