Package ProjetCompil.Verif.Src

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.
 

Enum Summary
ErreurContext  
 

Exception Summary
ErreurInterneVerif Exception levée en cas d'erreur interne lors des vérifications contextuelles.
ErreurReglesTypage Exception levée en cas d'erreur interne dans ReglesTypage.
ErreurVerif Exception levée en cas d'erreur lors des vérifications contextuelles.