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.
|
Modifier and Type | Method and Description |
---|---|
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.
|
Modifier and Type | Class and Description |
---|---|
class |
DefaultParser
Default implementation of the Parser interface.
|
Modifier and Type | Method and Description |
---|---|
void |
PECanvas.insert(java.io.Reader reader,
Parser parser)
insert content from a reader into the current drawing
|
void |
PECanvas.read(java.io.Reader reader,
Parser parser)
read drawing content from a reader and erase old one.
|
Modifier and Type | Class and Description |
---|---|
class |
JPICParser
An implementation of the Parser interface dedicated to parsing JPIC-XML files.
|
Modifier and Type | Method and Description |
---|---|
Parser |
JPICParser.getFallbackParser()
Returns the Parser that'll be called when JPIC-XML parsing fails.
|
Modifier and Type | Method and Description |
---|---|
void |
JPICParser.setFallbackParser(Parser fallback)
set the Parser that'll be called when JPIC-XML parsing fails.
|
Modifier and Type | Method and Description |
---|---|
void |
PEDrawingBoard.insert(java.lang.String path,
Parser parser)
Insert new content from the given path into this board's drawing
|
void |
PEDrawingBoard.load(java.lang.String path,
Parser parser)
Load this board's content from the given path
|
void |
PEDrawingBoard.reload(Parser parser)
Reload the content of this board from its current file name if applicable ; do nothing otherwise.
|
Constructor and 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.
|
Submit a bug : syd@jpicedt.org