Modifier and Type | Method and Description |
---|---|
private int |
Verif.verifier_CONST_ENT(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire CONST_ENT
|
private int |
Verif.verifier_CONST(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire CONST
|
private int |
Verif.verifier_CONSTANTE(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire CONSTANTE
|
private void |
Verif.verifier_DECL(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire DECL
|
private ProjetCompil.Global.Src.Type |
Verif.verifier_EXP(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire EXP
|
private int |
Verif.verifier_IDENT_CONST(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier que c'est bien une constante de type entier
|
private void |
Verif.verifier_IDENT_DEF_VAR(ProjetCompil.Global.Src.Arbre a,
ProjetCompil.Global.Src.Type type)
Permet de vérifier un identificateur comportant un nom de variable
|
private ProjetCompil.Global.Src.Type |
Verif.verifier_IDENT_FACTEUR(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier que l'identificateur est bien un type ou une constante
|
private ProjetCompil.Global.Src.Type |
Verif.verifier_IDENT_PLACE(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier que l'identifiant est bien une variable
Note : est aussi utilisé dans PLACE
|
private ProjetCompil.Global.Src.Type |
Verif.verifier_IDENT_TYPE(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier que l'identifiant est bien un type
|
private void |
Verif.verifier_INST(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire INST
|
private void |
Verif.verifier_LIST_IDENT(ProjetCompil.Global.Src.Arbre a,
ProjetCompil.Global.Src.Type type)
Permet de vérifier la règle de grammaire LIST_IDENT
|
private void |
Verif.verifier_LISTE_DECL(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire LIST_DECL
|
private void |
Verif.verifier_LISTE_EXP(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire LISTE_EXP
|
(package private) void |
Verif.verifier_LISTE_INST(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire LISTE_INST
|
private ProjetCompil.Global.Src.Type |
Verif.verifier_PAS(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire PAS
|
private ProjetCompil.Global.Src.Type |
Verif.verifier_PLACE(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire PLACE
|
private void |
Verif.verifier_PROGRAMME(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier l'axiome
|
private ProjetCompil.Global.Src.Type |
Verif.verifier_TYPE_INTERVALLE(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire TYPE_INTERVALLE
|
private ProjetCompil.Global.Src.Type |
Verif.verifier_TYPE(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire TYPE
|
void |
Verif.verifierDecorer(ProjetCompil.Global.Src.Arbre a)
Vérifie les contraintes contextuelles du programme correspondant à
l'arbre abstrait a, qui est décoré et enrichi.
|