jpicedt.format.input.util
Class TeXJPICXmlExtractor

java.lang.Object
  jpicedt.graphic.io.parser.JPICXmlExtractor
      jpicedt.graphic.io.parser.JPICXmlFormatExtractor
          jpicedt.format.input.util.TeXJPICXmlExtractor

All Implemented Interfaces:

CodedContentExtraction, JPICXmlExtraction

public class TeXJPICXmlExtractor
extends JPICXmlFormatExtractor

Cette classe permet d'extraire le code JPIC-XML enfoui dans un fichier au format de sauvegarde TeX.

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

TeXJPICXmlExtractor()

Method Summary

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

extractXml

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

TeXJPICXmlExtractor

public TeXJPICXmlExtractor()