method net.sourceforge.pebble.web.view.ZipView__static_ init










method void net.sourceforge.pebble.web.view.ZipView(List, String)
postthis.filename == filename
postinit'ed(this.filename)
postthis.files == files
postinit'ed(this.files)









  infomethod not available-- call on void net.sourceforge.pebble.web.view. BinaryView()











method String getContentType()
postreturn_value == &"application.zip"










method long getContentLength()
postreturn_value == 0










method void dispatch(HttpServletRequest, HttpServletRespo nse, ServletContext)
preresponse != null
preinit'ed(this.filename)
prethis.files != null
presumptionjava.util.Iterator:next(...)@90 != null
presumptionnet.sourceforge.pebble.domain.FileMetaData:getAbsol utePath(...)@96 != null
test_vectorjava.io.FileInputStream:read(...)@98: {1..232-1}, {-231..0}
test_vectorjava.util.Iterator:hasNext(...)@89: {1}, {0}
test_vectornet.sourceforge.pebble.domain.FileMetaData:isDirect ory(...)@91: {0}, {1}









  infomethod not available-- call on bool net.sourceforge.pebble.domain. FileMetaData:isDirectory()










  infomethod not available-- call on File net.sourceforge.pebble.domain. FileMetaData:getFile()










  infomethod not available-- call on String net.sourceforge.pebble.domain. FileMetaData:getAbsolutePath()