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..2³²-1}, {-2³¹..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()