public class ConvertisseurTexteMixte extends ConvertisseurTexte
espace, ponctuationDebut, ponctuationFin, sourceEncoding
cible, DTD, nbCars, nbMots, nbPhrases, source, tempsExecution
Constructor and Description |
---|
ConvertisseurTexteMixte(java.lang.String src,
java.lang.String tgt)
Constructeur
|
ConvertisseurTexteMixte(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) |
ligneLit, setSourceEncoding
donneTempsExecution, setCible, setDTD, setSource
public ConvertisseurTexteMixte(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 ConvertisseurTexteMixte(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 interne
Supprime les fils semantics des tags math
pour le MathML
convertir
in class ConvertisseurTexte
gest
- une instance de GestionnaireErreur