fileview.java

fileview.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	(soft) log != null	2010-07-22 12:56:56
+	pre	response != null	2010-07-22 12:56:56
+	pre	this.file != null	2010-07-22 12:56:56
+	pre	this.model != null	2010-07-22 12:56:56
+	pre	this.model.data != null	2010-07-22 12:56:56
+	presumption	java.io.File:length(...)@85 in -2³¹.. 2³²-1	2010-07-22 12:56:56
+	presumption	java.util.HashMap:get(...)@63 != null	2010-07-22 12:56:56
+	unanalyzed	call on java.io.File:length	2010-07-22 12:56:56
+	unanalyzed	call on java.util.HashMap:get	2010-07-22 12:56:56

long getContentLength()

-/+	Kind	Annotation Text	Date
+	pre	this.file != null	2010-07-22 12:56:56
+	post	init'ed(return_value)	2010-07-22 12:56:56

String getContentType()

-/+	Kind	Annotation Text	Date
+	pre	(soft) net/sourceforge/pebble/util/FileUtils. localFileNameMap != null	2010-07-22 12:56:56
+	pre	(soft) this.file != null	2010-07-22 12:56:56
+	pre	init'ed(this.servletContext)	2010-07-22 12:56:56
+	presumption	java.io.File:getName(...)@78 != null	2010-07-22 12:56:56
+	post	init'ed(return_value)	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:lastIndexOf	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:substring	2010-07-22 12:56:56
+	unanalyzed	call on java.net.FileNameMap:getContentTypeFor	2010-07-22 12:56:56
+	unanalyzed	call on java.net.URLConnection:getFileNameMap	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Properties:getProperty	2010-07-22 12:56:56
+	test_vector	this.servletContext: Addr_Set{null}, Inverse{null}	2010-07-22 12:56:56

void net.sourceforge.pebble.web.view.FileView(File)

-/+	Kind	Annotation Text	Date
+	post	init'ed(this.file)	2010-07-22 12:56:56
+	post	this.file == file	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.web.view.View	2010-07-22 12:56:56

net.sourceforge.pebble.web.view.FileView__static_init

-/+	Kind	Annotation Text	Date
+	post	init'ed(log)	2010-07-22 12:56:56