Java in a Nutshell, 5th Edition

Name

Pack200.Unpacker

Synopsis

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 ...