Package nat.convertisseur
Class ConvertisseurTexteXML
- java.lang.Object
-
- nat.convertisseur.Convertisseur
-
- nat.convertisseur.ConvertisseurTexte
-
- nat.convertisseur.ConvertisseurTexteXML
-
public class ConvertisseurTexteXML extends ConvertisseurTexte
Convertit un fichier texte contenant du MathMl au format interne, en utilisant l'API XML de java et pas l'API d'écriture de fichier comme dansConvertisseurTexteMixte
.- See Also:
ConvertisseurTexteMixte
-
-
Field Summary
-
Fields inherited from class nat.convertisseur.ConvertisseurTexte
espace, ponctuationDebut, ponctuationFin, sourceEncoding
-
Fields inherited from class nat.convertisseur.Convertisseur
cible, DTD, nbCars, nbMots, nbPhrases, source, tempsExecution
-
-
Constructor Summary
Constructors Constructor Description ConvertisseurTexteXML(java.lang.String src, java.lang.String tgt)
ConstructeurConvertisseurTexteXML(java.lang.String src, java.lang.String tgt, java.lang.String sEncoding)
Constructeur
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
convertir(GestionnaireErreur gest)
Redéfinition deConvertisseurTexte.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-
Methods inherited from class nat.convertisseur.ConvertisseurTexte
ligneLit, setSourceEncoding
-
Methods inherited from class nat.convertisseur.Convertisseur
donneTempsExecution, setCible, setDTD, setSource
-
-
-
-
Constructor Detail
-
ConvertisseurTexteXML
public ConvertisseurTexteXML(java.lang.String src, java.lang.String tgt)
ConstructeurPar défaut, utilise l'encodage UTF-8
- Parameters:
src
- l'adresse du fichier sourcetgt
- l'adresse du fichier cible
-
ConvertisseurTexteXML
public ConvertisseurTexteXML(java.lang.String src, java.lang.String tgt, java.lang.String sEncoding)
Constructeur- Parameters:
src
- l'adresse du fichier sourcetgt
- l'adresse du fichier ciblesEncoding
- encodage du fichier source
-
-
Method Detail
-
convertir
public boolean convertir(GestionnaireErreur gest)
Redéfinition deConvertisseurTexte.convertir(GestionnaireErreur)
Convertit le fichier
Convertisseur.source
au format internSupprime les fils semantics des tags
math
pour le MathMLUtilise l'API XML de java
- Overrides:
convertir
in classConvertisseurTexte
- Parameters:
gest
- une instance deGestionnaireErreur
- Returns:
- true si la conversion s'est bien passée, false sinon
-
ligneLit
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- Parameters:
ligne
- la ligne à convertirgest
- une instance deGestionnaireErreur
base
- la racine du document cibledoc
- le document cible
-
-