Package nat.convertisseur

Class ConvertisseurTexteXML

java.lang.Object

nat.convertisseur.Convertisseur

nat.convertisseur.ConvertisseurTexte

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

Constructors

Constructor	Description
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

Modifier and Type	Method	Description
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