Messages

method

org.apache.roller.weblogger.pojos.wrapper. WeblogEntryCommentWrapper__static_init

method	void org.apache.roller.weblogger.pojos.wrapper. WeblogEntryCommentWrapper(WeblogEntryComment, URLStrategy)
post	this.pojo == toWrap
post	init'ed(this.pojo)
post	this.urlStrategy == strat
post	init'ed(this.urlStrategy)

method	WeblogEntryCommentWrapper wrap(WeblogEntryComment, URLStrategy)
post	return_value == One-of{&new WeblogEntryCommentW rapper(wrap#1), null}
post	return_value in Addr_Set{null,&new WeblogEntryCommentWrapper(wrap#1)}
post	new WeblogEntryCommentWrapper(wrap#1) num objects <= 1
post	new WeblogEntryCommentWrapper(wrap#1).pojo == toWrap
post	new WeblogEntryCommentWrapper(wrap#1).pojo != null
post	new WeblogEntryCommentWrapper(wrap#1).urlStrategy == strat
post	init'ed(new WeblogEntryCommentWrapper(wrap#1). urlStrategy)
test_vector	toWrap: Addr_Set{null}, Inverse{null}

method	String getId()
pre	this.pojo != null
post	init'ed(return_value)

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

method	WeblogEntryWrapper getWeblogEntry()
pre	this.pojo != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getWeblogEntry(...)@64 != null
post	return_value == &new WeblogEntryWrapper(wrap#1)
post	new WeblogEntryWrapper(wrap#1) num objects == 1
post	new WeblogEntryWrapper(wrap#1).pojo != null
post	new WeblogEntryWrapper(wrap#1).urlStrategy == this.urlStrategy
post	init'ed(new WeblogEntryWrapper(wrap#1). urlStrategy)

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

method	String getName()
pre	this.pojo != null
post	init'ed(return_value)

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

info method not available -- call on String org.apache.commons.lang. StringEscapeUtils:escapeHtml(String)

method	String getEmail()
pre	this.pojo != null
post	init'ed(return_value)

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

info method not available -- call on String org.apache.commons.lang. StringEscapeUtils:escapeHtml(String)

method	String getUrl()
pre	this.pojo != null
post	init'ed(return_value)

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

info method not available -- call on String org.apache.commons.lang. StringEscapeUtils:escapeHtml(String)

method	String getContent()
pre	this.pojo != null
pre	(soft) org/apache/roller/weblogger/util/Utilities. mLinkPattern != null
presumption	org.apache.roller.weblogger.business. Weblogger:getPluginManager(...)@114 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@114 != null
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	init'ed(return_value)
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:find
unanalyzed	call on java.util.regex.Matcher:start
unanalyzed	call on java.util.regex.Matcher:end
test_vector	java.lang.String:equals(...)@109: {0}, {1}

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

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

info method not available -- call on String org.apache.commons.lang. StringEscapeUtils:escapeHtml(String)

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

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

info method not available -- call on String org.apache.roller.weblogger. business.plugins.PluginManager:applyCommentPlugins( WeblogEntryComment, String)

method	Timestamp getPostTime()
pre	this.pojo != null
post	init'ed(return_value)

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

method	String getStatus()
pre	this.pojo != null
post	init'ed(return_value)

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

method	Boolean getNotify()
pre	this.pojo != null
post	init'ed(return_value)

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

method	String getRemoteHost()
pre	this.pojo != null
post	init'ed(return_value)

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

method	String getReferrer()
pre	this.pojo != null
post	init'ed(return_value)

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

info method not available -- call on String org.apache.commons.lang. StringEscapeUtils:escapeHtml(String)

method	String getUserAgent()
pre	this.pojo != null
post	init'ed(return_value)

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

method	Boolean getSpam()
pre	this.pojo != null
post	init'ed(return_value)

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

method	Boolean getPending()
pre	this.pojo != null
post	init'ed(return_value)

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

method	Boolean getApproved()
pre	this.pojo != null
post	init'ed(return_value)

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

method	String getTimestamp()
pre	this.pojo != null
post	init'ed(return_value)

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

	info	method not available	-- call on String org.apache.roller.weblogger. pojos.WeblogEntryComment:getName()
	info	method not available	-- call on String org.apache.commons.lang. StringEscapeUtils:escapeHtml(String)

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