Partager via


ConstraintOperator Classe

Définition

La classe ConstraintOperator est utilisée en interne par un ConstraintBuilder pour représenter un opérateur qui modifie ou combine des contraintes. Les opérateurs de contrainte utilisent des valeurs de précédence gauche et droite pour déterminer si l’opérateur supérieur de la pile doit être réduit avant d’envoyer (push) un nouvel opérateur.

public abstract class ConstraintOperator
type ConstraintOperator = class
Héritage
ConstraintOperator
Dérivé

Constructeurs

ConstraintOperator()

La classe ConstraintOperator est utilisée en interne par un ConstraintBuilder pour représenter un opérateur qui modifie ou combine des contraintes. Les opérateurs de contrainte utilisent des valeurs de précédence gauche et droite pour déterminer si l’opérateur supérieur de la pile doit être réduit avant d’envoyer (push) un nouvel opérateur.

Champs

left_precedence

Valeur de précédence utilisée lorsque l’opérateur est sur le point d’être envoyé à la pile.

right_precedence

Valeur de précédence utilisée lorsque l’opérateur se trouve en haut de la pile.

Propriétés

LeftContext

Élément de syntaxe précédant cet opérateur

LeftPrecedence

Valeur de précédence utilisée lorsque l’opérateur est sur le point d’être envoyé à la pile.

RightContext

Élément de syntaxe folowing this operator

RightPrecedence

Valeur de précédence utilisée lorsque l’opérateur se trouve en haut de la pile.

Méthodes

Reduce(ConstraintBuilder+ConstraintStack)

Réduire génère une contrainte à partir de l’opérateur et de tous les arguments. Il prend les arguments de la pile de contraintes et envoie la contrainte obtenue sur celle-ci.

S’applique à