fr.inria.oadymppac.io
Class FasterFileLoaderThread

java.lang.Object
  extended byfr.inria.oadymppac.widget.SwingWorker
      extended byfr.inria.oadymppac.io.FileLoaderThread
          extended byfr.inria.oadymppac.io.FasterFileLoaderThread
All Implemented Interfaces:
Properties

public class FasterFileLoaderThread
extends FileLoaderThread

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.

Author:
raf

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

FasterFileLoaderThread

public FasterFileLoaderThread(Properties properties,
                              java.io.File file)
} /** Constructor

Parameters:
properties - property tabe to configure the thread
file - file to parse
Method Detail

addListener

public void addListener(EventListener listener)
Add an additional listener to process TraceEvent

Overrides:
addListener in class FileLoaderThread
See Also:
FileLoaderThread.addListener(fr.inria.oadymppac.parsing.event.EventListener)