|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectbob.elementB.TElementB
bob.substitution.TSubstitution
bob.substitution.TElsif
public class TElsif
La classe TElsif contient les informations sur une alternative introduite par le mot-clé ELSIF (ou ELSE). Partie variable de la substitution IF (classe TSubCondition).
TElementB
,
TSubCondition
,
TPredicat
,
TSubstitution
Field Summary |
---|
Fields inherited from class bob.substitution.TSubstitution |
---|
Primitive |
Constructor Summary | |
---|---|
TElsif(TPredicat p,
TSubstitution s)
Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur. |
Method Summary | |
---|---|
void |
Afficher(java.io.Writer flux_sortie)
Affiche l'alternative d'une condition. |
void |
Afficher(java.io.Writer flux_sortie,
int niveau)
Affiche l'alternative d'une condition avec presentation. |
tatibouet.bparser.Noeud |
ConstruireNoeud()
Construit le Noeud Tatibouet. |
TElsif |
Convertir(TElsif else_if)
Convertit un ELSIF P THEN S en ELSE (IF P THEN S ELSE T END). |
TPredicat |
DonnerPredicat()
Donne le prédicat d'une alternative introduit par le mot-clé ELSIF. |
TSubstitution |
DonnerThen()
Donne le corps d'une alternative introduit par le mot-clé THEN (ou ELSE). |
TElementB |
Dupliquer()
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur |
boolean |
EstSubMachine()
Teste si l'assertion est une substitution de machine |
java.util.Vector<TExprIdentificateur> |
ListeDesNomsLibres()
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution. |
TElementB |
Remplacer(TExprIdentificateur Id,
TExpression e)
Remplace un identificateur non libre dans l'élément B courant par une expression donnee. |
TSubstitution |
RemplacerAppelOp()
Remplacement de l'appel d'opération Auteur: Olivier BERT |
TSubstitution |
Simplifier()
Simplification d'un elsif (remontée des préconditions). |
TSubstitution |
TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv,
java.util.Vector<TPredicat> PP)
Aplatissement pour traiter AssertSansRenommage Auteur Didier BERT |
Methods inherited from class bob.substitution.TSubstitution |
---|
CalculerGarde, CalculerTermin, CalculerWP, Convertir, EstPrimitive |
Methods inherited from class bob.elementB.TElementB |
---|
RemplacerMultiple |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public TElsif(TPredicat p, TSubstitution s)
p
- Prédicat introduit par le mot-clé ELSIF.s
- Subsitution introduite par le mot-clé THEN.Method Detail |
---|
public TPredicat DonnerPredicat()
public TSubstitution DonnerThen()
public TElementB Dupliquer()
Dupliquer
in class TElementB
public TSubstitution RemplacerAppelOp()
RemplacerAppelOp
in class TSubstitution
public TSubstitution TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
TraiterAssertSansRenommage
in class TSubstitution
public TSubstitution Simplifier()
Simplifier
in class TSubstitution
TSubPrecondition
public boolean EstSubMachine()
EstSubMachine
in class TSubstitution
public java.util.Vector<TExprIdentificateur> ListeDesNomsLibres()
ListeDesNomsLibres
in class TElementB
public TElementB Remplacer(TExprIdentificateur Id, TExpression e)
Remplacer
in class TElementB
Id
- l'identificateur a remplacere
- la nouvelle expression
public TElsif Convertir(TElsif else_if)
else_if
- Clause ELSIF déjà convertie.
C'est l'élément suivant le ELSIF courant (this) lorsque les
deux font partie d'une liste. Si ce paramètre vaut null, alors le ELSIF
courant est le dernier de la liste.
public void Afficher(java.io.Writer flux_sortie) throws java.io.IOException, java.io.FileNotFoundException
Afficher
in class TElementB
flux_sortie
- Flux de sortie: fichier de type FileWriter ou terminal(new PrintWriter(System.out)).
java.io.IOException
java.io.FileNotFoundException
public void Afficher(java.io.Writer flux_sortie, int niveau) throws java.io.IOException, java.io.FileNotFoundException
Afficher
in class TElementB
flux_sortie
- Flux de sortie: fichier de type FileWriter ou terminal(new PrintWriter(System.out)).niveau
- : un entier qui indique le niveau de tabulation.
java.io.IOException
java.io.FileNotFoundException
public tatibouet.bparser.Noeud ConstruireNoeud()
ConstruireNoeud
in class TElementB
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |