public class ConvertisseurTexteXML extends ConvertisseurTexte
ConvertisseurTexteMixte
.ConvertisseurTexteMixte
cible, DTD, nbCars, nbMots, nbPhrases, source, tempsExecution
espace, ponctuationDebut, ponctuationFin, sourceEncoding
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
|
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
|
donneTempsExecution, setCible, setDTD, setSource
ligneLit, setSourceEncoding
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