|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TElsif | |
---|---|
bob.substitution | Provides classes to represent B substitutions. |
Uses of TElsif in bob.substitution |
---|
Methods in bob.substitution that return TElsif | |
---|---|
TElsif |
TElsif.Convertir(TElsif else_if)
Convertit un ELSIF P THEN S en ELSE (IF P THEN S ELSE T END). |
Methods in bob.substitution that return types with arguments of type TElsif | |
---|---|
java.util.Vector<TElsif> |
TSubCondition.DonnerElsif()
Donne la liste des alternatives "ELSIF". |
Methods in bob.substitution with parameters of type TElsif | |
---|---|
TElsif |
TElsif.Convertir(TElsif else_if)
Convertit un ELSIF P THEN S en ELSE (IF P THEN S ELSE T END). |
Constructor parameters in bob.substitution with type arguments of type TElsif | |
---|---|
TSubCondition(TPredicat p,
TSubstitution s,
java.util.Vector<TElsif> liste_elsif)
Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |