All Packages Class Hierarchy This Package Previous Next Index
java.lang.Object
|
+----org.w3c.tools.resources.AttributeHolder
|
+----org.w3c.tools.resources.Resource
|
+----org.w3c.tools.resources.FramedResource
|
+----org.w3c.tools.resources.ResourceFrame
|
+----org.w3c.tools.resources.ResourceFilter
|
+----org.w3c.jigsaw.filters.GZIPFilter
A nifty usage for that filter, is to plug it on top of a
org.w3c.jigsaw.proxy.ProxyDirectory, in which case it
will compress the data when it flies out of the proxy.
protected static int ATTR_MIME_TYPES
protected MimeType types[]
public GZIPFilter()
public void setValue(int idx,
Object value)
public synchronized MimeType[] getMimeTypes()
public ReplyInterface outgoingFilter(RequestInterface req,
ReplyInterface rep) throws ProtocolException
All Packages Class Hierarchy This Package Previous Next Index