This interface defines an API for
converting a file or stream in Pack200 (or gzipped Pack200) format
into a JAR file in the form of a JarOutputStream.
Obtain an Unpacker object with the
Pack200.newUnpacker( ) method. Before using an
unpacker, you may configure it by setting properties in the
Map returned by the properties(
) method. Unpack a JAR file with the unpack(
) method, specifying a File or stream of
packed bytes. Monitor the progress of the unpacker by querying the
PROGRESS key in the Map
returned by properties( ). The value should be an
Integer representing a completion percentage
between 0 and 100. If you want to be notified of changes to the
PROGRESS property, register a
java.beans.PropertyChangeListener with
addPropertyChangeListener( ). See also the
unpack200 command in Chapter 8.
public interface
Pack200.Unpacker {
// Public Constants
public static final String
DEFLATE_HINT ; ="unpack.deflate.hint"
public static final String
FALSE ; ="false"
public static final String
KEEP ; ="keep"
public static final String
PROGRESS ; ="unpack.progress"
public static final String
TRUE ; ="true"
// Event Registration Methods (by event name)
void
addPropertyChangeListener (java.beans.PropertyChangeListener
listener );
void
removePropertyChangeListener (java.beans.PropertyChangeListener
listener );
// Public Instance Methods
java.util.SortedMap<String,String>
properties ( );
void
unpack (java.io.InputStream
in , JarOutputStream
out ) throws java.io.IOException;
void
unpack (java.io.File
in , JarOutputStream
out ) throws java.io.IOException;
}