|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectbob.composant.TDefinition
public class TDefinition
La classe TDefinition contient les informations relatives à une definition.
Syntaxe B:
TEnteteDef==TElementB
TClauseDefinitions
Constructor Summary | |
---|---|
TDefinition()
constructeur non initialisant |
|
TDefinition(TEnteteDef entete_def,
TExpression corps_def)
constructeur initialisant d'expression |
|
TDefinition(TEnteteDef entete_def,
TPredicat corps_def)
constructeur initialisant de predicat |
|
TDefinition(TEnteteDef entete_def,
TSubstitution corps_def)
constructeur initialisant de substitution |
Method Summary | |
---|---|
void |
Afficher(java.io.Writer f)
affiche une définition |
tatibouet.bparser.Noeud |
ConstruireNoeud()
|
TElementB |
DonnerCorpsDefinition()
|
TEnteteDef |
DonnerEnteteDefinition()
|
void |
RangerCorpsDefinition(TElementB x)
initialisation de l'attribut CorpsDefinition |
void |
RangerEnteteDefinition(TEnteteDef x)
initialisation de l'attribut EnteteDefinition |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public TDefinition()
public TDefinition(TEnteteDef entete_def, TSubstitution corps_def)
public TDefinition(TEnteteDef entete_def, TPredicat corps_def)
public TDefinition(TEnteteDef entete_def, TExpression corps_def)
Method Detail |
---|
public void RangerEnteteDefinition(TEnteteDef x)
public void RangerCorpsDefinition(TElementB x)
public TEnteteDef DonnerEnteteDefinition()
public TElementB DonnerCorpsDefinition()
public void Afficher(java.io.Writer f) throws java.io.IOException, java.io.FileNotFoundException
java.io.IOException
java.io.FileNotFoundException
public tatibouet.bparser.Noeud ConstruireNoeud()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |