Uses of Interface
jpicedt.graphic.io.parser.Parser
-
Packages that use Parser Package Description jpicedt Contains the main JPicEdt class, as well as some utilities.jpicedt.format.input jpicedt.graphic jPicEdt library core classes and packages.jpicedt.graphic.io.parser Contains classes for the JPIC-XML parser.jpicedt.ui Some classes and interfaces that help building concrete implementation of MDIManager's. -
-
Uses of Parser in jpicedt
Methods in jpicedt that return Parser Modifier and Type Method Description static ParserMiscUtilities. createParser()Return a parser dynamically created from the sub-trees found in directory jpicedt.format.*static ParserJPicEdt. getParser()Return the default parser used for parsing standard JPicEdt's formats, ie currently LaTeX, epic/eepic, and PsTricks. -
Uses of Parser in jpicedt.format.input
Classes in jpicedt.format.input that implement Parser Modifier and Type Class Description classDefaultParserDefault implementation of the Parser interface. -
Uses of Parser in jpicedt.graphic
Methods in jpicedt.graphic with parameters of type Parser Modifier and Type Method Description voidPECanvas. insert(java.io.Reader reader, Parser parser)insert content from a reader into the current drawingvoidPECanvas. read(java.io.Reader reader, Parser parser)read drawing content from a reader and erase old one. -
Uses of Parser in jpicedt.graphic.io.parser
Classes in jpicedt.graphic.io.parser that implement Parser Modifier and Type Class Description classJPICParserAn implementation of the Parser interface dedicated to parsing JPIC-XML files.Methods in jpicedt.graphic.io.parser that return Parser Modifier and Type Method Description ParserJPICParser. getFallbackParser()Returns the Parser that'll be called when JPIC-XML parsing fails.Methods in jpicedt.graphic.io.parser with parameters of type Parser Modifier and Type Method Description voidJPICParser. setFallbackParser(Parser fallback)set the Parser that'll be called when JPIC-XML parsing fails. -
Uses of Parser in jpicedt.ui
Methods in jpicedt.ui with parameters of type Parser Modifier and Type Method Description voidPEDrawingBoard. insert(java.lang.String path, Parser parser)Insert new content from the given path into this board's drawingvoidPEDrawingBoard. load(java.lang.String path, Parser parser)Load this board's content from the given pathvoidPEDrawingBoard. reload(Parser parser)Reload the content of this board from its current file name if applicable ; do nothing otherwise.Constructors in jpicedt.ui with parameters of type Parser Constructor Description PEDrawingBoard(java.lang.String path, double zoom, PageFormat pageFormat, Grid grid, ContentType contentType, Parser parser)create a new drawing board pre-loaded from the given path ; set title from this path.PEDrawingBoard(java.lang.String path, java.util.Properties preferences, Parser parser)create a new drawing board pre-loaded from the given path ; set title from this path.
-