Last Msg First Msg
























method net.sourceforge.pebble.web.action.AbstractLogActio n__static_init










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










method Log getLog(HttpServletRequest, HttpServletResponse )
prerequest != null
prethis.model != null
prethis.model.data != null
presumptionjava.lang.Integer:parseInt(...)@68 >= -231+1
presumptionjava.lang.Integer:parseInt(...)@81 >= -231+1
presumptionjava.util.Calendar:get(...)@73 <= 232-2
presumptionjava.util.Calendar:get(...)@84 <= 232-2
presumptionjava.util.HashMap:get(...)@63 != null
presumptionnet.sourceforge.pebble.domain.Blog:getBlogForDay(.. .)@76 != null
presumptionnet.sourceforge.pebble.domain.Blog:getBlogForMonth( ...)@87 != null
presumptionnet.sourceforge.pebble.domain.Blog:getBlogForToday( ...)@94 != null
presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@60 != null
presumptionnet.sourceforge.pebble.domain.Blog:getLogger(...). blog@84 != null
presumptionnet.sourceforge.pebble.domain.Blog:getLogger(... )@73 != null
presumptionnet.sourceforge.pebble.domain.Blog:getLogger(... )@84 != null
presumptionnet.sourceforge.pebble.domain.Blog:getLogger(... )@91 != null
postreturn_value != null
postinit'ed(new ArrayList(Log#1) num objects)
postnew ArrayList(getLog#1*) num objects <= 1
postnew ArrayList(getLog#2*) num objects <= 1
postnew HashSet(getLog#1*) num objects <= 1
postnew Log(getLog#1*) num objects <= 1
postinit'ed(new Log(getLog#1*).blog)
postnew Log(getLog#1*).logEntries != null
postnew Log(getLog#2*) num objects <= 1
post(soft) new Log(getLog#2*).blog != null
postnew Log(getLog#2*).logEntries == &new HashSet(getLog#1*)
postnew Log(getLog#6*) num objects <= 1
postinit'ed(new Log(getLog#6*).blog)
postnew Log(getLog#6*).logEntries != null
unanalyzedcall on java.util.HashMap:get
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzedcall on java.util.Calendar:set
unanalyzedcall on java.util.Calendar:getTime
unanalyzedcall on java.text.SimpleDateFormat:format
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLogsDirectory
unanalyzedcall on java.io.File
unanalyzedcall on java.io.File:exists
unanalyzedcall on java.io.FileReader
unanalyzedcall on java.io.BufferedReader
unanalyzedcall on java.io.BufferedReader:readLine
unanalyzedcall on java.io.BufferedReader:close
unanalyzedcall on java.lang.Exception:printStackTrace
unanalyzedcall on java.util.Calendar:getActualMaximum
unanalyzedcall on java.util.Calendar:get
unanalyzedcall on java.util.HashMap:put
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getBlogForFirstMonth
unanalyzedcall on net.sourceforge.pebble.domain. Month:getPreviousMonth
unanalyzedcall on net.sourceforge.pebble.domain. Month:getNextMonth
unanalyzedcall on net.sourceforge.pebble.domain.Month:before
unanalyzedcall on net.sourceforge.pebble.domain. Month:getDate
unanalyzedcall on java.util.Date:after
unanalyzedcall on net.sourceforge.pebble.domain. Month:getBlogForFirstDay
unanalyzedcall on net.sourceforge.pebble.domain. Day:getPreviousDay
unanalyzedcall on net.sourceforge.pebble.domain. Day:getNextDay
unanalyzedcall on net.sourceforge.pebble.domain.Day:before
unanalyzedcall on net.sourceforge.pebble.domain.Day:getDate
unanalyzedcall on getLog
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.text.SimpleDateFormat
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getTimeZone
unanalyzedcall on java.text.SimpleDateFormat:setTimeZone
unanalyzedcall on java.util.Date
unanalyzedcall on java.lang.String:indexOf
unanalyzedcall on java.lang.String:substring
unanalyzedcall on java.lang.String:charAt
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.text.SimpleDateFormat:parse
unanalyzedcall on java.lang.Integer:parseInt
unanalyzedcall on java.lang.Long:parseLong
unanalyzedcall on java.util.List:add
unanalyzedcall on java.util.HashSet
unanalyzedcall on java.util.Collections:unmodifiableCollectio n
unanalyzedcall on java.util.Collection:addAll
test_vectorjava.lang.String:length(...)@64: {0}, {1..232-1}
test_vectorjava.lang.String:length(...)@65: {0}, {1..232-1}
test_vectorjava.lang.String:length(...)@66: {0}, {1..232-1}
test_vectorjava.lang.String:length(...)@78: {0}, {1..232-1}
test_vectorjava.lang.String:length(...)@79: {0}, {1..232-1}
test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@56: Addr_Set{null}, Inverse{null}
test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@57: Addr_Set{null}, Inverse{null}
test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@58: Addr_Set{null}, Inverse{null}









  infomethod not available-- call on Calendar net.sourceforge.pebble.domain. Blog:getCalendar()










Prev Msg Next Msg
+
warning
unused assignmentunused assignment into logPeriod
Prev Msg Next Msg










  infomethod not available-- call on AbstractLogger net.sourceforge.pebble. domain.Blog:getLogger()
  infomethod not available-- call on Log getLog(int, int, int)










  infomethod not available-- call on Locale net.sourceforge.pebble.domain. Blog:getLocale()










  infomethod not available-- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()










  infomethod not available-- call on Day net.sourceforge.pebble.domain. Blog:getBlogForDay(int, int, int)










  infomethod not available-- call on AbstractLogger net.sourceforge.pebble. domain.Blog:getLogger()










  infomethod not available-- call on Locale net.sourceforge.pebble.domain. Blog:getLocale()










  infomethod not available-- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()










  infomethod not available-- call on Month net.sourceforge.pebble.domain. Blog:getBlogForMonth(int, int)










  infomethod not available-- call on AbstractLogger net.sourceforge.pebble. domain.Blog:getLogger()










  infomethod not available-- call on Locale net.sourceforge.pebble.domain. Blog:getLocale()










  infomethod not available-- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()










  infomethod not available-- call on Day net.sourceforge.pebble.domain. Blog:getBlogForToday()











method String getLogFile(HttpServletRequest, HttpServletResponse)
prerequest != null
prethis.model != null
prethis.model.data != null
presumptionjava.lang.Integer:parseInt(...)@118 >= -231+1
presumptionjava.lang.Integer:parseInt(...)@131 >= -231+1
presumptionjava.util.Calendar:get(...)@123 <= 232-2
presumptionjava.util.Calendar:get(...)@134 <= 232-2
presumptionjava.util.HashMap:get(...)@63 != null
presumptionnet.sourceforge.pebble.domain.Blog:getBlogForDay(.. .)@126 != null
presumptionnet.sourceforge.pebble.domain.Blog:getBlogForMonth( ...)@137 != null
presumptionnet.sourceforge.pebble.domain.Blog:getBlogForToday( ...)@144 != null
presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@110 != null
presumptionnet.sourceforge.pebble.domain.Blog:getLogger(...). blog@134 != null
presumptionnet.sourceforge.pebble.domain.Blog:getLogger(...). blog@141 != null
presumptionnet.sourceforge.pebble.domain.Blog:getLogger(... )@123 != null
presumptionnet.sourceforge.pebble.domain.Blog:getLogger(... )@134 != null
presumptionnet.sourceforge.pebble.domain.Blog:getLogger(... )@141 != null
postreturn_value != null
unanalyzedcall on java.util.HashMap:get
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzedcall on getLogFile
unanalyzedcall on java.util.Calendar:set
unanalyzedcall on java.util.Calendar:getTime
unanalyzedcall on java.text.SimpleDateFormat:format
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getLogsDirectory
unanalyzedcall on java.io.File
unanalyzedcall on java.io.File:exists
unanalyzedcall on java.io.FileReader
unanalyzedcall on java.io.BufferedReader
unanalyzedcall on java.io.BufferedReader:readLine
unanalyzedcall on java.io.BufferedReader:close
unanalyzedcall on java.lang.Exception:printStackTrace
unanalyzedcall on java.lang.System:getProperty
unanalyzedcall on java.util.Calendar:getActualMaximum
unanalyzedcall on java.util.Calendar:get
unanalyzedcall on java.util.HashMap:put
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getBlogForFirstMonth
unanalyzedcall on net.sourceforge.pebble.domain. Month:getPreviousMonth
unanalyzedcall on net.sourceforge.pebble.domain. Month:getNextMonth
unanalyzedcall on net.sourceforge.pebble.domain.Month:before
unanalyzedcall on net.sourceforge.pebble.domain. Month:getDate
unanalyzedcall on java.util.Date:after
unanalyzedcall on net.sourceforge.pebble.domain. Month:getBlogForFirstDay
unanalyzedcall on net.sourceforge.pebble.domain. Day:getPreviousDay
unanalyzedcall on net.sourceforge.pebble.domain. Day:getNextDay
unanalyzedcall on net.sourceforge.pebble.domain.Day:before
unanalyzedcall on net.sourceforge.pebble.domain.Day:getDate
test_vectorjava.lang.String:length(...)@114: {0}, {1..232-1}
test_vectorjava.lang.String:length(...)@115: {0}, {1..232-1}
test_vectorjava.lang.String:length(...)@116: {0}, {1..232-1}
test_vectorjava.lang.String:length(...)@128: {0}, {1..232-1}
test_vectorjava.lang.String:length(...)@129: {0}, {1..232-1}
test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@106: Addr_Set{null}, Inverse{null}
test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@107: Addr_Set{null}, Inverse{null}
test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@108: Addr_Set{null}, Inverse{null}









  infomethod not available-- call on Calendar net.sourceforge.pebble.domain. Blog:getCalendar()










Prev Msg Next Msg
+
warning
unused assignmentunused assignment into logPeriod
Prev Msg Next Msg










  infomethod not available-- call on AbstractLogger net.sourceforge.pebble. domain.Blog:getLogger()
  infomethod not available-- call on String getLogFile(int, int, int)










  infomethod not available-- call on Locale net.sourceforge.pebble.domain. Blog:getLocale()










  infomethod not available-- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()










  infomethod not available-- call on Day net.sourceforge.pebble.domain. Blog:getBlogForDay(int, int, int)










  infomethod not available-- call on AbstractLogger net.sourceforge.pebble. domain.Blog:getLogger()










  infomethod not available-- call on Locale net.sourceforge.pebble.domain. Blog:getLocale()










  infomethod not available-- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()










  infomethod not available-- call on Month net.sourceforge.pebble.domain. Blog:getBlogForMonth(int, int)










  infomethod not available-- call on AbstractLogger net.sourceforge.pebble. domain.Blog:getLogger()










  infomethod not available-- call on Locale net.sourceforge.pebble.domain. Blog:getLocale()










  infomethod not available-- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()










  infomethod not available-- call on Day net.sourceforge.pebble.domain. Blog:getBlogForToday()











method void registerObjectsForNavigation(Blog, Month)
preblog != null
premonth != null
prethis.model != null
prethis.model.data != null
presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@162 != null
presumptionnet.sourceforge.pebble.domain.Month:getDate(... )@162 != null
presumptionnet.sourceforge.pebble.domain.Month:getNextMonth(.. .)@156 != null
presumptionnet.sourceforge.pebble.domain.Month:getPreviousMont h(...)@155 != null
unanalyzedcall on java.util.HashMap:put
test_vectorjava.util.Date:after(...)@162: {0}, {1}
test_vectornet.sourceforge.pebble.domain.Month:before(... )@158: {1}, {0}
test_vectornet.sourceforge.pebble.domain.Month:before(... )@162: {0}, {1}









  infomethod not available-- call on Month net.sourceforge.pebble.domain. Blog:getBlogForFirstMonth()










  infomethod not available-- call on Month net.sourceforge.pebble.domain. Month:getPreviousMonth()










  infomethod not available-- call on Month net.sourceforge.pebble.domain. Month:getNextMonth()










  infomethod not available-- call on bool net.sourceforge.pebble.domain. Month:before(Month)










  infomethod not available-- call on Date net.sourceforge.pebble.domain. Month:getDate()
  infomethod not available-- call on Calendar net.sourceforge.pebble.domain. Blog:getCalendar()
  infomethod not available-- call on bool net.sourceforge.pebble.domain. Month:before(Month)











method void registerObjectsForNavigation(Blog, Day)
preblog != null
preday != null
prethis.model != null
prethis.model.data != null
presumptionnet.sourceforge.pebble.domain.Blog:getBlogForFirstM onth(...)@169 != null
presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@177 != null
presumptionnet.sourceforge.pebble.domain.Day:getDate(...)@177 != null
presumptionnet.sourceforge.pebble.domain.Day:getNextDay(... )@171 != null
presumptionnet.sourceforge.pebble.domain.Day:getPreviousDay(.. .)@170 != null
unanalyzedcall on java.util.HashMap:put
test_vectorjava.util.Date:after(...)@177: {0}, {1}
test_vectornet.sourceforge.pebble.domain.Day:before(...)@173: {1}, {0}
test_vectornet.sourceforge.pebble.domain.Day:before(...)@177: {0}, {1}









  infomethod not available-- call on Month net.sourceforge.pebble.domain. Blog:getBlogForFirstMonth()
  infomethod not available-- call on Day net.sourceforge.pebble.domain. Month:getBlogForFirstDay()










  infomethod not available-- call on Day net.sourceforge.pebble.domain. Day:getPreviousDay()










  infomethod not available-- call on Day net.sourceforge.pebble.domain. Day:getNextDay()










  infomethod not available-- call on bool net.sourceforge.pebble.domain. Day:before(Day)










  infomethod not available-- call on Date net.sourceforge.pebble.domain. Day:getDate()
  infomethod not available-- call on Calendar net.sourceforge.pebble.domain. Blog:getCalendar()
  infomethod not available-- call on bool net.sourceforge.pebble.domain. Day:before(Day)











method String[] getRoles(HttpServletRequest)
presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ ADMIN_ROLE)
presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ CONTRIBUTOR_ROLE)
presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ OWNER_ROLE)
presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ PUBLISHER_ROLE)
postreturn_value == &new String[](getRoles#1)
postnew String[](getRoles#1) num objects == 1
postreturn_value.length == 4
postreturn_value[0] == net.sourceforge.pebble. Constants.BLOG_ADMIN_ROLE
post(soft) init'ed(return_value[0])
postreturn_value[1] == net.sourceforge.pebble. Constants.BLOG_OWNER_ROLE
post(soft) init'ed(return_value[1])
postreturn_value[2] == net.sourceforge.pebble. Constants.BLOG_PUBLISHER_ROLE
post(soft) init'ed(return_value[2])
postreturn_value[3] == net.sourceforge.pebble. Constants.BLOG_CONTRIBUTOR_ROLE
post(soft) init'ed(return_value[3])