bob.composant
Class TDefinition

java.lang.Object
  extended by bob.composant.TDefinition

public class TDefinition
extends java.lang.Object

La classe TDefinition contient les informations relatives à une definition.

Syntaxe B:

TEnteteDef==TElementB

Version:
1.0 du 25/07/2001
Author:
Aymeric CALLENDRIER
See Also:
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

TDefinition

public TDefinition()
constructeur non initialisant


TDefinition

public TDefinition(TEnteteDef entete_def,
                   TSubstitution corps_def)
constructeur initialisant de substitution


TDefinition

public TDefinition(TEnteteDef entete_def,
                   TPredicat corps_def)
constructeur initialisant de predicat


TDefinition

public TDefinition(TEnteteDef entete_def,
                   TExpression corps_def)
constructeur initialisant d'expression

Method Detail

RangerEnteteDefinition

public void RangerEnteteDefinition(TEnteteDef x)
initialisation de l'attribut EnteteDefinition


RangerCorpsDefinition

public void RangerCorpsDefinition(TElementB x)
initialisation de l'attribut CorpsDefinition


DonnerEnteteDefinition

public TEnteteDef DonnerEnteteDefinition()
Returns:
une entete

DonnerCorpsDefinition

public TElementB DonnerCorpsDefinition()
Returns:
une substitution ou une expression ou un prédicat

Afficher

public void Afficher(java.io.Writer f)
              throws java.io.IOException,
                     java.io.FileNotFoundException
affiche une définition

Throws:
java.io.IOException
java.io.FileNotFoundException

ConstruireNoeud

public tatibouet.bparser.Noeud ConstruireNoeud()
Returns:
Noeud


Copyright OB.