Class and Description |
---|
ErreurContext |
ErreurReglesTypage
Exception levée en cas d'erreur interne dans ReglesTypage.
|
ErreurVerif
Exception levée en cas d'erreur lors des vérifications contextuelles.
|
ResultatAffectCompatible
Un objet de la classe ResultatAffectCompatible a deux attributs :
ok, qui vaut vrai ssi on peut affecter une expression de type t2
à une place de type t1.
|
ResultatBinaireCompatible
Résultat de l'opération binaireCompatible(noeud, t1, t2), où noeud
représente une opération binaire, t1 le type de la partie gauche et t2
le type de la partie droite.
|
ResultatUnaireCompatible
Résultat de l'opération unaireCompatible(noeud, t), où noeud représente
une opération unaire et t est le type de l'expression.
|