public class Verif
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private ProjetCompil.Global.Src.Environ |
env |
Constructor and Description |
---|
Verif()
Constructeur.
|
Modifier and Type | Method and Description |
---|---|
private void |
decoreBinaire(ProjetCompil.Verif.Src.ResultatBinaireCompatible compBin,
ProjetCompil.Global.Src.Arbre a,
ProjetCompil.Global.Src.Type t1,
ProjetCompil.Global.Src.Type t2)
Méthode permettant de faire les noeuds de conversions pour les operateurs
|
private boolean |
estFeuille(ProjetCompil.Global.Src.Arbre a)
Permet de savoir si le noeud spécifié est une feuille
|
private void |
initialiserEnv()
Initialisation de l'environnement avec les identificateurs prédéfinis.
|
private int |
verifier_CONST_ENT(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire CONST_ENT
|
private int |
verifier_CONST(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire CONST
|
private int |
verifier_CONSTANTE(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire CONSTANTE
|
private void |
verifier_DECL(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire DECL
|
private ProjetCompil.Global.Src.Type |
verifier_EXP(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire EXP
|
private int |
verifier_IDENT_CONST(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier que c'est bien une constante de type entier
|
private void |
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 |
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 |
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 |
verifier_IDENT_TYPE(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier que l'identifiant est bien un type
|
private void |
verifier_INST(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire INST
|
private void |
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 |
verifier_LISTE_DECL(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire LIST_DECL
|
private void |
verifier_LISTE_EXP(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire LISTE_EXP
|
(package private) void |
verifier_LISTE_INST(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire LISTE_INST
|
private ProjetCompil.Global.Src.Type |
verifier_PAS(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire PAS
|
private ProjetCompil.Global.Src.Type |
verifier_PLACE(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire PLACE
|
private void |
verifier_PROGRAMME(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier l'axiome
|
private ProjetCompil.Global.Src.Type |
verifier_TYPE_INTERVALLE(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire TYPE_INTERVALLE
|
private ProjetCompil.Global.Src.Type |
verifier_TYPE(ProjetCompil.Global.Src.Arbre a)
Permet de vérifier la règle de grammaire TYPE
|
void |
verifierDecorer(ProjetCompil.Global.Src.Arbre a)
Vérifie les contraintes contextuelles du programme correspondant à
l'arbre abstrait a, qui est décoré et enrichi.
|
public void verifierDecorer(ProjetCompil.Global.Src.Arbre a) throws ProjetCompil.Verif.Src.ErreurVerif
ProjetCompil.Verif.Src.ErreurVerif
private void initialiserEnv()
private boolean estFeuille(ProjetCompil.Global.Src.Arbre a)
a
- private void verifier_PROGRAMME(ProjetCompil.Global.Src.Arbre a) throws ProjetCompil.Verif.Src.ErreurVerif
a
- ProjetCompil.Verif.Src.ErreurVerif
- Si l'implémentation de la grammaire est fausseprivate int verifier_CONST_ENT(ProjetCompil.Global.Src.Arbre a) throws ProjetCompil.Verif.Src.ErreurVerif
a
- ProjetCompil.Verif.Src.ErreurVerif
- Si l'implémentation de la grammaire est fausseprivate int verifier_IDENT_CONST(ProjetCompil.Global.Src.Arbre a) throws ProjetCompil.Verif.Src.ErreurVerif
a
- ProjetCompil.Verif.Src.ErreurVerif
- Si l'implémentation de la grammaire est fausseprivate int verifier_CONST(ProjetCompil.Global.Src.Arbre a) throws ProjetCompil.Verif.Src.ErreurVerif
a
- ProjetCompil.Verif.Src.ErreurVerif
- Si l'implémentation de la grammaire est fausseprivate int verifier_CONSTANTE(ProjetCompil.Global.Src.Arbre a) throws ProjetCompil.Verif.Src.ErreurVerif
a
- ProjetCompil.Verif.Src.ErreurVerif
- Si l'implémentation de la grammaire est fausseprivate ProjetCompil.Global.Src.Type verifier_TYPE_INTERVALLE(ProjetCompil.Global.Src.Arbre a) throws ProjetCompil.Verif.Src.ErreurVerif
a
- ProjetCompil.Verif.Src.ErreurVerif
- Si l'implémentation de la grammaire est fausseprivate ProjetCompil.Global.Src.Type verifier_IDENT_TYPE(ProjetCompil.Global.Src.Arbre a) throws ProjetCompil.Verif.Src.ErreurVerif
a
- ProjetCompil.Verif.Src.ErreurVerif
- Si l'implémentation de la grammaire est fausseprivate ProjetCompil.Global.Src.Type verifier_TYPE(ProjetCompil.Global.Src.Arbre a) throws ProjetCompil.Verif.Src.ErreurVerif
a
- ProjetCompil.Verif.Src.ErreurVerif
- Si l'implémentation de la grammaire est fausseprivate void verifier_IDENT_DEF_VAR(ProjetCompil.Global.Src.Arbre a, ProjetCompil.Global.Src.Type type) throws ProjetCompil.Verif.Src.ErreurVerif
a
- type
- Retourne le type de la variableProjetCompil.Verif.Src.ErreurVerif
- Si l'implémentation de la grammaire est fausseprivate void verifier_LIST_IDENT(ProjetCompil.Global.Src.Arbre a, ProjetCompil.Global.Src.Type type) throws ProjetCompil.Verif.Src.ErreurVerif
a
- type
- ProjetCompil.Verif.Src.ErreurVerif
- Si l'implémentation de la grammaire est fausseprivate void verifier_DECL(ProjetCompil.Global.Src.Arbre a) throws ProjetCompil.Verif.Src.ErreurVerif
a
- ProjetCompil.Verif.Src.ErreurVerif
- Si l'implémentation de la grammaire est fausseprivate void verifier_LISTE_DECL(ProjetCompil.Global.Src.Arbre a) throws ProjetCompil.Verif.Src.ErreurVerif
a
- ProjetCompil.Verif.Src.ErreurVerif
- Si l'implémentation de la grammaire est faussevoid verifier_LISTE_INST(ProjetCompil.Global.Src.Arbre a) throws ProjetCompil.Verif.Src.ErreurVerif
a
- ProjetCompil.Verif.Src.ErreurVerif
- Si l'implémentation de la grammaire est fausseprivate ProjetCompil.Global.Src.Type verifier_IDENT_FACTEUR(ProjetCompil.Global.Src.Arbre a) throws ProjetCompil.Verif.Src.ErreurVerif
a
- ProjetCompil.Verif.Src.ErreurVerif
- Si l'implémentation de la grammaire est fausseprivate ProjetCompil.Global.Src.Type verifier_EXP(ProjetCompil.Global.Src.Arbre a) throws ProjetCompil.Verif.Src.ErreurVerif
a
- ProjetCompil.Verif.Src.ErreurVerif
- Si l'implémentation de la grammaire est fausseprivate ProjetCompil.Global.Src.Type verifier_IDENT_PLACE(ProjetCompil.Global.Src.Arbre a) throws ProjetCompil.Verif.Src.ErreurVerif
a
- ProjetCompil.Verif.Src.ErreurVerif
- Si l'implémentation de la grammaire est fausseprivate ProjetCompil.Global.Src.Type verifier_PLACE(ProjetCompil.Global.Src.Arbre a) throws ProjetCompil.Verif.Src.ErreurVerif
a
- ProjetCompil.Verif.Src.ErreurVerif
- Si l'implémentation de la grammaire est fausseprivate ProjetCompil.Global.Src.Type verifier_PAS(ProjetCompil.Global.Src.Arbre a) throws ProjetCompil.Verif.Src.ErreurVerif
a
- ProjetCompil.Verif.Src.ErreurVerif
- Si l'implémentation de la grammaire est fausseprivate void verifier_LISTE_EXP(ProjetCompil.Global.Src.Arbre a) throws ProjetCompil.Verif.Src.ErreurVerif
a
- ProjetCompil.Verif.Src.ErreurVerif
- Si l'implémentation de la grammaire est fausseprivate void verifier_INST(ProjetCompil.Global.Src.Arbre a) throws ProjetCompil.Verif.Src.ErreurVerif
a
- ProjetCompil.Verif.Src.ErreurVerif
- Si l'implémentation de la grammaire est fausseprivate void decoreBinaire(ProjetCompil.Verif.Src.ResultatBinaireCompatible compBin, ProjetCompil.Global.Src.Arbre a, ProjetCompil.Global.Src.Type t1, ProjetCompil.Global.Src.Type t2)
compBin
- Résultat de la comparaison binairea
- Position dans l'arbret1
- Type du membre de gauchet2
- Type du membre de droite