Name
Pack200.Packer
Synopsis
This interface defines the API for an
object that can convert a JAR file to an output stream in Pack200 (or
gzipped Pack200) format. Obtain a Packer object
with the Pack200.newPacker( ) factory method.
Configure the packer before using it by setting properties in the
Map returned by the properties(
) method. The constants defined by this class represent the
names (and in some cases values) of properties that can be set. Pack
a JAR file by passing JarFile or
JarInputStream to a pack( )
method along with the byte output stream to which the packed
representation should be written. You can monitor the progress of the
packer engine by querying the PROGRESS property in
the properties( ) map. The value is the completion
percentage as an integer between 0 and 100 (or -1 to indicate a stall
or error.) If you want to be notified of changes to the
PROGRESS property, register a
java.beans.PropertyChangeListener with
addPropertyChangeListener( ). See also the
pack200 command in Chapter 8.
public interface Pack200.Packer { // Public Constants public static final String CLASS_ATTRIBUTE_PFX; ="pack.class.attribute." public static final String CODE_ATTRIBUTE_PFX; ="pack.code.attribute." public static final String DEFLATE_HINT; ="pack.deflate.hint" public static final String EFFORT; ="pack.effort" public static final String ERROR; ="error" public static final String FALSE; ="false" public static final String FIELD_ATTRIBUTE_PFX; ="pack.field.attribute." public static ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access