| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.catPath) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.locale) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.offset) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.tags) | 2009-09-04 18:33:31 |
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.length <= 232-2 | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.dateString) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.entries) | 2009-09-04 18:33:31 |
| + | pre | this.weblog != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Map:get(...)@140 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Map:keySet(...)@134 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryObjectMap(...)@120 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@120 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@118 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@120 != null | 2009-09-04 18:33:31 |
| + | post | new TreeMap(getEntries#1) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.more) | 2009-09-04 18:33:31 |
| + | post | return_value != null | 2009-09-04 18:33:31 |
| + | post | return_value == One-of{old this.entries, &new TreeMap(getEntries#1)} | 2009-09-04 18:33:31 |
| + | post | this.entries == return_value | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:length | 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:getInstance | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Calendar:getTime | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Calendar:setTime | 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 org.apache.commons.lang.StringUtils:isNumer ic | 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.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 |
| + | test_vector | java.util.List:size(...)@150: {-231..0}, {1..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | this.entries: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.catPath) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.dateString) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.day) | 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.tags) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.weblog) | 2009-09-04 18:33:31 |
| + | pre | (soft) this.dayFormat != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.messageUtils != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.messageUtils.bundle != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.page <= 232-2 | 2009-09-04 18:33:31 |
| + | pre | (soft) this.urlStrategy != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.more) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on createURL | 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.MessageFormat:format | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ResourceBundle:getString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:warn | 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:getWeblogEntryURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. URLStrategy:getWeblogPageURL | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.catPath) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.dateString) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.day) | 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.tags) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.weblog) | 2009-09-04 18:33:31 |
| + | pre | (soft) this.dayFormat != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.messageUtils != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.messageUtils.bundle != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.urlStrategy != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.page) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on createURL | 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.MessageFormat:format | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ResourceBundle:getString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:warn | 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:getWeblogEntryURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. URLStrategy:getWeblogPageURL | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | locale == null | 2009-09-04 18:33:31 |
| + | pre | org/apache/roller/weblogger/util/I18nMessages. messagesMap != null | 2009-09-04 18:33:31 |
| + | pre | weblog != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Calendar:getInstance(...)@82 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Calendar:getTime(...)@89 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.util.DateUtil:getEndOfDay(... )@101 != null | 2009-09-04 18:33:31 |
| + | presumption | this.length in range | 2009-09-04 18:33:31 |
| + | presumption | this.messageUtils init'ed | 2009-09-04 18:33:31 |
| + | presumption | this.messageUtils.bundle != null | 2009-09-04 18:33:31 |
| + | presumption | this.weblog init'ed | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.nextDay) | 2009-09-04 18:33:31 |
| + | post | (soft) this.length <= 232-2 | 2009-09-04 18:33:31 |
| + | post | init'ed(new I18nMessages(getMessages#2).bundle) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.catPath) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.dateString) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.day) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.entryAnchor) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.more) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.offset) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.pageLink) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.prevDay) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.urlStrategy) | 2009-09-04 18:33:31 |
| + | post | new ArrayList(AbstractWeblogEntriesPager#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new I18nMessages(getMessages#2) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new I18nMessages(getMessages#2).locale != null | 2009-09-04 18:33:31 |
| + | post | new Locale(AbstractWeblogEntriesPager#2) num objects == 0 | 2009-09-04 18:33:31 |
| + | post | new Locale(AbstractWeblogEntriesPager#2)._tainted == 0 | 2009-09-04 18:33:31 |
| + | post | new Locale(AbstractWeblogEntriesPager#3) num objects == 0 | 2009-09-04 18:33:31 |
| + | post | new Locale(AbstractWeblogEntriesPager#3)._tainted == 0 | 2009-09-04 18:33:31 |
| + | post | new SimpleDateFormat(WeblogEntriesDayPager#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new SimpleDateFormat(WeblogEntriesDayPager#2) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new TreeMap(getEntries#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | this.catPath == catPath | 2009-09-04 18:33:31 |
| + | post | this.dateString == dateString | 2009-09-04 18:33:31 |
| + | post | this.dayFormat == &new SimpleDateFormat(WeblogE ntriesDayPager#2) | 2009-09-04 18:33:31 |
| + | post | this.entries == &new TreeMap(getEntries#1) | 2009-09-04 18:33:31 |
| + | post | this.entryAnchor == entryAnchor | 2009-09-04 18:33:31 |
| + | post | this.locale == null | 2009-09-04 18:33:31 |
| + | post | this.messageUtils != null | 2009-09-04 18:33:31 |
| + | post | this.page == One-of{0, page} | 2009-09-04 18:33:31 |
| + | post | this.page >= 0 | 2009-09-04 18:33:31 |
| + | post | this.pageLink == pageLink | 2009-09-04 18:33:31 |
| + | post | this.tags != null | 2009-09-04 18:33:31 |
| + | post | this.tags == One-of{&new ArrayList(AbstractWebl ogEntriesPager#1), tags} | 2009-09-04 18:33:31 |
| + | post | this.urlStrategy == strat | 2009-09-04 18:33:31 |
| + | post | this.weblog != null | 2009-09-04 18:33:31 |
| + | post | this.weblog == weblog | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:split | 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.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.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Calendar:getInstance | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Calendar:getTime | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Calendar:setTime | 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.List:add | 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 java.util.Locale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Locale:toString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:keySet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:put | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ResourceBundle:getBundle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ResourceBundle:getString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Set:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TreeMap | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.collections.comparators. ReverseComparator | 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.commons.logging.Log:warn | 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:getEndOfDay | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.util.DateUtil:getStartOfD ay | 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. 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.config. WebloggerRuntimeConfig:getIntProperty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEntryDisplayCount | 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 parseDate | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Date:after(...)@90: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Date:before(...)@101: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.pojos.Weblog:getDateCre ated(...)@100: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |