Messages

method | net.sourceforge.pebble.web.filter.GZIPFilter__ static_init

method | void net.sourceforge.pebble.web.filter. GZIPFilter()

method | void doFilter(ServletRequest, ServletResponse, FilterChain)
pre | chain != null
pre | req != null
unanalyzed | call on javax.servlet.http.HttpServletResponseWrapp er
unanalyzed | call on java.io.PrintWriter:close
unanalyzed | call on javax.servlet.ServletOutputStream:close
test_vector | java.lang.String:indexOf(...)@48: {-1}, {-231..-2, 0..232-1}
test_vector | javax.servlet.http.HttpServletRequest:getHeader(... )@47: Addr_Set{null}, Inverse{null}

method | void init(FilterConfig)

method | void destroy()