|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Parser | |
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 | |
static Parser |
MiscUtilities.createParser()
Return a parser dynamically created from the sub-trees found in directory jpicedt.format.* |
static Parser |
JPicEdt.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 | |
class |
DefaultParser
Default implementation of the Parser interface. |
Uses of Parser in jpicedt.graphic |
Methods in jpicedt.graphic with parameters of type Parser | |
void |
PECanvas.read(Reader reader,
Parser parser)
read drawing content from a reader and erase old one. |
void |
PECanvas.insert(Reader reader,
Parser parser)
insert content from a reader into the current drawing |
Uses of Parser in jpicedt.graphic.io.parser |
Classes in jpicedt.graphic.io.parser that implement Parser | |
class |
JPICParser
An implementation of the Parser interface dedicated to parsing JPIC-XML files. |
Methods in jpicedt.graphic.io.parser that return Parser | |
Parser |
JPICParser.getFallbackParser()
Returns the Parser that'll be called when JPIC-XML parsing fails. |
Methods in jpicedt.graphic.io.parser with parameters of type Parser | |
void |
JPICParser.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 | |
void |
PEDrawingBoard.load(String path,
Parser parser)
Load this board's content from the given path |
void |
PEDrawingBoard.insert(String path,
Parser parser)
Insert new content from the given path into this board's drawing |
void |
PEDrawingBoard.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 | |
PEDrawingBoard(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(String path,
Properties preferences,
Parser parser)
create a new drawing board pre-loaded from the given path ; set title from this path. |
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |