|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectbob.elementB.TElementB
bob.composant.TComposant
public class TComposant
La classe TComposant contient les informations générales sur les composants.
Syntaxe B:
"TNatureComposant" TEnteteComp
liste de TClause
"END"
TElementB
Field Summary | |
---|---|
protected java.util.Vector<TClause> |
ClausesComposant
liste des clauses du composant |
protected TNatureComposant |
Elem
nature du composant : machine, raffinement ou implementation |
protected TEnteteComp |
EnteteComposant
entete du composant : nom et paramètres |
Constructor Summary | |
---|---|
TComposant()
constructeurs sans paramètres |
|
TComposant(TNatureComposant el,
TEnteteComp et,
java.util.Vector<TClause> liste)
constructeur initialisant |
Method Summary | |
---|---|
void |
Afficher(java.io.Writer f)
affiche le composant dans un fichier le ficher d'écriture est ouvert par l'appelant |
TComposant |
AplatirSansRenommage(java.lang.String resname)
Méthode d'aplatissement d'un raffinement sans renommage. |
tatibouet.bparser.Noeud |
ConstruireNoeud()
construit un Noeud à partir d'un composant |
static void |
DiviserPredicats(java.util.Vector<TExprIdentificateur> aa,
java.util.Vector<TPredicat> VP,
java.util.Vector<TPredicat> V1,
java.util.Vector<TPredicat> V2)
Cette méthode est utilisée par l'aplatissement sans renommage. |
TClauseAbstractConstants |
DonnerClauseAbstractConstants()
Cet accesseur renvoie la clause ABSTRACT_CONSTANTS. |
TClauseAbstractVariables |
DonnerClauseAbstractVariables()
Cet accesseur renvoie la clause ABSTRACT_VARIABLES. |
TClauseAssertions |
DonnerClauseAssertions()
Cet accesseur renvoie la clause ASSERTIONS. |
TClauseConcreteConstants |
DonnerClauseConcreteConstants()
Cet accesseur renvoie la clause CONCRETE_CONSTANTS. |
TClauseConcreteVariables |
DonnerClauseConcreteVariables()
Cet accesseur renvoie la clause CONCRETE_VARIABLES. |
TClauseConstraints |
DonnerClauseConstraints()
Cet accesseur renvoie la clause CONSTRAINTS. |
TClauseExtends |
DonnerClauseExtends()
Cet accesseur renvoie la clause EXTENDS. |
TClauseImports |
DonnerClauseImports()
Cet accesseur renvoie la clause IMPORTS. |
TClauseIncludes |
DonnerClauseIncludes()
Cet accesseur renvoie la clause INCLUDES. |
TClauseInitialisation |
DonnerClauseInitialisation()
Cet accesseur renvoie la clause INITIALISATION. |
TClauseInvariant |
DonnerClauseInvariant()
Cet accesseur renvoie la clause INVARIANT. |
TClauseOperations |
DonnerClauseOperations()
Cet accesseur renvoie la clause OPERATIONS. |
TClausePromotes |
DonnerClausePromotes()
Cet accesseur renvoie la clause PROMOTES. |
TClauseProperties |
DonnerClauseProperties()
Cet accesseur renvoie la clause PROPERTIES. |
TClauseRefines |
DonnerClauseRefines()
Cet accesseur renvoie la clause REFINES. |
java.util.Vector<TClause> |
DonnerClausesComposant()
sélecteur de la liste des clauses |
TClauseSees |
DonnerClauseSees()
Cet accesseur renvoie la clause SEES. |
TClauseSets |
DonnerClauseSets()
Cet accesseur renvoie la clause SETS. |
TClauseUses |
DonnerClauseUses()
Cet accesseur renvoie la clause USES. |
TClauseValues |
DonnerClauseValues()
Cet accesseur renvoie la clause VALUES. |
TNatureComposant |
DonnerElem()
sélecteur de la nature du composant |
TEnteteComp |
DonnerEnteteComposant()
sélecteur de l'entete du composant |
TElementB |
Dupliquer()
Cette méthode duplique un composant. |
TComposant |
GenererCompPO()
Méthode qui calcule un composant dans lequel les opérations sont remplacées par des assertions correspondant à leur PO. |
TComposant |
Inclure(java.lang.String resname)
Cette méthode procède à la fusion de tous les composants inclus dans un même composant. |
java.util.Vector<TOperation> |
ListeDesAppelables()
Cette methode renvoie la liste des operations appelables lorsqu'on est dans un composant donne. |
java.util.Vector<TOperation> |
ListeDesVisibles(TInstanceComp instance)
Cette methode donne la liste des operations visibles (exportees) d'un composant |
java.util.Vector<TOperation> |
ListeDesVisibles2(TInstanceComp instance)
La même méthode mais n'inclut pas les opérations définies par le composant. |
java.util.Vector<TExprIdentificateur> |
ListeVarVisibles(TExprIdentificateur renommage)
Renvoie la liste des variables visibles dans le corps des opérations. |
TComposant |
Normaliser()
Cette methode normalise un composant, c'est a dire qu'elle met les clauses dans l'ordre conventionnel : celui employe par l'atelier B. |
void |
RangerClausesComposant(java.util.Vector<TClause> x)
initialisation des clauses du composant |
void |
RangerElem(TNatureComposant x)
initialisation de la nature du composant |
void |
RangerEnteteComposant(TEnteteComp x)
initialisation de l'entete du composant |
Methods inherited from class bob.elementB.TElementB |
---|
Afficher, ListeDesNomsLibres, Remplacer, RemplacerMultiple |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected TNatureComposant Elem
protected TEnteteComp EnteteComposant
protected java.util.Vector<TClause> ClausesComposant
Constructor Detail |
---|
public TComposant()
public TComposant(TNatureComposant el, TEnteteComp et, java.util.Vector<TClause> liste)
Method Detail |
---|
public void RangerElem(TNatureComposant x)
public void RangerEnteteComposant(TEnteteComp x)
public void RangerClausesComposant(java.util.Vector<TClause> x)
public TNatureComposant DonnerElem()
public TEnteteComp DonnerEnteteComposant()
public java.util.Vector<TClause> DonnerClausesComposant()
public TClauseConstraints DonnerClauseConstraints()
public TClauseRefines DonnerClauseRefines()
public TClauseIncludes DonnerClauseIncludes()
public TClauseUses DonnerClauseUses()
public TClauseImports DonnerClauseImports()
public TClauseExtends DonnerClauseExtends()
public TClausePromotes DonnerClausePromotes()
public TClauseOperations DonnerClauseOperations()
public TClauseSees DonnerClauseSees()
public TClauseSets DonnerClauseSets()
public TClauseValues DonnerClauseValues()
public TClauseAssertions DonnerClauseAssertions()
public TClauseInitialisation DonnerClauseInitialisation()
public TClauseProperties DonnerClauseProperties()
public TClauseInvariant DonnerClauseInvariant()
public TClauseAbstractVariables DonnerClauseAbstractVariables()
public TClauseConcreteVariables DonnerClauseConcreteVariables()
public TClauseConcreteConstants DonnerClauseConcreteConstants()
public TClauseAbstractConstants DonnerClauseAbstractConstants()
public TComposant Normaliser()
public java.util.Vector<TExprIdentificateur> ListeVarVisibles(TExprIdentificateur renommage)
public java.util.Vector<TOperation> ListeDesVisibles(TInstanceComp instance)
instance
- TInstanceComp qui fournit le renommage éventuel à
effectuer (usage récursif interne). public java.util.Vector<TOperation> ListeDesVisibles2(TInstanceComp instance)
instance
- TInstanceComp qui fournit le renommage éventuel à
effectuer (usage récursif interne). public java.util.Vector<TOperation> ListeDesAppelables()
public TElementB Dupliquer()
Dupliquer
in class TElementB
public TComposant Inclure(java.lang.String resname)
resname
- le nom du composant résultat (String).
public static void DiviserPredicats(java.util.Vector<TExprIdentificateur> aa, java.util.Vector<TPredicat> VP, java.util.Vector<TPredicat> V1, java.util.Vector<TPredicat> V2)
aa
- vecteur d'identificateursVP
- vecteur de prédicats à diviserV1
- vecteur de prédicats résultatV2
- vecteur de prédicats résultatpublic TComposant AplatirSansRenommage(java.lang.String resname)
resname
- le nom de la machine résultat.
public TComposant GenererCompPO()
public void Afficher(java.io.Writer f) throws java.io.IOException, java.io.FileNotFoundException
Afficher
in class TElementB
f
- Flux de sortie: fichier de type FileWriter
ou terminal(new PrintWriter(System.out)).
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 |