public class ConvertisseurTexteMixte extends ConvertisseurTexte
espace, ponctuationDebut, ponctuationFin, sourceEncodingcible, 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, setSourceEncodingdonneTempsExecution, setCible, setDTD, setSourcepublic 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 ConvertisseurTextegest - une instance de GestionnaireErreur