org.gjt.sp.jedit.io
Class AutoDetection.Result

java.lang.Object
  extended by org.gjt.sp.jedit.io.AutoDetection.Result
Enclosing class:
AutoDetection

public static class AutoDetection.Result
extends java.lang.Object

An utility class to hold the result of some auto detections.


Constructor Summary
AutoDetection.Result(java.io.InputStream in)
          Do some auto detection for a stream and hold the result in this instance.
 
Method Summary
 java.lang.String getDetectedEncoding()
          Returns the auto detected encoding.
 java.io.BufferedInputStream getRewindedStream()
          Returns the stream which can be read the contents of the original stream.
 boolean streamIsGzipped()
          Returns true if the stream is gzipped.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AutoDetection.Result

public AutoDetection.Result(java.io.InputStream in)
                     throws java.io.IOException
Do some auto detection for a stream and hold the result in this instance.

Parameters:
in - the stream
Throws:
java.io.IOException
Method Detail

getRewindedStream

public java.io.BufferedInputStream getRewindedStream()
                                              throws java.io.IOException
Returns the stream which can be read the contents of the original stream. Some bytes ware read from original stream for auto detections. But they are rewinded at this method.

Throws:
java.io.IOException

streamIsGzipped

public boolean streamIsGzipped()
Returns true if the stream is gzipped.


getDetectedEncoding

public java.lang.String getDetectedEncoding()
Returns the auto detected encoding. Returns null if no encoding was detected.