|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.xml.sax.InputSource
fr.inria.oadymppac.io.PostMortemInputSource
An implementation of GENTRACP Input source using local files
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 |
public PostMortemInputSource(java.io.File file) throws java.io.FileNotFoundException, java.io.IOException
file
- The file used as input source
java.io.FileNotFoundException
- exception if files does not exists
java.io.IOException
- I/O error on the give filepublic PostMortemInputSource(java.lang.String filename) throws java.io.FileNotFoundException, java.io.IOException
java.io.FileNotFoundException
- exception if files does not exists
java.io.IOException
- I/O error on the give filepublic PostMortemInputSource(java.net.URL url) throws java.io.FileNotFoundException, java.io.IOException
java.io.FileNotFoundException
- exception if files does not exists
java.io.IOException
- I/O error on the give file
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |