nat.convertisseur
Class ConvertisseurTexteXML

java.lang.Object
  extended by nat.convertisseur.Convertisseur
      extended by nat.convertisseur.ConvertisseurTexte
          extended by nat.convertisseur.ConvertisseurTexteXML

public class ConvertisseurTexteXML
extends ConvertisseurTexte

Convertit un fichier texte contenant du MathMl au format interne, en utilisant l'API XML de java et pas l'API d'écriture de fichier comme dans ConvertisseurTexteMixte.

See Also:
ConvertisseurTexteMixte

Field Summary
 
Fields inherited from class nat.convertisseur.ConvertisseurTexte
espace, ponctuationDebut, ponctuationFin, sourceEncoding
 
Fields inherited from class nat.convertisseur.Convertisseur
cible, DTD, nbCars, nbMots, nbPhrases, source, tempsExecution
 
Constructor Summary
ConvertisseurTexteXML(java.lang.String src, java.lang.String tgt)
          Constructeur
ConvertisseurTexteXML(java.lang.String src, java.lang.String tgt, java.lang.String sEncoding)
          Constructeur
 
Method Summary
 boolean convertir(GestionnaireErreur gest)
          Redéfinition de ConvertisseurTexte.convertir(GestionnaireErreur)
protected  void ligneLit(java.lang.String ligne, GestionnaireErreur gest, org.w3c.dom.Element base, org.w3c.dom.Document doc)
          Convertit une ligne au format interne
 
Methods inherited from class nat.convertisseur.ConvertisseurTexte
ligneLit, setSourceEncoding
 
Methods inherited from class nat.convertisseur.Convertisseur
donneTempsExecution, setCible, setDTD, setSource
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ConvertisseurTexteXML

public ConvertisseurTexteXML(java.lang.String src,
                             java.lang.String tgt)
Constructeur

Par défaut, utilise l'encodage UTF-8

Parameters:
src - l'adresse du fichier source
tgt - l'adresse du fichier cible

ConvertisseurTexteXML

public ConvertisseurTexteXML(java.lang.String src,
                             java.lang.String tgt,
                             java.lang.String sEncoding)
Constructeur

Parameters:
src - l'adresse du fichier source
tgt - l'adresse du fichier cible
sEncoding - encodage du fichier source
Method Detail

convertir

public boolean convertir(GestionnaireErreur gest)
Redéfinition de ConvertisseurTexte.convertir(GestionnaireErreur)

Convertit le fichier Convertisseur.source au format intern

Supprime les fils semantics des tags math pour le MathML

Utilise l'API XML de java

Overrides:
convertir in class ConvertisseurTexte
Parameters:
gest - une instance de GestionnaireErreur
Returns:
true si la conversion s'est bien passée, false sinon

ligneLit

protected void ligneLit(java.lang.String ligne,
                        GestionnaireErreur gest,
                        org.w3c.dom.Element base,
                        org.w3c.dom.Document doc)
Convertit une ligne au format interne

Parameters:
ligne - la ligne à convertir
gest - une instance de GestionnaireErreur
base - la racine du document cible
doc - le document cible