Messages

method

org.apache.roller.weblogger.ui.rendering.util. WeblogEntryCommentForm__static_init

method	void org.apache.roller.weblogger.ui.rendering. util.WeblogEntryCommentForm()
post	this.content == &""
post	this.email == &""
post	this.name == &""
post	this.url == &""
post	this.error == 0
post	this.notify == 0
post	this.message == null
post	this.previewComment == null

method	void setPreview(WeblogEntryComment)
pre	preview != null
post	init'ed(this.content)
post	init'ed(this.email)
post	init'ed(this.name)
post	init'ed(this.notify)
post	this.previewComment == preview
post	this.previewComment != null
post	init'ed(this.url)
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntryComment:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntryComment:getEmail
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntryComment:getUrl
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntryComment:getContent
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntryComment:getNotify
unanalyzed	call on java.lang.Boolean:booleanValue

method	void setData(WeblogEntryComment)
pre	comment != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getNotify(...)@57 != null
post	init'ed(this.content)
post	init'ed(this.email)
post	init'ed(this.name)
post	init'ed(this.notify)
post	init'ed(this.url)

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

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

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

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

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

method	void setError(String)
post	this.error == 1
post	this.message == errorMessage
post	init'ed(this.message)

method	WeblogEntryCommentWrapper getPreviewComment()
pre	init'ed(this.previewComment)
post	init'ed(return_value)

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

method	bool isPreview()
pre	init'ed(this.previewComment)
post	init'ed(return_value)

method	String getName()
pre	init'ed(this.name)
post	init'ed(return_value)

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

method	void setName(String)
post	this.name == name
post	init'ed(this.name)

method	String getEmail()
pre	init'ed(this.email)
post	init'ed(return_value)

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

method	void setEmail(String)
post	this.email == email
post	init'ed(this.email)

method	String getUrl()
pre	init'ed(this.url)
post	init'ed(return_value)

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

method	void setUrl(String)
post	this.url == url
post	init'ed(this.url)

method	String getContent()
pre	init'ed(this.content)
post	init'ed(return_value)

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

method	void setContent(String)
post	this.content == content
post	init'ed(this.content)

method	bool isNotify()
pre	init'ed(this.notify)
post	return_value == this.notify
post	init'ed(return_value)

method	void setNotify(bool)
post	this.notify == notify
post	init'ed(this.notify)

method	bool isError()
pre	init'ed(this.error)
post	return_value == this.error
post	init'ed(return_value)

method	void setError(bool)
post	this.error == error
post	init'ed(this.error)

method	String getMessage()
pre	init'ed(this.message)
post	return_value == this.message
post	init'ed(return_value)

method	void setMessage(String)
post	this.message == message
post	init'ed(this.message)