|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectfr.inria.oadymppac.widget.SwingWorker
fr.inria.oadymppac.io.FileLoaderThread
fr.inria.oadymppac.io.FasterFileLoaderThread
This class extends the Standard file loader thread using a less generinc but more efficient ContentHandler. The parsing gains efficiency by dividing by 5 (in some cases) the time to parse a file.
Field Summary |
Fields inherited from interface fr.inria.oadymppac.utils.Properties |
logger |
Constructor Summary | |
FasterFileLoaderThread(Properties properties,
java.io.File file)
} /** Constructor |
Method Summary | |
void |
addListener(EventListener listener)
Add an additional listener to process TraceEvent |
Methods inherited from class fr.inria.oadymppac.io.FileLoaderThread |
construct, getProperties, getProperty, isInterrupted, setComplementListener, setControlListener, setHeadListener, setInterrupted, setProperties, setProperty, setProvidableListener, setProvidedListener, setSolverListener |
Methods inherited from class fr.inria.oadymppac.widget.SwingWorker |
finished, get, interrupt, start |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public FasterFileLoaderThread(Properties properties, java.io.File file)
properties
- property tabe to configure the threadfile
- file to parseMethod Detail |
public void addListener(EventListener listener)
addListener
in class FileLoaderThread
FileLoaderThread.addListener(fr.inria.oadymppac.parsing.event.EventListener)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |