ProjetCompil.Verif.Src
Class Verif

java.lang.Object
  extended by ProjetCompil.Verif.Src.Verif

public class Verif
extends java.lang.Object

Cette classe permet de réaliser la vérification et la décoration de l'arbre abstrait d'un programme.


Constructor Summary
Verif()
          Constructeur.
 
Method Summary
 void verifierDecorer(Arbre a)
          Vérifie les contraintes contextuelles du programme correspondant à l'arbre abstrait a, qui est décoré et enrichi.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Verif

public Verif()
Constructeur.

Method Detail

verifierDecorer

public void verifierDecorer(Arbre a)
                     throws ErreurVerif
Vérifie les contraintes contextuelles du programme correspondant à l'arbre abstrait a, qui est décoré et enrichi. Les contraintes contextuelles sont décrites dans Context.txt. En cas d'erreur contextuelle, un message d'erreur est affiché et l'exception ErreurVerif est levée.

Throws:
ErreurVerif