blob: 10aa04ebe5ad8151e8e2ef051081e3f68ccce661 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
package java.util.zip
import java.io._
class InflaterInputStream(in: InputStream) extends FilterInputStream(in) {
// Not implemented:
// def this(in: InputStream, inf: Inflater)
// def this(in: InputStream, inf: Inflater, size: Int)
// protected var buf: Array[Byte]
// protected var inf: Inflater
// protected var len: Int
override def markSupported(): Boolean = false
override def mark(readlimit: Int): Unit = {}
override def reset(): Unit = throw new IOException("Reset not supported")
}
|