fr.inria.oadymppac.io
Class PostMortemInputSource

java.lang.Object
  extended byorg.xml.sax.InputSource
      extended byfr.inria.oadymppac.io.PostMortemInputSource
All Implemented Interfaces:
GenericTraceInputSource

public class PostMortemInputSource
extends org.xml.sax.InputSource
implements GenericTraceInputSource

An implementation of GENTRACP Input source using local files

Author:
raf

Constructor Summary
PostMortemInputSource(java.io.File file)
          Construct a new input source using a File object Handles automaitically compressed/non compressed files
PostMortemInputSource(java.lang.String filename)
          Construct a new input source using a String as filename Handles automaitically compressed/non compressed files
PostMortemInputSource(java.net.URL url)
          Construct a new input source using a URL object Handles automaitically compressed/non compressed files
 
Methods inherited from class org.xml.sax.InputSource
getByteStream, getCharacterStream, getEncoding, getPublicId, getSystemId, setByteStream, setCharacterStream, setEncoding, setPublicId, setSystemId
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PostMortemInputSource

public PostMortemInputSource(java.io.File file)
                      throws java.io.FileNotFoundException,
                             java.io.IOException
Construct a new input source using a File object Handles automaitically compressed/non compressed files

Parameters:
file - The file used as input source
Throws:
java.io.FileNotFoundException - exception if files does not exists
java.io.IOException - I/O error on the give file

PostMortemInputSource

public PostMortemInputSource(java.lang.String filename)
                      throws java.io.FileNotFoundException,
                             java.io.IOException
Construct a new input source using a String as filename Handles automaitically compressed/non compressed files

Throws:
java.io.FileNotFoundException - exception if files does not exists
java.io.IOException - I/O error on the give file

PostMortemInputSource

public PostMortemInputSource(java.net.URL url)
                      throws java.io.FileNotFoundException,
                             java.io.IOException
Construct a new input source using a URL object Handles automaitically compressed/non compressed files

Throws:
java.io.FileNotFoundException - exception if files does not exists
java.io.IOException - I/O error on the give file