ConstraintOperator Class

Definition

The ConstraintOperator class is used internally by a ConstraintBuilder to represent an operator that modifies or combines constraints. Constraint operators use left and right precedence values to determine whether the top operator on the stack should be reduced before pushing a new operator.

public abstract class ConstraintOperator
type ConstraintOperator = class
Inheritance
ConstraintOperator
Derived

Constructors

ConstraintOperator()

Fields

left_precedence

The precedence value used when the operator is about to be pushed to the stack.

right_precedence

The precedence value used when the operator is on the top of the stack.

Properties

LeftContext

The syntax element preceding this operator

LeftPrecedence

The precedence value used when the operator is about to be pushed to the stack.

RightContext

The syntax element folowing this operator

RightPrecedence

The precedence value used when the operator is on the top of the stack.

Methods

Reduce(ConstraintBuilder+ConstraintStack)

Reduce produces a constraint from the operator and any arguments. It takes the arguments from the constraint stack and pushes the resulting constraint on it.

Applies to