public class ConvertisseurTexteMixte extends ConvertisseurTexte
cible, DTD, nbCars, nbMots, nbPhrases, source, tempsExecutionespace, ponctuationDebut, ponctuationFin, sourceEncoding| Constructor | 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 | Description |
|---|---|---|
boolean |
convertir(GestionnaireErreur gest) |
Redéfinition de
ConvertisseurTexte.convertir(GestionnaireErreur) |
donneTempsExecution, setCible, setDTD, setSourceligneLit, setSourceEncodingpublic 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