bob.constantes
Class TOpRelation

java.lang.Object
  extended by bob.constantes.TOperateur
      extended by bob.constantes.TOpBinaire
          extended by bob.constantes.TOpRelation

public class TOpRelation
extends TOpBinaire

La classe TOpRelation contient les informations sur les opérateurs s'appliquant sur les relations.

Version:
1.0 du 13/06/2001
Author:
Frédéric Chatel
See Also:
TOpBinaire, TExprOpBinaire

Field Summary
static TOpRelation ENSEMBLE
          Ensemble de relations (<->)
static TOpRelation IMAGE
          Image d'une relation (_[_])
static TOpRelation PROD_DIRECT
          Opérateur "produit direct de relations" (><)
static TOpRelation PROD_PARALLELE
          Opérateur "produit parallèle de relations" (||)
static TOpRelation RESTRICT_CODOM
          Opérateur "restriction de codomaine" (|>)
static TOpRelation RESTRICT_DOM
          Opérateur "restriction de domaine" (<|)
static TOpRelation SEQUENCE
          Opérateur "séquencement de relations" (;)
static TOpRelation SOUSTRACT_CODOM
          Opérateur "soustraction de codomaine" (|>>)
static TOpRelation SOUSTRACT_DOM
          Opérateur "soustraction de domaine" (<<|)
static TOpRelation SURCHARGE
          Opérateur "surcharge" (<+)
 
Constructor Summary
TOpRelation()
           
 
Method Summary
 void Afficher(java.io.Writer flux_sortie)
          Affiche un opérateur de relation.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

ENSEMBLE

public static final TOpRelation ENSEMBLE
Ensemble de relations (<->)


IMAGE

public static final TOpRelation IMAGE
Image d'une relation (_[_])


SEQUENCE

public static final TOpRelation SEQUENCE
Opérateur "séquencement de relations" (;)


PROD_DIRECT

public static final TOpRelation PROD_DIRECT
Opérateur "produit direct de relations" (><)


PROD_PARALLELE

public static final TOpRelation PROD_PARALLELE
Opérateur "produit parallèle de relations" (||)


RESTRICT_DOM

public static final TOpRelation RESTRICT_DOM
Opérateur "restriction de domaine" (<|)


SOUSTRACT_DOM

public static final TOpRelation SOUSTRACT_DOM
Opérateur "soustraction de domaine" (<<|)


RESTRICT_CODOM

public static final TOpRelation RESTRICT_CODOM
Opérateur "restriction de codomaine" (|>)


SOUSTRACT_CODOM

public static final TOpRelation SOUSTRACT_CODOM
Opérateur "soustraction de codomaine" (|>>)


SURCHARGE

public static final TOpRelation SURCHARGE
Opérateur "surcharge" (<+)

Constructor Detail

TOpRelation

public TOpRelation()
Method Detail

Afficher

public void Afficher(java.io.Writer flux_sortie)
              throws java.io.IOException,
                     java.io.FileNotFoundException
Affiche un opérateur de relation.

Overrides:
Afficher in class TOperateur
Parameters:
flux_sortie - Flux de sortie: fichier de type FileWriter ou terminal(new PrintWriter(System.out)).
Throws:
java.io.IOException
java.io.FileNotFoundException


Copyright OB.