Messages

Last Msg First Msg

method	void org.apache.roller.weblogger.ui.struts2. editor.EntryBean()
post	this.allowComments == 1
post	new Integer(EntryBean#1) num objects == 1
post	this.categoryId == null
post	this.dateString == null
post	this.enclosureURL == null
post	this.id == null
post	this.locale == null
post	this.plugins == null
post	this.status == null
post	this.summary == null
post	this.tagsString == null
post	this.text == null
post	this.title == null
post	this.weblogHandle == null
post	this.commentCount == 0
post	this.hours == 0
post	this.minutes == 0
post	this.pinnedToMain == 0
post	this.rightToLeft == 0
post	this.seconds == 0
post	this.commentDays == &new Integer(EntryBean#1)

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

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

method	String getId()
pre	init'ed(this.id)
post	return_value == this.id
post	init'ed(return_value)

method	void setId(String)
post	this.id == id
post	init'ed(this.id)

method	String getTitle()
pre	init'ed(this.title)
post	return_value == this.title
post	init'ed(return_value)

method	void setTitle(String)
post	this.title == title
post	init'ed(this.title)

method	String getSummary()
pre	init'ed(this.summary)
post	return_value == this.summary
post	init'ed(return_value)

method	void setSummary(String)
post	this.summary == summary
post	init'ed(this.summary)

method	String getText()
pre	init'ed(this.text)
post	return_value == this.text
post	init'ed(return_value)

method	void setText(String)
post	this.text == text
post	init'ed(this.text)

method	String getStatus()
pre	init'ed(this.status)
post	return_value == this.status
post	init'ed(return_value)

method	void setStatus(String)
post	this.status == status
post	init'ed(this.status)

method	String getLocale()
pre	init'ed(this.locale)
post	return_value == this.locale
post	init'ed(return_value)

method	void setLocale(String)
post	this.locale == locale
post	init'ed(this.locale)

method	String getTagsAsString()
pre	init'ed(this.tagsString)
post	return_value == this.tagsString
post	init'ed(return_value)

method	void setTagsAsString(String)
post	this.tagsString == tagsAsString
post	init'ed(this.tagsString)

method	String getCategoryId()
pre	init'ed(this.categoryId)
post	return_value == this.categoryId
post	init'ed(return_value)

method	void setCategoryId(String)
post	this.categoryId == categoryId
post	init'ed(this.categoryId)

method	String[] getPlugins()
pre	init'ed(this.plugins)
post	return_value == this.plugins
post	init'ed(return_value)

method	void setPlugins(String[])
post	this.plugins == plugins
post	init'ed(this.plugins)

method	String getDateString()
pre	init'ed(this.dateString)
post	return_value == this.dateString
post	init'ed(return_value)

method	void setDateString(String)
post	this.dateString == date
post	init'ed(this.dateString)

method	int getHours()
pre	init'ed(this.hours)
post	return_value == this.hours
post	init'ed(return_value)

method	void setHours(int)
post	this.hours == hours
post	init'ed(this.hours)

method	int getMinutes()
pre	init'ed(this.minutes)
post	return_value == this.minutes
post	init'ed(return_value)

method	void setMinutes(int)
post	this.minutes == minutes
post	init'ed(this.minutes)

method	int getSeconds()
pre	init'ed(this.seconds)
post	return_value == this.seconds
post	init'ed(return_value)

method	void setSeconds(int)
post	this.seconds == seconds
post	init'ed(this.seconds)

method	bool getAllowComments()
pre	init'ed(this.allowComments)
post	return_value == this.allowComments
post	init'ed(return_value)

method	void setAllowComments(bool)
post	this.allowComments == allowComments
post	init'ed(this.allowComments)

method	Integer getCommentDays()
pre	init'ed(this.commentDays)
post	return_value == this.commentDays
post	init'ed(return_value)

method	void setCommentDays(Integer)
post	this.commentDays == commentDays
post	init'ed(this.commentDays)

method	int getCommentCount()
pre	init'ed(this.commentCount)
post	return_value == this.commentCount
post	init'ed(return_value)

method	void setCommentCount(int)
post	this.commentCount == commentCount
post	init'ed(this.commentCount)

method	bool getRightToLeft()
pre	init'ed(this.rightToLeft)
post	return_value == this.rightToLeft
post	init'ed(return_value)

method	void setRightToLeft(bool)
post	this.rightToLeft == rightToLeft
post	init'ed(this.rightToLeft)

method	bool getPinnedToMain()
pre	init'ed(this.pinnedToMain)
post	return_value == this.pinnedToMain
post	init'ed(return_value)

method	void setPinnedToMain(bool)
post	this.pinnedToMain == pinnedToMain
post	init'ed(this.pinnedToMain)

method	String getEnclosureURL()
pre	init'ed(this.enclosureURL)
post	return_value == this.enclosureURL
post	init'ed(return_value)

method	void setEnclosureURL(String)
post	this.enclosureURL == trackbackUrl
post	init'ed(this.enclosureURL)

method	Timestamp getPubTime(Locale, TimeZone)
pre	init'ed(this.dateString)
pre	(soft) log != null
pre	(soft) init'ed(this.hours)
pre	(soft) init'ed(this.minutes)
pre	(soft) init'ed(this.seconds)
presumption	java.util.Calendar:getInstance(...)@245 != null
post	return_value == One-of{null, &new Timestamp(getPubTime#4)}
post	return_value in Addr_Set{null,&new Timestamp(getPubTime#4)}
post	new Timestamp(getPubTime#4) num objects <= 1
post	new Timestamp(getPubTime#4)._tainted == 0
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@229: {1}, {0}

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

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

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

method	bool isDraft()
pre	this.status != null
post	init'ed(return_value)

method	bool isPending()
pre	this.status != null
post	init'ed(return_value)

method	bool isPublished()
pre	this.status != null
post	init'ed(return_value)

method	bool isScheduled()
pre	this.status != null
post	init'ed(return_value)

method	void copyTo(WeblogEntry)
pre	entry != null
pre	init'ed(this.allowComments)
pre	this.categoryId != null
pre	init'ed(this.commentDays)
pre	init'ed(this.locale)
pre	init'ed(this.plugins)
pre	init'ed(this.rightToLeft)
pre	init'ed(this.status)
pre	init'ed(this.summary)
pre	init'ed(this.tagsString)
pre	init'ed(this.text)
pre	init'ed(this.title)
pre	(soft) log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@289 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@289 != null
presumption	org.apache.roller.weblogger.pojos.Weblog:equals(... )@297 == 1
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@297 != null

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

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

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

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

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

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

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 WeblogCategory org.apache.roller. weblogger.business.WeblogManager:getWeblogCategory( String)

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

Prev Msg Next Msg

+

click for all messages in this file low

conditional throw check might fail: requires cat != null

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

Prev Msg Next Msg

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

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

info method not available -- call on bool org.apache.roller.weblogger.pojos. Weblog:equals(Object)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setCategory(WeblogCategory)

info method not available -- call on String org.apache.commons.lang. StringUtils:join(Object[], String)

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

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setAllowComments(Boolean)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setCommentDays(Integer)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setRightToLeft(Boolean)

method	void copyFrom(WeblogEntry, Locale)
pre	entry != null
pre	(soft) log != null
presumption	java.util.Calendar:getInstance(...)@345 != null
presumption	java.util.Iterator:next(...)@371 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getAl lowComments(...)@363 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getCa tegory(...)@329 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getCo mments(...)@333 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getPi nnedToMain(...)@366 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getRi ghtToLeft(...)@365 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@347 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@357 != null
post	init'ed(this.allowComments)
post	init'ed(this.categoryId)
post	init'ed(this.commentCount)
post	init'ed(this.commentDays)
post	possibly_updated(this.dateString)
post	possibly_updated(this.enclosureURL)
post	possibly_updated(this.hours)
post	init'ed(this.id)
post	init'ed(this.locale)
post	possibly_updated(this.minutes)
post	init'ed(this.pinnedToMain)
post	possibly_updated(this.plugins)
post	init'ed(this.rightToLeft)
post	possibly_updated(this.seconds)
post	init'ed(this.status)
post	init'ed(this.summary)
post	init'ed(this.tagsString)
post	init'ed(this.text)
post	init'ed(this.title)
test_vector	java.lang.String:equals(...)@372: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@371: {0}, {1}
test_vector	java.util.Set:size(...)@370: {-2³¹..0}, {1..2³²-1}
test_vector	org.apache.roller.weblogger.pojos.WeblogEntry:getEn tryAttributes(...)@369: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.pojos.WeblogEntry:getPl ugins(...)@336: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.pojos.WeblogEntry:getPu bTime(...)@341: Addr_Set{null}, Inverse{null}

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

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

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

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

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

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

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

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

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

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

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

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

info method not available -- call on String[] org.apache.commons.lang. StringUtils:split(String, String)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

method	String toString()
pre	init'ed(this.allowComments)
pre	init'ed(this.categoryId)
pre	init'ed(this.commentDays)
pre	init'ed(this.dateString)
pre	init'ed(this.hours)
pre	init'ed(this.locale)
pre	init'ed(this.minutes)
pre	init'ed(this.plugins)
pre	init'ed(this.seconds)
pre	init'ed(this.status)
pre	init'ed(this.summary)
pre	init'ed(this.tagsString)
pre	init'ed(this.text)
pre	init'ed(this.title)
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value == &java.lang.StringBuffer:toStrin g(...)

	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 Weblog org.apache.roller.weblogger. pojos.WeblogEntry:getWebsite()
info	method not available	-- call on Weblog org.apache.roller.weblogger. pojos.WeblogCategory:getWebsite()
info	method not available	-- call on bool org.apache.roller.weblogger.pojos. Weblog:equals(Object)

	info	method not available	-- call on String org.apache.commons.lang. StringUtils:join(Object[], String)
	info	method not available	-- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setPlugins(String)

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

	info	method not available	-- call on Timestamp org.apache.roller.weblogger. pojos.WeblogEntry:getPubTime()
	info	method not available	-- call on void org.apache.commons.logging. Log:debug(Object)