|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TNatureComposant | |
---|---|
bob.composant | Provides classes to represent internal B components. |
bob.constantes | Provides classes to represent constants in the B components - like the operators -. |
Uses of TNatureComposant in bob.composant |
---|
Fields in bob.composant declared as TNatureComposant | |
---|---|
protected TNatureComposant |
TComposant.Elem
nature du composant : machine, raffinement ou implementation |
Methods in bob.composant that return TNatureComposant | |
---|---|
TNatureComposant |
TComposant.DonnerElem()
sélecteur de la nature du composant |
Methods in bob.composant with parameters of type TNatureComposant | |
---|---|
void |
TComposant.RangerElem(TNatureComposant x)
initialisation de la nature du composant |
Constructors in bob.composant with parameters of type TNatureComposant | |
---|---|
TComposant(TNatureComposant el,
TEnteteComp et,
java.util.Vector<TClause> liste)
constructeur initialisant |
Uses of TNatureComposant in bob.constantes |
---|
Fields in bob.constantes declared as TNatureComposant | |
---|---|
static TNatureComposant |
TNatureComposant.IMPLEMENTATION
|
static TNatureComposant |
TNatureComposant.MACHINE
|
static TNatureComposant |
TNatureComposant.REFINEMENT
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |