| method | void org.apache.roller.weblogger.ui.rendering. pagers.WeblogEntriesPreviewPager(URLStrategy, Weblog, String, String, String, String, String, List, int) |
| pre | locale == null |
| pre | org/apache/roller/weblogger/util/I18nMessages. messagesMap != null |
| pre | weblog != null |
| post | this.catPath == catPath |
| post | init'ed(this.catPath) |
| post | init'ed(this.currEntry) |
| post | this.dateString == dateString |
| post | init'ed(this.dateString) |
| post | init'ed(this.entries) |
| post | this.entryAnchor == entryAnchor |
| post | init'ed(this.entryAnchor) |
| post | init'ed(this.length) |
| post | this.locale == null |
| post | this.messageUtils != null |
| post | init'ed(this.nextEntry) |
| post | init'ed(this.offset) |
| post | this.page == One-of{0, page} |
| post | this.page >= 0 |
| post | this.pageLink == pageLink |
| post | init'ed(this.pageLink) |
| post | init'ed(this.prevEntry) |
| post | this.tags == One-of{&new ArrayList(AbstractWebl ogEntriesPager#1), tags} |
| post | this.tags != null |
| post | this.urlStrategy == strat |
| post | init'ed(this.urlStrategy) |
| post | this.weblog == weblog |
| post | this.weblog != null |
| post | new ArrayList(AbstractWeblogEntriesPager#1) num objects == 1 |
| post | new I18nMessages(getMessages#2) num objects <= 1 |
| post | init'ed(new I18nMessages(getMessages#2).bundle) |
| post | new I18nMessages(getMessages#2).locale != null |
| post | new Locale(AbstractWeblogEntriesPager#2) num objects == 0 |
| post | new Locale(AbstractWeblogEntriesPager#2)._tainted == 0 |
| post | new Locale(AbstractWeblogEntriesPager#3)._tainted == 0 |
| post | new Locale(AbstractWeblogEntriesPager#3) num objects == 0 |
| post | new TreeMap(getEntries#1) num objects <= 1 |
| post | new TreeMap(getEntries#3) num objects <= 1 |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager |
| unanalyzed | call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryByAnchor |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:setData |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime |
| unanalyzed | call on java.lang.System:currentTimeMillis |
| unanalyzed | call on java.sql.Timestamp |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:setPubTime |
| unanalyzed | call on java.util.TreeMap |
| unanalyzed | call on java.util.Collections:singletonList |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getStatus |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.sql.Timestamp:getTime |
| unanalyzed | call on java.util.Date |
| unanalyzed | call on org.apache.roller.weblogger.ui.rendering. pagers.AbstractWeblogEntriesPager |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getIntProperty |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEntryDisplayCount |
| unanalyzed | call on java.lang.String:split |
| unanalyzed | call on java.util.Locale |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getLocaleInstance |
| unanalyzed | call on java.util.ResourceBundle:getBundle |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on java.util.Map:get |
| unanalyzed | call on java.util.Locale:toString |
| method | Map getEntries() |
| pre | init'ed(this.entries) |
| pre | (soft) log != null |
| pre | (soft) init'ed(this.entryAnchor) |
| pre | (soft) init'ed(this.weblog) |
| presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@67 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@66 != null |
| post | return_value == One-of{old this.entries, &new TreeMap(getEntries#3)} |
| post | init'ed(return_value) |
| post | this.entries == return_value |
| post | possibly_updated(this.currEntry) |
| post | new TreeMap(getEntries#3) num objects <= 1 |
| test_vector | this.entries: Inverse{null}, Addr_Set{null} |
| test_vector | org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryByAnchor(...)@68: Addr_Set{null}, Inverse{null} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogEntry:getPu bTime(...)@76: Inverse{null}, Addr_Set{null} |