org.kohsuke.gzipxml
Class GZipStreamSource

java.lang.Object
  |
  +--javax.xml.transform.stream.StreamSource
        |
        +--org.kohsuke.gzipxml.GZipStreamSource
All Implemented Interfaces:
javax.xml.transform.Source

public class GZipStreamSource
extends javax.xml.transform.stream.StreamSource

StreamSource that reads from gzip-compressed XML stream.

THIS SOFTWARE IS IN PUBLIC DOMAIN. NO WARRANTY.

Author:
Kohsuke Kawaguchi (kk@kohsuke.org)

Field Summary
 
Fields inherited from class javax.xml.transform.stream.StreamSource
FEATURE
 
Constructor Summary
GZipStreamSource(java.io.File file)
          Creates a StreamSource from a gzip-compressed XML file.
GZipStreamSource(java.io.InputStream stream)
          Creates a StreamSource from a gzip-compressed stream.
GZipStreamSource(java.io.InputStream stream, java.lang.String systemId)
          Creates a StreamSource from a gzip-compressed stream.
GZipStreamSource(java.lang.String url)
          Creates a StreamSource from a gzip-compressed stream.
 
Methods inherited from class javax.xml.transform.stream.StreamSource
getInputStream, getPublicId, getReader, getSystemId, setInputStream, setPublicId, setReader, setSystemId, setSystemId
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GZipStreamSource

public GZipStreamSource(java.io.File file)
                 throws java.io.IOException
Creates a StreamSource from a gzip-compressed XML file.


GZipStreamSource

public GZipStreamSource(java.io.InputStream stream)
                 throws java.io.IOException
Creates a StreamSource from a gzip-compressed stream.


GZipStreamSource

public GZipStreamSource(java.io.InputStream stream,
                        java.lang.String systemId)
                 throws java.io.IOException
Creates a StreamSource from a gzip-compressed stream.

This constructor allows the systemID to be set in addition to the input stream, which allows relative URIs to be processed.


GZipStreamSource

public GZipStreamSource(java.lang.String url)
                 throws java.io.IOException
Creates a StreamSource from a gzip-compressed stream.