Lines Matching defs:Pack200
38 * Transforms a JAR file to or from a packed stream in Pack200 format.
49 * import java.util.jar.Pack200;
50 * import java.util.jar.Pack200.*;
53 * Packer packer = Pack200.newPacker();
85 * Unpacker unpacker = Pack200.newUnpacker();
95 * A Pack200 file compressed with gzip can be hosted on HTTP/1.1 web servers.
98 * the file encoded with Pack200 and further compressed with gzip. Please
109 public abstract class Pack200 {
110 private Pack200() {} //prevent instantiation
112 // Static methods of the Pack200 class.
116 * <li><p>If the system property <tt>java.util.jar.Pack200.Packer</tt>
141 * <li><p>If the system property <tt>java.util.jar.Pack200.Unpacker</tt>
548 * Takes a JarFile and converts it into a Pack200 archive.
550 * Closes its input but not its output. (Pack200 archives are appendable.)
558 * Takes a JarInputStream and converts it into a Pack200 archive.
560 * Closes its input but not its output. (Pack200 archives are appendable.)
679 * Read a Pack200 archive, and write the encoded JAR to
682 * It may be more efficient to read the Pack200 archive
694 * Read a Pack200 archive, and write the encoded JAR to
726 private static final String PACK_PROVIDER = "java.util.jar.Pack200.Packer";
727 private static final String UNPACK_PROVIDER = "java.util.jar.Pack200.Unpacker";