| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.urlStrategy) | 2009-09-04 18:33:31 |
| + | pre | entry != null | 2009-09-04 18:33:31 |
| + | post | new ArrayList(getComments#1*) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new ArrayList(getComments#2*) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new ArrayList(getComments#2*) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 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:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:size | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getComments | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos.wrapper. WeblogEntryCommentWrapper:wrap | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos.wrapper. WeblogEntryWrapper:getPojo | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) entry != null | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.urlStrategy) | 2009-09-04 18:33:31 |
| + | pre | (soft) mLogger != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.mRefererMgr != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.mRequest != null | 2009-09-04 18:33:31 |
| + | presumption | init'ed(org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN) | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@558 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business.referrers. RefererManager:getReferersToEntry(...)@553 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogReferrer:ge tVisible(...)@563 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogReferrer:ge tWebsite(...)@563 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.ui.core. RollerSession:getRollerSession(...)@554 != null | 2009-09-04 18:33:31 |
| + | post | new ArrayList(getEntryReferers#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new ArrayList(getEntryReferers #1) | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.Boolean:booleanValue(...)@563: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.lang.StringUtils:isNotEmpty(... )@561: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.pojos.Weblog:hasUserPer missions(...)@563: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.mCategory) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.mLocale) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.urlStrategy) | 2009-09-04 18:33:31 |
| + | pre | (soft) mLogger != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.mWeblogMgr != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.mEntry) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.mFirstEntry) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.mNextEntry) | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.wrapper. WeblogEntryWrapper:getPubTime(...)@692 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | this.mNextEntry == return_value | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:equals | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getStatus | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos.wrapper. WeblogEntryWrapper:wrap | 2009-09-04 18:33:31 |
| + | test_vector | java.sql.Timestamp:after(...)@692: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.business. WeblogManager:getNextEntry(...)@685: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | this.mCategory: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | this.mFirstEntry: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | this.mNextEntry: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.mCategory) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.mLocale) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.urlStrategy) | 2009-09-04 18:33:31 |
| + | pre | (soft) mLogger != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.mWeblogMgr != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.mEntry) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.mLastEntry) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.mPreviousEntry) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | this.mPreviousEntry == return_value | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:equals | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getStatus | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos.wrapper. WeblogEntryWrapper:wrap | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.business. WeblogManager:getPreviousEntry(...)@717: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | this.mCategory: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | this.mLastEntry: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | this.mPreviousEntry: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.mWebsite) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.urlStrategy) | 2009-09-04 18:33:31 |
| + | pre | (soft) mLogger != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WeblogManager:getComments(...)@800 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@799 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@799 != null | 2009-09-04 18:33:31 |
| + | post | new ArrayList(getRecentComments#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new ArrayList(getRecentComments#2) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | return_value == One-of{&new ArrayList(getRecent Comments#2), &new ArrayList(getRecentComments#1 )} | 2009-09-04 18:33:31 |
| + | post | return_value in Addr_Set{&new ArrayList(getRece ntComments#1),&new ArrayList(getRecentComments# 2)} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.mCategory) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.mDate) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.mIsDaySpecified) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.mIsMonthSpecified) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.mLocale) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.mWebsite) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.urlStrategy) | 2009-09-04 18:33:31 |
| + | pre | (soft) mLogger != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Map:get(...)@406 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Map:keySet(...)@400 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryObjectMap(...)@389 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@389 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@389 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.Weblog:getDefault Category(...)@362 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tPath(...)@362 != null | 2009-09-04 18:33:31 |
| + | post | (soft) return_value != null | 2009-09-04 18:33:31 |
| + | post | new HashMap(getRecentWeblogEntries#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.mFirstEntry) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.mLastEntry) | 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.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.Set:size | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Set:toArray | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@350: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@363: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@401: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | this.mCategory: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | this.mDate: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| + | test_vector | this.mIsDaySpecified: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | this.mIsMonthSpecified: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | this.mWebsite: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.mCategory) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.mDate) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.mLocale) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.mWebsite) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.urlStrategy) | 2009-09-04 18:33:31 |
| + | pre | (soft) mLogger != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WeblogManager:getWeblogEntries(...)@490 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@485 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@485 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.Weblog:getDefault Category(...)@480 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tPath(...)@480 != null | 2009-09-04 18:33:31 |
| + | post | new ArrayList(getRecentWeblogEntriesArray#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new ArrayList(getRecentWeblogEntriesArray#3) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | return_value == One-of{&new ArrayList(getRecent WeblogEntriesArray#3), &new ArrayList(getRecent WeblogEntriesArray#1)} | 2009-09-04 18:33:31 |
| + | post | return_value in Addr_Set{&new ArrayList(getRece ntWeblogEntriesArray#1),&new ArrayList(getRecen tWeblogEntriesArray#3)} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@465: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@481: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | this.mCategory: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | this.mDate: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| + | test_vector | this.mWebsite: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.mWebsite) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.urlStrategy) | 2009-09-04 18:33:31 |
| + | pre | (soft) mLogger != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.mRefererMgr != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.mRequest != null | 2009-09-04 18:33:31 |
| + | pre | date != null | 2009-09-04 18:33:31 |
| + | presumption | init'ed(org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN) | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@530 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business.referrers. RefererManager:getReferersToDate(...)@524 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogReferrer:ge tVisible(...)@535 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogReferrer:ge tWebsite(...)@535 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.ui.core. RollerSession:getRollerSession(...)@526 != null | 2009-09-04 18:33:31 |
| + | post | new ArrayList(getReferers#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new ArrayList(getReferers#1) | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.Boolean:booleanValue(...)@535: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.lang.StringUtils:isNotEmpty(... )@533: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.pojos.Weblog:hasUserPer missions(...)@535: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) this.mBookmarkMgr != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.mUserMgr != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.mWebsite != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. BookmarkManager:getRootFolder(...)@181 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getFolders(...)@181 != null | 2009-09-04 18:33:31 |
| + | post | new ArrayList(getTopLevelFolders#1) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new ArrayList(getTopLevelFolders#2) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | return_value == One-of{&new ArrayList(getTopLev elFolders#1), &new ArrayList(getTopLevelFolders #2)} | 2009-09-04 18:33:31 |
| + | post | return_value in Addr_Set{&new ArrayList(getTopL evelFolders#1),&new ArrayList(getTopLevelFolder s#2)} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.urlStrategy) | 2009-09-04 18:33:31 |
| + | pre | (soft) mLogger != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.mWeblogMgr != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.mWebsite != null | 2009-09-04 18:33:31 |
| + | pre | this.mCategories != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WeblogManager:getWeblogCategoryByPath(...)@632 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.Weblog:getDefault Category(...)@635 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogCategory:ge tWeblogCategories(...)@638 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | new HashSet(getWeblogCategories#1) num objects <= 1 | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@619: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@644: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) mLogger != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.mPageMap != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Collections.EMPTY_LIST != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@150 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@130 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@131 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@132 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@133 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@143 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogTheme:getTe mplates(...)@143 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(this.mBookmarkMgr) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.mCategory) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.mDate) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.mEntry) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.mIsDaySpecified) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.mIsMonthSpecified) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.mLocale) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.mRefererMgr) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.mRequest) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.mUserMgr) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.mWeblogMgr) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.mWebsite) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.urlStrategy) | 2009-09-04 18:33:31 |
| + | post | this.mCategory == category | 2009-09-04 18:33:31 |
| + | post | this.mDate == date | 2009-09-04 18:33:31 |
| + | post | this.mEntry == entry | 2009-09-04 18:33:31 |
| + | post | this.mIsDaySpecified == isDay | 2009-09-04 18:33:31 |
| + | post | this.mIsMonthSpecified == isMonth | 2009-09-04 18:33:31 |
| + | post | this.mLocale == locale | 2009-09-04 18:33:31 |
| + | post | this.mRequest == request | 2009-09-04 18:33:31 |
| + | post | this.mWebsite == website | 2009-09-04 18:33:31 |
| + | post | this.urlStrategy == strat | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@149: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | website: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | days != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Map:get(...)@434 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Map:get(...)@441 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Map:keySet(...)@429 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Map:keySet(...)@433 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Set:size(...)@429 <= keys.length@433 | 2009-09-04 18:33:31 |
| + | presumption | java.util.Set:toArray(...)@433 != null | 2009-09-04 18:33:31 |
| + | presumption | keys.length@433 >= 1 | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.mFirstEntry) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.mLastEntry) | 2009-09-04 18:33:31 |
| + | test_vector | java.util.List:size(...)@435: {-231..0}, {1..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.List:size(...)@442: {-231..0}, {1..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Set:size(...)@429: {-231..0}, {1..232-1} | 2009-09-04 18:33:31 |