Messages

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

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

| info | method not available | -- call on void net.sourceforge.pebble.web.view. BinaryView()

method | String getContentType()
post | return_value == &"application.zip"

method | long getContentLength()
post | return_value == 0

method | void dispatch(HttpServletRequest, HttpServletRespo nse, ServletContext)
pre | response != null
pre | init'ed(this.filename)
pre | this.files != null
presumption | java.util.Iterator:next(...)@90 != null
presumption | net.sourceforge.pebble.domain.FileMetaData:getAbsol utePath(...)@96 != null
test_vector | java.io.FileInputStream:read(...)@98: {1..232-1}, {-231..0}
test_vector | java.util.Iterator:hasNext(...)@89: {1}, {0}
test_vector | net.sourceforge.pebble.domain.FileMetaData:isDirect ory(...)@91: {0}, {1}

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

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

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