abstractlogaction.java

abstractlogaction.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

- Log getLog(HttpServletRequest, HttpServletResponse)

-/+	Kind	Annotation Text	Date

+ Log getLog(HttpServletRequest, HttpServletResponse)

-/+	Kind	Annotation Text	Date
+	pre	request != 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.lang.Integer:parseInt(...)@68 >= -2³¹+1	2010-07-22 12:56:56
+	presumption	java.lang.Integer:parseInt(...)@81 >= -2³¹+1	2010-07-22 12:56:56
+	presumption	java.util.Calendar:get(...)@73 <= 2³²-2	2010-07-22 12:56:56
+	presumption	java.util.Calendar:get(...)@84 <= 2³²-2	2010-07-22 12:56:56
+	presumption	java.util.HashMap:get(...)@63 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Blog:getBlogForDay(.. .)@76 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Blog:getBlogForMonth( ...)@87 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Blog:getBlogForToday( ...)@94 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Blog:getCalendar(... )@60 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Blog:getLogger(...). blog@84 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Blog:getLogger(... )@73 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Blog:getLogger(... )@84 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Blog:getLogger(... )@91 != null	2010-07-22 12:56:56
+	post	(soft) new Log(getLog#2*).blog != null	2010-07-22 12:56:56
+	post	init'ed(new ArrayList(Log#1) num objects)	2010-07-22 12:56:56
+	post	init'ed(new Log(getLog#1*).blog)	2010-07-22 12:56:56
+	post	init'ed(new Log(getLog#6*).blog)	2010-07-22 12:56:56
+	post	new ArrayList(getLog#1*) num objects <= 1	2010-07-22 12:56:56
+	post	new ArrayList(getLog#2*) num objects <= 1	2010-07-22 12:56:56
+	post	new HashSet(getLog#1*) num objects <= 1	2010-07-22 12:56:56
+	post	new Log(getLog#1*) num objects <= 1	2010-07-22 12:56:56
+	post	new Log(getLog#1*).logEntries != null	2010-07-22 12:56:56
+	post	new Log(getLog#2*) num objects <= 1	2010-07-22 12:56:56
+	post	new Log(getLog#2).logEntries == &new HashSet(getLog#1)	2010-07-22 12:56:56
+	post	new Log(getLog#6*) num objects <= 1	2010-07-22 12:56:56
+	post	new Log(getLog#6*).logEntries != null	2010-07-22 12:56:56
+	post	return_value != null	2010-07-22 12:56:56
+	unanalyzed	call on getLog	2010-07-22 12:56:56
+	unanalyzed	call on java.io.BufferedReader	2010-07-22 12:56:56
+	unanalyzed	call on java.io.BufferedReader:close	2010-07-22 12:56:56
+	unanalyzed	call on java.io.BufferedReader:readLine	2010-07-22 12:56:56
+	unanalyzed	call on java.io.File	2010-07-22 12:56:56
+	unanalyzed	call on java.io.File:exists	2010-07-22 12:56:56
+	unanalyzed	call on java.io.FileReader	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.Exception:printStackTrace	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.Integer:parseInt	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.Long:parseLong	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:charAt	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:equals	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:indexOf	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:length	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:substring	2010-07-22 12:56:56
+	unanalyzed	call on java.text.SimpleDateFormat	2010-07-22 12:56:56
+	unanalyzed	call on java.text.SimpleDateFormat:format	2010-07-22 12:56:56
+	unanalyzed	call on java.text.SimpleDateFormat:parse	2010-07-22 12:56:56
+	unanalyzed	call on java.text.SimpleDateFormat:setTimeZone	2010-07-22 12:56:56
+	unanalyzed	call on java.util.ArrayList	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Calendar:get	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Calendar:getActualMaximum	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Calendar:getTime	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Calendar:set	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Collection:addAll	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Collections:unmodifiableCollectio n	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Date	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Date:after	2010-07-22 12:56:56
+	unanalyzed	call on java.util.HashMap:get	2010-07-22 12:56:56
+	unanalyzed	call on java.util.HashMap:put	2010-07-22 12:56:56
+	unanalyzed	call on java.util.HashSet	2010-07-22 12:56:56
+	unanalyzed	call on java.util.List:add	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getBlogForFirstMonth	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLogsDirectory	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getTimeZone	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain.Day:before	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain.Day:getDate	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Day:getNextDay	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Day:getPreviousDay	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain.Month:before	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Month:getBlogForFirstDay	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Month:getDate	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Month:getNextMonth	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Month:getPreviousMonth	2010-07-22 12:56:56
+	test_vector	java.lang.String:length(...)@64: {0}, {1..2³²-1}	2010-07-22 12:56:56
+	test_vector	java.lang.String:length(...)@65: {0}, {1..2³²-1}	2010-07-22 12:56:56
+	test_vector	java.lang.String:length(...)@66: {0}, {1..2³²-1}	2010-07-22 12:56:56
+	test_vector	java.lang.String:length(...)@78: {0}, {1..2³²-1}	2010-07-22 12:56:56
+	test_vector	java.lang.String:length(...)@79: {0}, {1..2³²-1}	2010-07-22 12:56:56
+	test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@56: Addr_Set{null}, Inverse{null}	2010-07-22 12:56:56
+	test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@57: Addr_Set{null}, Inverse{null}	2010-07-22 12:56:56
+	test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@58: Addr_Set{null}, Inverse{null}	2010-07-22 12:56:56

- String getLogFile(HttpServletRequest, HttpServletResponse)

-/+	Kind	Annotation Text	Date

+ String getLogFile(HttpServletRequest, HttpServletResponse)

-/+	Kind	Annotation Text	Date
+	pre	request != 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.lang.Integer:parseInt(...)@118 >= -2³¹+1	2010-07-22 12:56:56
+	presumption	java.lang.Integer:parseInt(...)@131 >= -2³¹+1	2010-07-22 12:56:56
+	presumption	java.util.Calendar:get(...)@123 <= 2³²-2	2010-07-22 12:56:56
+	presumption	java.util.Calendar:get(...)@134 <= 2³²-2	2010-07-22 12:56:56
+	presumption	java.util.HashMap:get(...)@63 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Blog:getBlogForDay(.. .)@126 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Blog:getBlogForMonth( ...)@137 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Blog:getBlogForToday( ...)@144 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Blog:getCalendar(... )@110 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Blog:getLogger(...). blog@134 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Blog:getLogger(...). blog@141 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Blog:getLogger(... )@123 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Blog:getLogger(... )@134 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Blog:getLogger(... )@141 != null	2010-07-22 12:56:56
+	post	return_value != null	2010-07-22 12:56:56
+	unanalyzed	call on getLogFile	2010-07-22 12:56:56
+	unanalyzed	call on java.io.BufferedReader	2010-07-22 12:56:56
+	unanalyzed	call on java.io.BufferedReader:close	2010-07-22 12:56:56
+	unanalyzed	call on java.io.BufferedReader:readLine	2010-07-22 12:56:56
+	unanalyzed	call on java.io.File	2010-07-22 12:56:56
+	unanalyzed	call on java.io.File:exists	2010-07-22 12:56:56
+	unanalyzed	call on java.io.FileReader	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.Exception:printStackTrace	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.System:getProperty	2010-07-22 12:56:56
+	unanalyzed	call on java.text.SimpleDateFormat:format	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Calendar:get	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Calendar:getActualMaximum	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Calendar:getTime	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Calendar:set	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Date:after	2010-07-22 12:56:56
+	unanalyzed	call on java.util.HashMap:get	2010-07-22 12:56:56
+	unanalyzed	call on java.util.HashMap:put	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getBlogForFirstMonth	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLogsDirectory	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain.Day:before	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain.Day:getDate	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Day:getNextDay	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Day:getPreviousDay	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain.Month:before	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Month:getBlogForFirstDay	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Month:getDate	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Month:getNextMonth	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Month:getPreviousMonth	2010-07-22 12:56:56
+	test_vector	java.lang.String:length(...)@114: {0}, {1..2³²-1}	2010-07-22 12:56:56
+	test_vector	java.lang.String:length(...)@115: {0}, {1..2³²-1}	2010-07-22 12:56:56
+	test_vector	java.lang.String:length(...)@116: {0}, {1..2³²-1}	2010-07-22 12:56:56
+	test_vector	java.lang.String:length(...)@128: {0}, {1..2³²-1}	2010-07-22 12:56:56
+	test_vector	java.lang.String:length(...)@129: {0}, {1..2³²-1}	2010-07-22 12:56:56
+	test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@106: Addr_Set{null}, Inverse{null}	2010-07-22 12:56:56
+	test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@107: Addr_Set{null}, Inverse{null}	2010-07-22 12:56:56
+	test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@108: Addr_Set{null}, Inverse{null}	2010-07-22 12:56:56

- String[] getRoles(HttpServletRequest)

-/+	Kind	Annotation Text	Date

+ String[] getRoles(HttpServletRequest)

-/+	Kind	Annotation Text	Date
+	presumption	init'ed(net.sourceforge.pebble.Constants.BLOG_ ADMIN_ROLE)	2010-07-22 12:56:56
+	presumption	init'ed(net.sourceforge.pebble.Constants.BLOG_ CONTRIBUTOR_ROLE)	2010-07-22 12:56:56
+	presumption	init'ed(net.sourceforge.pebble.Constants.BLOG_ OWNER_ROLE)	2010-07-22 12:56:56
+	presumption	init'ed(net.sourceforge.pebble.Constants.BLOG_ PUBLISHER_ROLE)	2010-07-22 12:56:56
+	post	(soft) init'ed(return_value[0])	2010-07-22 12:56:56
+	post	(soft) init'ed(return_value[1])	2010-07-22 12:56:56
+	post	(soft) init'ed(return_value[2])	2010-07-22 12:56:56
+	post	(soft) init'ed(return_value[3])	2010-07-22 12:56:56
+	post	new String[](getRoles#1) num objects == 1	2010-07-22 12:56:56
+	post	return_value == &new String[](getRoles#1)	2010-07-22 12:56:56
+	post	return_value.length == 4	2010-07-22 12:56:56
+	post	return_value[0] == net.sourceforge.pebble. Constants.BLOG_ADMIN_ROLE	2010-07-22 12:56:56
+	post	return_value[1] == net.sourceforge.pebble. Constants.BLOG_OWNER_ROLE	2010-07-22 12:56:56
+	post	return_value[2] == net.sourceforge.pebble. Constants.BLOG_PUBLISHER_ROLE	2010-07-22 12:56:56
+	post	return_value[3] == net.sourceforge.pebble. Constants.BLOG_CONTRIBUTOR_ROLE	2010-07-22 12:56:56

void net.sourceforge.pebble.web.action.AbstractLogAction()

-/+	Kind	Annotation Text	Date

net.sourceforge.pebble.web.action.AbstractLogAction__static_init

-/+	Kind	Annotation Text	Date

void registerObjectsForNavigation(Blog, Day)

-/+	Kind	Annotation Text	Date
+	pre	blog != null	2010-07-22 12:56:56
+	pre	day != 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	net.sourceforge.pebble.domain.Blog:getBlogForFirstM onth(...)@169 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Blog:getCalendar(... )@177 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Day:getDate(...)@177 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Day:getNextDay(... )@171 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Day:getPreviousDay(.. .)@170 != null	2010-07-22 12:56:56
+	unanalyzed	call on java.util.HashMap:put	2010-07-22 12:56:56
+	test_vector	java.util.Date:after(...)@177: {0}, {1}	2010-07-22 12:56:56
+	test_vector	net.sourceforge.pebble.domain.Day:before(...)@173: {1}, {0}	2010-07-22 12:56:56
+	test_vector	net.sourceforge.pebble.domain.Day:before(...)@177: {0}, {1}	2010-07-22 12:56:56

void registerObjectsForNavigation(Blog, Month)

-/+	Kind	Annotation Text	Date
+	pre	blog != null	2010-07-22 12:56:56
+	pre	month != 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	net.sourceforge.pebble.domain.Blog:getCalendar(... )@162 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Month:getDate(... )@162 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Month:getNextMonth(.. .)@156 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Month:getPreviousMont h(...)@155 != null	2010-07-22 12:56:56
+	unanalyzed	call on java.util.HashMap:put	2010-07-22 12:56:56
+	test_vector	java.util.Date:after(...)@162: {0}, {1}	2010-07-22 12:56:56
+	test_vector	net.sourceforge.pebble.domain.Month:before(... )@158: {1}, {0}	2010-07-22 12:56:56
+	test_vector	net.sourceforge.pebble.domain.Month:before(... )@162: {0}, {1}	2010-07-22 12:56:56