Messages

Last Msg First Msg

method	org.apache.roller.weblogger.ui.rendering.velocity. deprecated.OldWeblogPageModel__static_init
presumption	org.apache.commons.logging.LogFactory:getFactory(.. .)@71 != null
post	init'ed(mLogger)

info method not available -- call on LogFactory org.apache.commons.logging. LogFactory:getFactory()

info method not available -- call on Log org.apache.commons.logging. LogFactory:getInstance(Class)

method	void org.apache.roller.weblogger.ui.rendering. velocity.deprecated.OldWeblogPageModel()
post	this.mBookmarkMgr == null
post	this.mCategory == null
post	this.mDate == null
post	this.mEntry == null
post	this.mFirstEntry == null
post	this.mLastEntry == null
post	this.mLocale == null
post	this.mNextEntry == null
post	this.mPreviousEntry == null
post	this.mRefererMgr == null
post	this.mRequest == null
post	this.mUserMgr == null
post	this.mWeblogMgr == null
post	this.mWebsite == null
post	this.urlStrategy == null
post	this.mCategories == &new HashMap(OldWeblogPageM odel#1)
post	this.mIsDaySpecified == 0
post	this.mIsMonthSpecified == 0
post	this.mPageMap == &new HashMap(OldWeblogPageMode l#2)
post	new HashMap(OldWeblogPageModel#1) num objects == 1
post	new HashMap(OldWeblogPageModel#2) num objects == 1

method	String getModelName()
post	return_value == &"pageModel"

method	void init(URLStrategy, HttpServletRequest, Weblog, WeblogEntry, WeblogCategory, Date, bool, bool, String)
pre	(soft) mLogger != null
pre	(soft) this.mPageMap != null
presumption	java.util.Collections.EMPTY_LIST != null
presumption	java.util.Iterator:next(...)@150 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@130 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@131 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@132 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@133 != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@143 != null
presumption	org.apache.roller.weblogger.pojos.WeblogTheme:getTe mplates(...)@143 != null
post	init'ed(this.mBookmarkMgr)
post	this.mCategory == category
post	init'ed(this.mCategory)
post	this.mDate == date
post	init'ed(this.mDate)
post	this.mEntry == entry
post	init'ed(this.mEntry)
post	this.mIsDaySpecified == isDay
post	init'ed(this.mIsDaySpecified)
post	this.mIsMonthSpecified == isMonth
post	init'ed(this.mIsMonthSpecified)
post	this.mLocale == locale
post	init'ed(this.mLocale)
post	init'ed(this.mRefererMgr)
post	this.mRequest == request
post	init'ed(this.mRequest)
post	init'ed(this.mUserMgr)
post	init'ed(this.mWeblogMgr)
post	this.mWebsite == website
post	init'ed(this.mWebsite)
post	this.urlStrategy == strat
post	init'ed(this.urlStrategy)
test_vector	website: Addr_Set{null}, Inverse{null}
test_vector	java.util.Iterator:hasNext(...)@149: {0}, {1}

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on BookmarkManager org.apache.roller. weblogger.business.Weblogger:getBookmarkManager()

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on RefererManager org.apache.roller. weblogger.business.Weblogger:getRefererManager()

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

info method not available -- call on WeblogTheme org.apache.roller.weblogger. pojos.Weblog:getTheme()

info method not available -- call on List org.apache.roller.weblogger.pojos. WeblogTheme:getTemplates()

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

info method not available -- call on String org.apache.roller.weblogger. pojos.ThemeTemplate:getName()

info method not available -- call on ThemeTemplateWrapper org.apache.roller. weblogger.pojos.wrapper.ThemeTemplateWrapper:wrap(T hemeTemplate)

method	Collection getBookmarks(WeblogBookmarkFolderWrappe r)
pre	(soft) mLogger != null
post	init'ed(return_value)
test_vector	folder: Addr_Set{null}, Inverse{null}

info method not available -- call on String org.apache.roller.weblogger. pojos.wrapper.WeblogBookmarkFolderWrapper:getName()

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on List org.apache.roller.weblogger.pojos. wrapper.WeblogBookmarkFolderWrapper:getBookmarks()

method	Collection getTopLevelFolders()
pre	(soft) this.mBookmarkMgr != null
pre	(soft) this.mUserMgr != null
pre	(soft) this.mWebsite != null
presumption	org.apache.roller.weblogger.business. BookmarkManager:getRootFolder(...)@181 != null
presumption	org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getFolders(...)@181 != null
post	return_value == One-of{&new ArrayList(getTopLev elFolders#1), &new ArrayList(getTopLevelFolders #2)}
post	return_value in Addr_Set{&new ArrayList(getTopL evelFolders#1),&new ArrayList(getTopLevelFolder s#2)}
post	new ArrayList(getTopLevelFolders#1) num objects <= 1
post	new ArrayList(getTopLevelFolders#2) num objects <= 1

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()

info method not available -- call on Weblog org.apache.roller.weblogger. business.UserManager:getWebsiteByHandle(String)

info method not available -- call on WeblogBookmarkFolder org.apache.roller. weblogger.business.BookmarkManager:getRootFolder(We blog)

info method not available -- call on Set org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getFolders()

info method not available -- call on WeblogBookmarkFolderWrapper org.apache.roller.weblogger.pojos.wrapper. WeblogBookmarkFolderWrapper:wrap(WeblogBookmarkFold er)

Prev Msg Next Msg

+

click for all messages in this file low

overflow check might fail: requires i in -2³¹-1.. 2³²-2

Prev Msg Next Msg

method	int getCommentCount(String)
pre	(soft) this.mWeblogMgr != null
post	init'ed(return_value)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getComments
unanalyzed	call on java.util.List:size
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntry

method	int getCommentCount(String, bool, bool)
pre	(soft) this.mWeblogMgr != null
presumption	org.apache.roller.weblogger.business. WeblogManager:getWeblogEntry(...)@208 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getCo mments(...)@209 != null
post	init'ed(return_value)

info method not available -- call on WeblogEntry org.apache.roller.weblogger. business.WeblogManager:getWeblogEntry(String)

info method not available -- call on List org.apache.roller.weblogger.pojos. WeblogEntry:getComments(bool, bool)

method	List getComments(WeblogEntryWrapper)
pre	entry != null
pre	(soft) init'ed(this.urlStrategy)
post	return_value == &new ArrayList(getComments#2*)
post	new ArrayList(getComments#1*) num objects == 1
post	new ArrayList(getComments#2*) num objects == 1
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.ArrayList
unanalyzed	call on org.apache.roller.weblogger.pojos.wrapper. WeblogEntryWrapper:getPojo
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getComments
unanalyzed	call on java.util.List:size
unanalyzed	call on org.apache.roller.weblogger.pojos.wrapper. WeblogEntryCommentWrapper:wrap
unanalyzed	call on java.util.List:add

method	List getComments(WeblogEntryWrapper, bool, bool)
pre	wrapper != null
pre	(soft) init'ed(this.urlStrategy)
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getCo mments(...)@225 != null
presumption	org.apache.roller.weblogger.pojos.wrapper. WeblogEntryWrapper:getPojo(...)@223 != null
post	return_value == &new ArrayList(getComments#2)
post	new ArrayList(getComments#1) num objects == 1
post	new ArrayList(getComments#2) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@228: {0}, {1}

info method not available -- call on WeblogEntry org.apache.roller.weblogger. pojos.wrapper.WeblogEntryWrapper:getPojo()

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into comments

Prev Msg Next Msg

info method not available -- call on List org.apache.roller.weblogger.pojos. WeblogEntry:getComments(bool, bool)

info method not available -- call on WeblogEntryCommentWrapper org.apache.roller.weblogger.pojos.wrapper. WeblogEntryCommentWrapper:wrap(WeblogEntryComment, URLStrategy)

method	int getDayHits()
pre	(soft) mLogger != null
pre	(soft) this.mWeblogMgr != null
pre	(soft) init'ed(this.mWebsite)
post	init'ed(return_value)

info method not available -- call on WeblogHitCount org.apache.roller. weblogger.business.WeblogManager:getHitCountByWeblo g(Weblog)

info method not available -- call on int org.apache.roller.weblogger.pojos. WeblogHitCount:getDailyHits()

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method	WeblogBookmarkFolderWrapper getFolder(String)
pre	(soft) mLogger != null
pre	(soft) this.mBookmarkMgr != null
pre	(soft) this.mUserMgr != null
pre	(soft) this.mWebsite != null
post	init'ed(return_value)

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()

info method not available -- call on Weblog org.apache.roller.weblogger. business.UserManager:getWebsiteByHandle(String)

info method not available -- call on WeblogBookmarkFolder org.apache.roller. weblogger.business.BookmarkManager:getFolder(Weblog , String)

info method not available -- call on WeblogBookmarkFolderWrapper org.apache.roller.weblogger.pojos.wrapper. WeblogBookmarkFolderWrapper:wrap(WeblogBookmarkFold er)

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method	ThemeTemplateWrapper getUsersPageByName(WeblogWrap per, String)
pre	wrapper != null
pre	(soft) mLogger != null
pre	(soft) pageName != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@276 != null
presumption	org.apache.roller.weblogger.pojos.wrapper. WeblogWrapper:getPojo(...)@267 != null
post	init'ed(return_value)

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.wrapper.WeblogWrapper:getPojo()

info method not available -- call on WeblogTheme org.apache.roller.weblogger. pojos.Weblog:getTheme()

info method not available -- call on ThemeTemplate org.apache.roller. weblogger.pojos.WeblogTheme:getTemplateByName(Strin g)

info method not available -- call on ThemeTemplateWrapper org.apache.roller. weblogger.pojos.wrapper.ThemeTemplateWrapper:wrap(T hemeTemplate)

info method not available -- call on void org.apache.commons.logging. Log:warn(Object)

info method not available -- call on String org.apache.roller.weblogger. WebloggerException:getMessage()

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method	ThemeTemplateWrapper getPageByName(String)
pre	this.mPageMap != null
post	init'ed(return_value)

method	String getPageIdByName(String)
pre	mLogger != null
pre	(soft) this.mWebsite != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@301 != null
post	init'ed(return_value)
test_vector	org.apache.roller.weblogger.pojos.WeblogTheme:getTe mplateByName(...)@301: Addr_Set{null}, Inverse{null}

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on String org.apache.roller.weblogger. pojos.ThemeTemplate:getId()

info method not available -- call on void org.apache.commons.logging. Log:error(Object)

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

method	Object getPages()
pre	this.mPageMap != null
post	init'ed(return_value)

method	Map getRecentWeblogEntries(int, String)
pre	(soft) mLogger != null
pre	(soft) init'ed(this.mCategory)
pre	(soft) init'ed(this.mDate)
pre	(soft) init'ed(this.mIsDaySpecified)
pre	(soft) init'ed(this.mIsMonthSpecified)
pre	(soft) init'ed(this.mLocale)
pre	(soft) init'ed(this.mWebsite)
pre	(soft) init'ed(this.urlStrategy)
presumption	java.util.Map:get(...)@406 != null
presumption	java.util.Map:keySet(...)@400 != null
presumption	org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryObjectMap(...)@389 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@389 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@389 != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getDefault Category(...)@362 != null
presumption	org.apache.roller.weblogger.pojos.WeblogCategory:ge tPath(...)@362 != null
post	(soft) return_value != null
post	possibly_updated(this.mFirstEntry)
post	possibly_updated(this.mLastEntry)
post	new HashMap(getRecentWeblogEntries#1) num objects == 1
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:size
unanalyzed	call on java.util.Set:toArray
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.List:get
test_vector	this.mCategory: Addr_Set{null}, Inverse{null}
test_vector	this.mDate: Inverse{null}, Addr_Set{null}
test_vector	this.mIsDaySpecified: {0}, {1}
test_vector	this.mIsMonthSpecified: {0}, {1}
test_vector	this.mWebsite: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@350: {0}, {1}
test_vector	java.lang.String:equals(...)@363: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@401: {0}, {1}

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getPath()

info method not available -- call on WeblogCategory org.apache.roller. weblogger.pojos.Weblog:getDefaultCategory()

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getPath()

info method not available -- call on TimeZone org.apache.roller.weblogger. pojos.Weblog:getTimeZoneInstance()

info method not available -- call on Date org.apache.roller.util. DateUtil:getEndOfDay(Date, Calendar)

info method not available -- call on Date org.apache.roller.util. DateUtil:getStartOfDay(Date, Calendar)

info method not available -- call on Date org.apache.roller.util. DateUtil:getEndOfMonth(Date, Calendar)

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()

info method not available -- call on Map org.apache.roller.weblogger. business.WeblogManager:getWeblogEntryObjectMap(Webl og, Date, Date, String, List, String, String, int, int)

info method not available -- call on WeblogEntryWrapper org.apache.roller. weblogger.pojos.wrapper.WeblogEntryWrapper:wrap(Web logEntry, URLStrategy)

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method	void setFirstAndLastEntries(Map)
pre	days != null
presumption	java.util.Map:get(...)@434 != null
presumption	java.util.Map:get(...)@441 != null
presumption	java.util.Map:keySet(...)@429 != null
presumption	java.util.Map:keySet(...)@433 != null
presumption	java.util.Set:toArray(...)@433 != null
presumption	keys.length@433 >= 1
presumption	java.util.Set:size(...)@429 <= keys.length@433
post	possibly_updated(this.mFirstEntry)
post	possibly_updated(this.mLastEntry)
test_vector	java.util.List:size(...)@435: {-2³¹..0}, {1..2³²-1}
test_vector	java.util.List:size(...)@442: {-2³¹..0}, {1..2³²-1}
test_vector	java.util.Set:size(...)@429: {-2³¹..0}, {1..2³²-1}

method	List getRecentWeblogEntriesArray(int, String)
pre	(soft) mLogger != null
pre	(soft) init'ed(this.mCategory)
pre	(soft) init'ed(this.mDate)
pre	(soft) init'ed(this.mLocale)
pre	(soft) init'ed(this.mWebsite)
pre	(soft) init'ed(this.urlStrategy)
presumption	org.apache.roller.weblogger.business. WeblogManager:getWeblogEntries(...)@490 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@485 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@485 != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getDefault Category(...)@480 != null
presumption	org.apache.roller.weblogger.pojos.WeblogCategory:ge tPath(...)@480 != null
post	return_value == One-of{&new ArrayList(getRecent WeblogEntriesArray#3), &new ArrayList(getRecent WeblogEntriesArray#1)}
post	return_value in Addr_Set{&new ArrayList(getRece ntWeblogEntriesArray#1),&new ArrayList(getRecen tWeblogEntriesArray#3)}
post	new ArrayList(getRecentWeblogEntriesArray#1) num objects == 1
post	new ArrayList(getRecentWeblogEntriesArray#3) num objects <= 1
test_vector	this.mCategory: Addr_Set{null}, Inverse{null}
test_vector	this.mDate: Inverse{null}, Addr_Set{null}
test_vector	this.mWebsite: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@465: {0}, {1}
test_vector	java.lang.String:equals(...)@481: {0}, {1}

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getPath()

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires this.mWebsite != null

info method not available -- call on int org.apache.roller.weblogger.pojos. Weblog:getEntryDisplayCount()

info method not available -- call on List org.apache.roller.weblogger. business.WeblogManager:getWeblogEntries(Weblog, User, Date, Date, String, List, String, String, String, String, String, int, int)

Prev Msg Next Msg

info method not available -- call on WeblogEntryWrapper org.apache.roller. weblogger.pojos.wrapper.WeblogEntryWrapper:wrap(Web logEntry, URLStrategy)

Prev Msg Next Msg

+

click for all messages in this file low

overflow check might fail: requires i in -2³¹-1.. 2³²-2

Prev Msg Next Msg

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method	List getReferers(String)
pre	date != null
pre	(soft) mLogger != null
pre	(soft) this.mRefererMgr != null
pre	(soft) this.mRequest != null
pre	(soft) init'ed(this.mWebsite)
pre	(soft) init'ed(this.urlStrategy)
presumption	java.util.Iterator:next(...)@530 != null
presumption	org.apache.roller.weblogger.business.referrers. RefererManager:getReferersToDate(...)@524 != null
presumption	init'ed(org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN)
presumption	org.apache.roller.weblogger.pojos.WeblogReferrer:ge tVisible(...)@535 != null
presumption	org.apache.roller.weblogger.pojos.WeblogReferrer:ge tWebsite(...)@535 != null
presumption	org.apache.roller.weblogger.ui.core. RollerSession:getRollerSession(...)@526 != null
post	return_value == &new ArrayList(getReferers#1)
post	new ArrayList(getReferers#1) num objects == 1
test_vector	java.lang.Boolean:booleanValue(...)@535: {1}, {0}
test_vector	org.apache.commons.lang.StringUtils:isNotEmpty(... )@533: {0}, {1}
test_vector	org.apache.roller.weblogger.pojos.Weblog:hasUserPer missions(...)@535: {0}, {1}

info method not available -- call on List org.apache.roller.weblogger. business.referrers.RefererManager:getReferersToDate (Weblog, String)

info method not available -- call on RollerSession org.apache.roller. weblogger.ui.core.RollerSession:getRollerSession(Ht tpServletRequest)

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogReferrer:getTitle()

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogReferrer:getExcerpt()

info method not available -- call on bool org.apache.commons.lang. StringUtils:isNotEmpty(String)

info method not available -- call on Boolean org.apache.roller.weblogger. pojos.WeblogReferrer:getVisible()

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogReferrer:getWebsite()

info method not available -- call on User org.apache.roller.weblogger.ui. core.RollerSession:getAuthenticatedUser()

info method not available -- call on bool org.apache.roller.weblogger.pojos. Weblog:hasUserPermissions(User, short)

info method not available -- call on WeblogReferrerWrapper org.apache.roller. weblogger.pojos.wrapper.WeblogReferrerWrapper:wrap( WeblogReferrer, URLStrategy)

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method	List getEntryReferers(WeblogEntryWrapper)
pre	(soft) entry != null
pre	(soft) mLogger != null
pre	(soft) this.mRefererMgr != null
pre	(soft) this.mRequest != null
pre	(soft) init'ed(this.urlStrategy)
presumption	java.util.Iterator:next(...)@558 != null
presumption	org.apache.roller.weblogger.business.referrers. RefererManager:getReferersToEntry(...)@553 != null
presumption	init'ed(org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN)
presumption	org.apache.roller.weblogger.pojos.WeblogReferrer:ge tVisible(...)@563 != null
presumption	org.apache.roller.weblogger.pojos.WeblogReferrer:ge tWebsite(...)@563 != null
presumption	org.apache.roller.weblogger.ui.core. RollerSession:getRollerSession(...)@554 != null
post	return_value == &new ArrayList(getEntryReferers #1)
post	new ArrayList(getEntryReferers#1) num objects == 1
test_vector	java.lang.Boolean:booleanValue(...)@563: {1}, {0}
test_vector	org.apache.commons.lang.StringUtils:isNotEmpty(... )@561: {0}, {1}
test_vector	org.apache.roller.weblogger.pojos.Weblog:hasUserPer missions(...)@563: {0}, {1}

info method not available -- call on String org.apache.roller.weblogger. pojos.wrapper.WeblogEntryWrapper:getId()

info method not available -- call on List org.apache.roller.weblogger. business.referrers.RefererManager:getReferersToEntr y(String)

info method not available -- call on RollerSession org.apache.roller. weblogger.ui.core.RollerSession:getRollerSession(Ht tpServletRequest)

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogReferrer:getTitle()

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogReferrer:getExcerpt()

info method not available -- call on bool org.apache.commons.lang. StringUtils:isNotEmpty(String)

info method not available -- call on WeblogReferrerWrapper org.apache.roller. weblogger.pojos.wrapper.WeblogReferrerWrapper:wrap( WeblogReferrer, URLStrategy)

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method	List getTodaysReferers()
pre	this.mWebsite != null
post	init'ed(return_value)

info method not available -- call on List org.apache.roller.weblogger.pojos. Weblog:getTodaysReferrers()

method	int getTotalHits()
pre	this.mWebsite != null
post	init'ed(return_value)

info method not available -- call on int org.apache.roller.weblogger.pojos. Weblog:getTodaysHits()

method	Date getUpdateTime(ArrayList)
pre	weblogEntries != null
presumption	java.util.ArrayList:iterator(...)@599 != null
presumption	java.util.Iterator:next(...)@602 != null
post	init'ed(return_value)
test_vector	java.util.Date:before(...)@607: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@600: {0}, {1}

info method not available -- call on Timestamp org.apache.roller.weblogger. pojos.WeblogEntry:getUpdateTime()

method	Set getWeblogCategories(String)
pre	this.mCategories != null
pre	(soft) mLogger != null
pre	(soft) this.mWeblogMgr != null
pre	(soft) this.mWebsite != null
pre	(soft) init'ed(this.urlStrategy)
presumption	org.apache.roller.weblogger.business. WeblogManager:getWeblogCategoryByPath(...)@632 != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getDefault Category(...)@635 != null
presumption	org.apache.roller.weblogger.pojos.WeblogCategory:ge tWeblogCategories(...)@638 != null
post	init'ed(return_value)
post	new HashSet(getWeblogCategories#1) num objects <= 1
test_vector	java.lang.String:equals(...)@619: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@644: {0}, {1}

info method not available -- call on WeblogCategory org.apache.roller. weblogger.business.WeblogManager:getWeblogCategoryB yPath(Weblog, String)

info method not available -- call on WeblogCategory org.apache.roller. weblogger.pojos.Weblog:getDefaultCategory()

info method not available -- call on Set org.apache.roller.weblogger.pojos. WeblogCategory:getWeblogCategories()

info method not available -- call on WeblogCategoryWrapper org.apache.roller. weblogger.pojos.wrapper.WeblogCategoryWrapper:wrap( WeblogCategory, URLStrategy)

Prev Msg Next Msg

+

click for all messages in this file low

overflow check might fail: requires i in -2³¹-1.. 2³²-2

Prev Msg Next Msg

info method not available -- call on void org.apache.commons.logging. Log:error(Object)

method	WeblogEntryWrapper getWeblogEntry()
pre	init'ed(this.mEntry)
pre	(soft) init'ed(this.urlStrategy)
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getSt atus(...)@665 != null
post	init'ed(return_value)
test_vector	this.mEntry: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@665: {0}, {1}

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getStatus()

info method not available -- call on WeblogEntryWrapper org.apache.roller. weblogger.pojos.wrapper.WeblogEntryWrapper:wrap(Web logEntry, URLStrategy)

method	WeblogEntryWrapper getNextEntry()
pre	init'ed(this.mNextEntry)
pre	init'ed(this.mEntry)
pre	init'ed(this.mFirstEntry)
pre	(soft) mLogger != null
pre	(soft) init'ed(this.mCategory)
pre	(soft) init'ed(this.mLocale)
pre	(soft) this.mWeblogMgr != null
pre	(soft) init'ed(this.urlStrategy)
presumption	org.apache.roller.weblogger.pojos.wrapper. WeblogEntryWrapper:getPubTime(...)@692 != null
post	init'ed(return_value)
post	this.mNextEntry == return_value
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getStatus
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.pojos.wrapper. WeblogEntryWrapper:wrap
test_vector	this.mNextEntry: Inverse{null}, Addr_Set{null}
test_vector	this.mCategory: Addr_Set{null}, Inverse{null}
test_vector	this.mFirstEntry: Addr_Set{null}, Inverse{null}
test_vector	java.sql.Timestamp:after(...)@692: {0}, {1}
test_vector	org.apache.roller.weblogger.business. WeblogManager:getNextEntry(...)@685: Addr_Set{null}, Inverse{null}

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getName()

info method not available -- call on WeblogEntry org.apache.roller.weblogger. pojos.wrapper.WeblogEntryWrapper:getPojo()

info method not available -- call on WeblogEntry org.apache.roller.weblogger. business.WeblogManager:getNextEntry(WeblogEntry, String, String)

info method not available -- call on WeblogEntryWrapper org.apache.roller. weblogger.pojos.wrapper.WeblogEntryWrapper:wrap(Web logEntry, URLStrategy)

info method not available -- call on Timestamp org.apache.roller.weblogger. pojos.wrapper.WeblogEntryWrapper:getPubTime()

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method	WeblogEntryWrapper getPreviousEntry()
pre	init'ed(this.mPreviousEntry)
pre	init'ed(this.mEntry)
pre	init'ed(this.mLastEntry)
pre	(soft) mLogger != null
pre	(soft) init'ed(this.mCategory)
pre	(soft) init'ed(this.mLocale)
pre	(soft) this.mWeblogMgr != null
pre	(soft) init'ed(this.urlStrategy)
post	init'ed(return_value)
post	this.mPreviousEntry == return_value
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getStatus
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.pojos.wrapper. WeblogEntryWrapper:wrap
test_vector	this.mPreviousEntry: Inverse{null}, Addr_Set{null}
test_vector	this.mCategory: Addr_Set{null}, Inverse{null}
test_vector	this.mLastEntry: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.business. WeblogManager:getPreviousEntry(...)@717: Addr_Set{null}, Inverse{null}

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getName()

info method not available -- call on WeblogEntryWrapper org.apache.roller. weblogger.pojos.wrapper.WeblogEntryWrapper:wrap(Web logEntry, URLStrategy)

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method	bool isUserAuthorizedToEdit()
pre	(soft) mLogger != null
pre	(soft) init'ed(this.mRequest)
pre	(soft) init'ed(this.mWebsite)
presumption	init'ed(org.apache.roller.weblogger.pojos. WeblogPermission.AUTHOR)
post	init'ed(return_value)

info method not available -- call on RollerSession org.apache.roller. weblogger.ui.core.RollerSession:getRollerSession(Ht tpServletRequest)

info method not available -- call on User org.apache.roller.weblogger.ui. core.RollerSession:getAuthenticatedUser()

info method not available -- call on User org.apache.roller.weblogger.ui. core.RollerSession:getAuthenticatedUser()

info method not available -- call on bool org.apache.roller.weblogger.pojos. Weblog:hasUserPermissions(User, short)

info method not available -- call on void org.apache.commons.logging. Log:warn(Object, Throwable)

method	bool isUserAuthorizedToAdmin()
pre	(soft) mLogger != null
pre	(soft) init'ed(this.mRequest)
pre	(soft) init'ed(this.mWebsite)
presumption	init'ed(org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN)
post	init'ed(return_value)

info method not available -- call on RollerSession org.apache.roller. weblogger.ui.core.RollerSession:getRollerSession(Ht tpServletRequest)

info method not available -- call on User org.apache.roller.weblogger.ui. core.RollerSession:getAuthenticatedUser()

info method not available -- call on void org.apache.commons.logging. Log:warn(Object, Throwable)

method	bool isUserAuthenticated()
pre	this.mRequest != null
post	init'ed(return_value)

method	String getRequestParameter(String)
pre	this.mRequest != null
post	init'ed(return_value)

method	int getIntRequestParameter(String)
pre	this.mRequest != null
post	init'ed(return_value)

method	WeblogBookmarkFolderWrapper getFolderByPath(String )
pre	(soft) mLogger != null
pre	(soft) this.mBookmarkMgr != null
pre	(soft) init'ed(this.mWebsite)
post	init'ed(return_value)

info method not available -- call on WeblogBookmarkFolder org.apache.roller. weblogger.business.BookmarkManager:getFolder(Weblog , String)

info method not available -- call on WeblogBookmarkFolderWrapper org.apache.roller.weblogger.pojos.wrapper. WeblogBookmarkFolderWrapper:wrap(WeblogBookmarkFold er)

info method not available -- call on void org.apache.commons.logging. Log:error(Object)

method	List getRecentComments(int)
pre	(soft) mLogger != null
pre	(soft) init'ed(this.mWebsite)
pre	(soft) init'ed(this.urlStrategy)
presumption	org.apache.roller.weblogger.business. WeblogManager:getComments(...)@800 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@799 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@799 != null
post	return_value == One-of{&new ArrayList(getRecent Comments#2), &new ArrayList(getRecentComments#1 )}
post	return_value in Addr_Set{&new ArrayList(getRece ntComments#1),&new ArrayList(getRecentComments# 2)}
post	new ArrayList(getRecentComments#1) num objects == 1
post	new ArrayList(getRecentComments#2) num objects <= 1

info method not available -- call on List org.apache.roller.weblogger. business.WeblogManager:getComments(Weblog, WeblogEntry, String, Date, Date, String, bool, int, int)

info method not available -- call on WeblogEntryCommentWrapper org.apache.roller.weblogger.pojos.wrapper. WeblogEntryCommentWrapper:wrap(WeblogEntryComment, URLStrategy)

info method not available -- call on void org.apache.commons.logging. Log:error(Object)

method	bool getEmailComments()
pre	init'ed(this.mWebsite)
presumption	org.apache.roller.weblogger.pojos.Weblog:getEmailCo mments(...)@826 != null
post	init'ed(return_value)
test_vector	this.mWebsite: Addr_Set{null}, Inverse{null}

info method not available -- call on bool org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getBooleanProperty(String)

info method not available -- call on Boolean org.apache.roller.weblogger. pojos.Weblog:getEmailComments()

	info	method not available	-- call on LogFactory org.apache.commons.logging. LogFactory:getFactory()
	info	method not available	-- call on Log org.apache.commons.logging. LogFactory:getInstance(Class)

	info	method not available	-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
	info	method not available	-- call on BookmarkManager org.apache.roller. weblogger.business.Weblogger:getBookmarkManager()

	info	method not available	-- call on WeblogTheme org.apache.roller.weblogger. pojos.Weblog:getTheme()
	info	method not available	-- call on List org.apache.roller.weblogger.pojos. WeblogTheme:getTemplates()

	info	method not available	-- call on String org.apache.roller.weblogger. pojos.ThemeTemplate:getName()
	info	method not available	-- call on ThemeTemplateWrapper org.apache.roller. weblogger.pojos.wrapper.ThemeTemplateWrapper:wrap(T hemeTemplate)

	info	method not available	-- call on WeblogCategory org.apache.roller. weblogger.pojos.Weblog:getDefaultCategory()
	info	method not available	-- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getPath()

info	method not available	-- call on Boolean org.apache.roller.weblogger. pojos.WeblogReferrer:getVisible()
info	method not available	-- call on Weblog org.apache.roller.weblogger. pojos.WeblogReferrer:getWebsite()
info	method not available	-- call on User org.apache.roller.weblogger.ui. core.RollerSession:getAuthenticatedUser()
info	method not available	-- call on bool org.apache.roller.weblogger.pojos. Weblog:hasUserPermissions(User, short)

	info	method not available	-- call on WeblogEntry org.apache.roller.weblogger. pojos.wrapper.WeblogEntryWrapper:getPojo()
	info	method not available	-- call on WeblogEntry org.apache.roller.weblogger. business.WeblogManager:getNextEntry(WeblogEntry, String, String)