jpicedt.graphic.io.parser
Class JPICXmlFormatExtractor

java.lang.Object
  jpicedt.graphic.io.parser.JPICXmlExtractor
      jpicedt.graphic.io.parser.JPICXmlFormatExtractor

All Implemented Interfaces:

CodedContentExtraction, JPICXmlExtraction

Direct Known Subclasses:

DXFJPICXmlExtractor, NakedJPICXmlExtractor, OpenLaTeXJPICXmlExtractor, TeXJPICXmlExtractor

public class JPICXmlFormatExtractor
extends JPICXmlExtractor
implements JPICXmlExtraction

Cette classe permet d'extraire le JPIC-XML enfoui dans un fichier de sauvegarde jPicEdt dont le format est connu (ou supposé l'être), et tel que l'enfouissement utilise un méthode générique consistant à mettre le code JPIC-XML en commentaire, avec chaque commentaire délimité par une marque de départ et une marque de fin ligne par ligne.

Since:

jPicEdt 1.6

Author:

Vincent Belaïche

Nested Class Summary

Nested classes/interfaces inherited from interface jpicedt.graphic.io.parser.JPICXmlExtraction

JPICXmlExtraction.ExtractedXml

Nested classes/interfaces inherited from interface jpicedt.graphic.io.parser.CodedContentExtraction

CodedContentExtraction.ExtractedCodedContent

Field Summary

Fields inherited from interface jpicedt.graphic.io.parser.JPICXmlExtraction

USER_START_MARK_REGEXP, XML_BEGIN_MARK_REGEXP, XML_END_MARK_REGEXP, XML_HEAD_MARK_FORMAT_GROUP, XML_HEAD_MARK_REGEXP, XML_HEAD_MARK_VERSION_GROUP

Constructor Summary

JPICXmlFormatExtractor(String formatName, String startCommentRegexp, String endCommentRegexp, boolean isCommentedXml, int lineCountPerMetaLine)

Method Summary

JPICXmlExtraction.ExtractedXml

extractXml(String inputString) Extrait le code JPIC-XML enfoui, s'il en est, dans un fichier au format TeX.

Methods inherited from class jpicedt.graphic.io.parser.JPICXmlExtractor

extractCodedContent, getParser

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface jpicedt.graphic.io.parser.CodedContentExtraction

extractCodedContent, getParser

Constructor Detail

JPICXmlFormatExtractor

public JPICXmlFormatExtractor(String formatName,
                              String startCommentRegexp,
                              String endCommentRegexp,
                              boolean isCommentedXml,
                              int lineCountPerMetaLine)

Parameters:

formatName - nom du format tel qu'il apparaît dans la ligne "Created by …"

startCommentRegexp - expression rationnelle marquant le début d'un commentaire.

endCommentRegexp - expression rationnelle marquant la fin d'un commentaire.

isCommentedXml - true si le code JPIC-XML apparaît en commentaire dans le fichier, où les commentaires sont selon le format correspondant à l'extracteur implantant l'interface.

lineCountPerMetaLine - le fichier est découpé en méta-ligne, chaque méta ligne étant bloc de lineCountPerMetaLine lignes.

Since:

jPicEdt 1.6

Method Detail

extractXml

public JPICXmlExtraction.ExtractedXml extractXml(String inputString)

Extrait le code JPIC-XML enfoui, s'il en est, dans un fichier au format TeX.

Specified by:

extractXml in interface JPICXmlExtraction

Parameters:

inputString - tampon contenant le fichier où chercher le code JPIC-XML enfoui.

Returns:

null si pas de JPIC-XML trouvé, un descripteur ExtractedXml du fichier sinon.

Since:

jPicEdt 1.6