- valueOf(String) - Static method in enum ProjetCompil.Verif.Src.ErreurContext
-
Returns the enum constant of this type with the specified name.
- values() - Static method in enum ProjetCompil.Verif.Src.ErreurContext
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- Verif - Class in ProjetCompil.Verif.Src
-
Cette classe permet de réaliser la vérification et la décoration
de l'arbre abstrait d'un programme.
- Verif() - Constructor for class ProjetCompil.Verif.Src.Verif
-
Constructeur.
- verifier_CONST(Arbre) - Method in class ProjetCompil.Verif.Src.Verif
-
Permet de vérifier la règle de grammaire CONST
- verifier_CONST_ENT(Arbre) - Method in class ProjetCompil.Verif.Src.Verif
-
Permet de vérifier la règle de grammaire CONST_ENT
- verifier_CONSTANTE(Arbre) - Method in class ProjetCompil.Verif.Src.Verif
-
Permet de vérifier la règle de grammaire CONSTANTE
- verifier_DECL(Arbre) - Method in class ProjetCompil.Verif.Src.Verif
-
Permet de vérifier la règle de grammaire DECL
- verifier_EXP(Arbre) - Method in class ProjetCompil.Verif.Src.Verif
-
Permet de vérifier la règle de grammaire EXP
- verifier_IDENT_CONST(Arbre) - Method in class ProjetCompil.Verif.Src.Verif
-
Permet de vérifier que c'est bien une constante de type entier
- verifier_IDENT_DEF_VAR(Arbre, Type) - Method in class ProjetCompil.Verif.Src.Verif
-
Permet de vérifier un identificateur comportant un nom de variable
- verifier_IDENT_FACTEUR(Arbre) - Method in class ProjetCompil.Verif.Src.Verif
-
Permet de vérifier que l'identificateur est bien un type ou une constante
- verifier_IDENT_PLACE(Arbre) - Method in class ProjetCompil.Verif.Src.Verif
-
Permet de vérifier que l'identifiant est bien une variable
Note : est aussi utilisé dans PLACE
- verifier_IDENT_TYPE(Arbre) - Method in class ProjetCompil.Verif.Src.Verif
-
Permet de vérifier que l'identifiant est bien un type
- verifier_INST(Arbre) - Method in class ProjetCompil.Verif.Src.Verif
-
Permet de vérifier la règle de grammaire INST
- verifier_LIST_IDENT(Arbre, Type) - Method in class ProjetCompil.Verif.Src.Verif
-
Permet de vérifier la règle de grammaire LIST_IDENT
- verifier_LISTE_DECL(Arbre) - Method in class ProjetCompil.Verif.Src.Verif
-
Permet de vérifier la règle de grammaire LIST_DECL
- verifier_LISTE_EXP(Arbre) - Method in class ProjetCompil.Verif.Src.Verif
-
Permet de vérifier la règle de grammaire LISTE_EXP
- verifier_LISTE_INST(Arbre) - Method in class ProjetCompil.Verif.Src.Verif
-
Permet de vérifier la règle de grammaire LISTE_INST
- verifier_PAS(Arbre) - Method in class ProjetCompil.Verif.Src.Verif
-
Permet de vérifier la règle de grammaire PAS
- verifier_PLACE(Arbre) - Method in class ProjetCompil.Verif.Src.Verif
-
Permet de vérifier la règle de grammaire PLACE
- verifier_PROGRAMME(Arbre) - Method in class ProjetCompil.Verif.Src.Verif
-
Permet de vérifier l'axiome
- verifier_TYPE(Arbre) - Method in class ProjetCompil.Verif.Src.Verif
-
Permet de vérifier la règle de grammaire TYPE
- verifier_TYPE_INTERVALLE(Arbre) - Method in class ProjetCompil.Verif.Src.Verif
-
Permet de vérifier la règle de grammaire TYPE_INTERVALLE
- verifierDecorer(Arbre) - Method in class ProjetCompil.Verif.Src.Verif
-
Vérifie les contraintes contextuelles du programme correspondant à
l'arbre abstrait a, qui est décoré et enrichi.