Class Summary |
ReglesTypage |
La classe ReglesTypage permet de définir les différentes règles
de typage du langage JCas. |
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. |
ResultatArithCompatible |
Résultat de l'opération arithCompatible(t1, t2), où t1 est le type de la
partie gauche et t2 est le type de la partie droite. |
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. |
TestVerif |
Classe qui permet de tester la passe de vérifications contextuelles. |
Verif |
Cette classe permet de réaliser la vérification et la décoration
de l'arbre abstrait d'un programme. |