Messages

Last Msg First Msg

method	org.apache.roller.weblogger.ui.struts2.editor. BookmarkEdit__static_init
post	init'ed(log)

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

method	void org.apache.roller.weblogger.ui.struts2. editor.BookmarkEdit()
post	this.actionName == &"bookmarkEdit"
post	this.bean == &new BookmarkBean(BookmarkEdit#1)
post	this.bookmark == null
post	this.bean.description == null
post	this.bean.feedUrl == null
post	this.bean.id == null
post	this.bean.image == null
post	this.bean.name == null
post	this.bean.url == null
post	this.desiredMenu == &"editor"
post	this.pageTitle == &"bookmarkForm.edit.title"
post	new BookmarkBean(BookmarkEdit#1) num objects == 1
post	new Integer(BookmarkBean#1) num objects == 1
post	new Integer(BookmarkBean#2) num objects == 1
post	this.bean.priority == &new Integer(BookmarkBean #2)
post	this.bean.weight == &new Integer(BookmarkBean#1 )
unanalyzed	call on java.lang.Integer

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.util.UIAction()

method	short requiredWeblogPermissions()
presumption	init'ed(org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN)
post	return_value == org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN
post	(soft) init'ed(return_value)

method	void myPrepare()
pre	this.bean != null
pre	init'ed(this.bean.id)
pre	(soft) log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getBookmarkManager(...)@64 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@64 != null
post	possibly_updated(this.bookmark)
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@65: {1}, {0}

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 bool org.apache.commons.lang. StringUtils:isEmpty(String)

info method not available -- call on WeblogBookmark org.apache.roller. weblogger.business.BookmarkManager:getBookmark(Stri ng)

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

method	String execute()
pre	init'ed(this.bookmark)
pre	(soft) this.bean != null
post	return_value in Addr_Set{&"input", &"error"}
post	possibly_updated(this.bean.description)
post	possibly_updated(this.bean.feedUrl)
post	possibly_updated(this.bean.id)
post	possibly_updated(this.bean.image)
post	possibly_updated(this.bean.name)
post	possibly_updated(this.bean.priority)
post	possibly_updated(this.bean.url)
post	possibly_updated(this.bean.weight)
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmark:getId
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmark:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmark:getDescription
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmark:getUrl
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmark:getWeight
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmark:getPriority
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmark:getImage
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmark:getFeedUrl
test_vector	this.bookmark: Inverse{null}, Addr_Set{null}

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.BookmarkEdit:addError(String)

method	String save()
pre	init'ed(this.bookmark)
pre	(soft) log != null
pre	(soft) this.bean != null
pre	(soft) init'ed(this.bean.description)
pre	(soft) init'ed(this.bean.feedUrl)
pre	(soft) init'ed(this.bean.image)
pre	(soft) init'ed(this.bean.name)
pre	(soft) init'ed(this.bean.priority)
pre	(soft) init'ed(this.bean.url)
pre	(soft) init'ed(this.bean.weight)
presumption	org.apache.roller.weblogger.business. Weblogger:getBookmarkManager(...)@105 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@105 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@107 != null
post	return_value in Addr_Set{&"input", &"error"}
unanalyzed	call on java.net.URL
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmark:setName
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmark:setDescription
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmark:setUrl
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmark:setWeight
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmark:setPriority
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmark:setImage
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmark:setFeedUrl
unanalyzed	call on org.apache.commons.lang.StringUtils:isNotEm pty
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. editor.BookmarkEdit:addError
test_vector	this.bookmark: Inverse{null}, Addr_Set{null}
test_vector	org.apache.roller.weblogger.ui.struts2.editor. BookmarkEdit:hasActionErrors(...)@101: {1}, {0}

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.BookmarkEdit:addError(String)

info method not available -- call on bool org.apache.roller.weblogger.ui. struts2.editor.BookmarkEdit:hasActionErrors()

info method not available -- call on void org.apache.roller.weblogger. business.BookmarkManager:saveBookmark(WeblogBookmar k)

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

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

info method not available -- call on void org.apache.roller.weblogger.util. cache.CacheManager:invalidate(WeblogBookmark)

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.BookmarkEdit:addMessage(String)

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

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.BookmarkEdit:addError(String)

method	void myValidate()
pre	this.bean != null
pre	init'ed(this.bean.feedUrl)
pre	init'ed(this.bean.image)
pre	init'ed(this.bean.url)
unanalyzed	call on java.net.URL
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
test_vector	org.apache.commons.lang.StringUtils:isNotEmpty(... )@125: {0}, {1}
test_vector	org.apache.commons.lang.StringUtils:isNotEmpty(... )@128: {0}, {1}
test_vector	org.apache.commons.lang.StringUtils:isNotEmpty(... )@131: {0}, {1}

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

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.BookmarkEdit:addError(String, String)

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

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.BookmarkEdit:addError(String, String)

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

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.BookmarkEdit:addError(String, String)

method	bool validURL(String)
post	init'ed(return_value)

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into test

Prev Msg Next Msg

method	WeblogBookmark getBookmark()
pre	init'ed(this.bookmark)
post	return_value == this.bookmark
post	init'ed(return_value)

method	void setBookmark(WeblogBookmark)
post	this.bookmark == bookmark
post	init'ed(this.bookmark)

method	BookmarkBean getBean()
pre	init'ed(this.bean)
post	return_value == this.bean
post	init'ed(return_value)

method	void setBean(BookmarkBean)
post	this.bean == bean
post	init'ed(this.bean)

	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()