| -/+ |
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 | init'ed(this.nextMonth) | 2009-09-04 18:33:31 |
| + | pre | this.monthMap != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 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.text.SimpleDateFormat:format | 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.List:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:get | 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:format | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.util.DateUtil:format6char s | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.util.DateUtil:format8char s | 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.weblogger.business. URLStrategy:getWeblogCollectionURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. URLStrategy:getWeblogPageURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy | 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. WeblogEntry:getPubTime | 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.pageLink) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.weblog) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.prevMonth) | 2009-09-04 18:33:31 |
| + | pre | this.monthMap != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 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.text.SimpleDateFormat:format | 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.List:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:get | 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:format | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.util.DateUtil:format6char s | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.util.DateUtil:format8char s | 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.weblogger.business. URLStrategy:getWeblogCollectionURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. URLStrategy:getWeblogPageURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy | 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. WeblogEntry:getPubTime | 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.pageLink) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.weblog) | 2009-09-04 18:33:31 |
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.calendar != null | 2009-09-04 18:33:31 |
| + | pre | this.monthMap != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@286 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@288 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@286 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@288 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 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 org.apache.roller.util.DateUtil:format | 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 |
| + | test_vector | alwaysURL: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Map:get(...)@275: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| + | test_vector | monthURL: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | this.pageLink: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.locale) | 2009-09-04 18:33:31 |
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.cat) | 2009-09-04 18:33:31 |
| + | pre | this.weblog != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Calendar:getInstance(...)@96 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Date:getTime(...)@109 >= -9_223_372_036_8 54_775_807 | 2009-09-04 18:33:31 |
| + | presumption | java.util.Date:getTime(...)@136 <= 18_446_744_073_7 09_551_614 | 2009-09-04 18:33:31 |
| + | presumption | java.util.List:get(...)@124 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.List:get(...)@151 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.util.DateUtil:getEndOfMonth(... )@102 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.util.DateUtil:getStartOfMonth(... )@101 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WeblogManager:getWeblogEntries(...)@109 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WeblogManager:getWeblogEntries(...)@136 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@108 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@135 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@108 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@135 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getPu bTime(...)@125 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getPu bTime(...)@152 != null | 2009-09-04 18:33:31 |
| + | post | (soft) this.calendar != null | 2009-09-04 18:33:31 |
| + | post | new HashMap(loadWeblogEntries#1) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.monthMap) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.nextMonth) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.prevMonth) | 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.util.Calendar:clone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashMap | 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.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 |
| + | test_vector | java.util.Date:after(...)@160: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.List:size(...)@123: {-231..0}, {1..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.List:size(...)@150: {-231..0}, {1..232-1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) pRequest != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getWeblog(...)@66 != null | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.weblog) | 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 | 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: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.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 |
| + | test_vector | catArgument: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getWeblogCategoryName(...)@83: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | presumption | java.text.SimpleDateFormat:parse(...)@230 != null | 2009-09-04 18:33:31 |
| + | presumption | java.text.SimpleDateFormat:parse(...)@250 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.util.DateUtil:get6charDateFormat( ...)@247 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.util.DateUtil:get8charDateFormat( ...)@227 != null | 2009-09-04 18:33:31 |
| + | post | (soft) return_value != null | 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 |
| + | test_vector | dateString: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:length(...)@224: {0..7, 9..232-1}, {8} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:length(...)@244: {0..5, 7..232-1}, {6} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Date:after(...)@240: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Date:after(...)@258: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.lang.StringUtils:isNumeric(... )@224: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.lang.StringUtils:isNumeric(... )@244: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.locale) | 2009-09-04 18:33:31 |
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.cat) | 2009-09-04 18:33:31 |
| + | pre | this.calendar != null | 2009-09-04 18:33:31 |
| + | pre | this.weblog != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Calendar:getInstance(...)@96 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.util.DateUtil:get8charDateFormat( ...)@187 != null | 2009-09-04 18:33:31 |
| + | post | new HashMap(loadWeblogEntries#1) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.monthMap) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.nextMonth) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.prevMonth) | 2009-09-04 18:33:31 |
| + | post | this.calendar != null | 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.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.logging.Log:error | 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.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 |