| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.cat) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.locale) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.pageLink) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.weblog) | 2009-09-04 18:33:31 |
| + | pre | (soft) mLogger != null | 2009-09-04 18:33:31 |
| + | pre | this.monthMap != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.List:get(...)@141 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.util.DateUtil:get8charDateFormat( ...)@42 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@153 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@156 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@153 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@156 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | test_vector | alwaysURL: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | day: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Map:get(...)@139: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | nextPrevMonthURL: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | this.pageLink: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.cat) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.locale) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.weblog) | 2009-09-04 18:33:31 |
| + | pre | (soft) mLogger != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.monthMap != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.List:get(...)@102 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.List:get(...)@104 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.List:get(...)@83 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.List:get(...)@99 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.util.DateUtil:get8charDateFormat( ...)@42 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@87 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@87 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getAn chor(...)@104 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getTi tle(...)@102 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuffer:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | return_value == One-of{&java.lang. StringBuffer:toString(...), null} | 2009-09-04 18:33:31 |
| + | post | return_value in Addr_Set{null,&java.lang. StringBuffer:toString(...)} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:length(...)@103: {1.. 232-1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:length(...)@106: {0..20}, {21..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Map:get(...)@81: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) org/apache/roller/weblogger/ui/core/tags/cal endar/WeblogCalendarModel.log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) pRequest != null | 2009-09-04 18:33:31 |
| + | post | (soft) this.pageRequest != null | 2009-09-04 18:33:31 |
| + | post | init'ed(this.calendar) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.cat) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.locale) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.nextMonth) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.pageLink) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.prevMonth) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.weblog) | 2009-09-04 18:33:31 |
| + | post | new Date(parseWeblogURLDateString#1) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new Date(parseWeblogURLDateString#3) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new Date(parseWeblogURLDateString#5) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new HashMap(loadWeblogEntries#1) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.day) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.monthMap) | 2009-09-04 18:33:31 |
| + | post | this.pageRequest == pRequest | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.sql.Timestamp:getTime | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.text.ParsePosition | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.text.SimpleDateFormat:parse | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.text.SimpleDateFormat:setCalendar | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Calendar:clone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Calendar:getInstance | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Date | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Date:after | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Date:getTime | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashMap | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:size | 2009-09-04 18:33:31 |
| + | unanalyzed | call on loadWeblogEntries | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.lang.StringUtils:isNumer ic | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:debug | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:error | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.util.DateUtil:get6charDat eFormat | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.util.DateUtil:get8charDat eFormat | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.util.DateUtil:getEndOfMon th | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.util.DateUtil:getStartOfM onth | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger. WebloggerException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntries | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryObjectMap | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryStringMap | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getLocaleInstance | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getTimeZoneInstance | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogPageRequest:getLocale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogPageRequest:getWeblog | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogPageRequest:getWeblogCategoryName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogPageRequest:getWeblogDate | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogPageRequest:getWeblogHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogPageRequest:getWeblogPageName | 2009-09-04 18:33:31 |