|
||||||||||
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.TSubSelection
public class TSubSelection
La classe TSubSelection contient les informations sur les sélections.
Si elle contient au moins une clause WHEN,
alors c'est une substitution non primitive.
Sinon, il s'agit d'une substitution primitive.
Syntaxe B:
SELECT TPredicat THEN
TSubstitution
[WHEN TWhen THEN
TSubstitution]
[ELSE
TSubstitution]
END
TSubstitution
,
TPredicat
,
TWhen
Field Summary |
---|
Fields inherited from class bob.substitution.TSubstitution |
---|
Primitive |
Constructor Summary | |
---|---|
TSubSelection(TPredicat p,
TSubstitution s,
java.util.Vector<TWhen> w)
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 une sélection. |
void |
Afficher(java.io.Writer flux_sortie,
int niveau)
Affiche une sélection avec presentation. |
TPredicat |
CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [P==>S]R pour une sélection simple. |
tatibouet.bparser.Noeud |
ConstruireNoeud()
Construit un Noeud Tatibouet à partir d'une sélection. |
TSubstitution |
Convertir()
Convertit la substitution incluse dans la sélection si cette dernière est primitive ou convertie la sélection en choix borné si elle est non primitive. |
TPredicat |
DonnerSelect()
Donne le prédicat d'une sélection. |
TSubstitution |
DonnerThen()
Donne le corps d'une sélection. |
java.util.Vector<TWhen> |
DonnerWhen()
Donne la liste des alternatives d'une sélection. |
TElementB |
Dupliquer()
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur. |
boolean |
EstSubMachine()
Teste si le SELECT 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()
Remplace les appels d'opération. |
TSubstitution |
Simplifier()
Simplifie la substitution. |
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, 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 TSubSelection(TPredicat p, TSubstitution s, java.util.Vector<TWhen> w)
p
- Prédicat introduit par lle mot-clé SELECT.s
- Subsitution introduite par le mot-clé THEN.w
- Liste alternatives d'une sélection (mettre null pour
initialiser une sélection primitive).Method Detail |
---|
public TPredicat DonnerSelect()
public TSubstitution DonnerThen()
public java.util.Vector<TWhen> DonnerWhen()
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 TSubstitution Convertir()
Convertir
in class TSubstitution
public TPredicat CalculerWP(TPredicat post_cond)
CalculerWP
in class TSubstitution
post_cond
- Postcondition vérifiée après la fin de la
substitution "sélection".
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 |