public class ConvertisseurTexteXML extends ConvertisseurTexte
ConvertisseurTexteMixte
.ConvertisseurTexteMixte
espace, ponctuationDebut, ponctuationFin, sourceEncoding
cible, DTD, nbCars, nbMots, nbPhrases, source, tempsExecution
Constructor and 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
|
Modifier and Type | Method and 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
|
ligneLit, setSourceEncoding
donneTempsExecution, setCible, setDTD, setSource
public ConvertisseurTexteXML(java.lang.String src, java.lang.String tgt)
Par défaut, utilise l'encodage UTF-8
src
- l'adresse du fichier sourcetgt
- l'adresse du fichier ciblepublic ConvertisseurTexteXML(java.lang.String src, java.lang.String tgt, java.lang.String sEncoding)
src
- l'adresse du fichier sourcetgt
- l'adresse du fichier ciblesEncoding
- encodage du fichier sourcepublic boolean convertir(GestionnaireErreur gest)
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
convertir
in class ConvertisseurTexte
gest
- une instance de GestionnaireErreur
protected void ligneLit(java.lang.String ligne, GestionnaireErreur gest, org.w3c.dom.Element base, org.w3c.dom.Document doc)
ligne
- la ligne à convertirgest
- une instance de GestionnaireErreur
base
- la racine du document cibledoc
- le document cible