zipview.java

zipview.java

current inspection = 2010-07-22 15:04:21 (id #4)

base = 2010-07-16 16:14:15 (id #1)

Filter Options

History:

+	added
-	dropped
U	unchanged

Annotation Kind:

pre

presumption

post

unanalyzed

test

- void dispatch(HttpServletRequest, HttpServletResponse, ServletContext)

-/+	Kind	Annotation Text	Date

+ void dispatch(HttpServletRequest, HttpServletResponse, ServletContext)

-/+	Kind	Annotation Text	Date
+	pre	init'ed(this.filename)	2010-07-22 12:56:56
+	pre	response != null	2010-07-22 12:56:56
+	pre	this.files != null	2010-07-22 12:56:56
+	presumption	java.util.Iterator:next(...)@90 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.FileMetaData:getAbsol utePath(...)@96 != null	2010-07-22 12:56:56
+	test_vector	java.io.FileInputStream:read(...)@98: {1..2³²-1}, {-2³¹..0}	2010-07-22 12:56:56
+	test_vector	java.util.Iterator:hasNext(...)@89: {1}, {0}	2010-07-22 12:56:56
+	test_vector	net.sourceforge.pebble.domain.FileMetaData:isDirect ory(...)@91: {0}, {1}	2010-07-22 12:56:56

long getContentLength()

-/+	Kind	Annotation Text	Date
+	post	return_value == 0	2010-07-22 12:56:56

String getContentType()

-/+	Kind	Annotation Text	Date
+	post	return_value == &"application.zip"	2010-07-22 12:56:56

void net.sourceforge.pebble.web.view.ZipView(List, String)

-/+	Kind	Annotation Text	Date
+	post	init'ed(this.filename)	2010-07-22 12:56:56
+	post	init'ed(this.files)	2010-07-22 12:56:56
+	post	this.filename == filename	2010-07-22 12:56:56
+	post	this.files == files	2010-07-22 12:56:56

net.sourceforge.pebble.web.view.ZipView__static_init

-/+	Kind	Annotation Text	Date