Messages

method

org.apache.roller.weblogger.ui.struts2.editor. EntriesBean__static_init

method	void org.apache.roller.weblogger.ui.struts2. editor.EntriesBean()
post	this.categoryPath == null
post	this.endDateString == null
post	this.startDateString == null
post	this.tagsAsString == null
post	this.text == null
post	this.page == 0
post	this.sortBy == &"updateTime"
post	this.status == &"ALL"

method	List getTags()
pre	init'ed(this.tagsAsString)
post	init'ed(return_value)
test_vector	this.tagsAsString: Addr_Set{null}, Inverse{null}

info method not available -- call on List org.apache.roller.weblogger.util. Utilities:splitStringAsTags(String)

method	Date getStartDate()
pre	init'ed(this.startDateString)
post	init'ed(return_value)
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@57: {1}, {0}

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

method	Date getEndDate()
pre	init'ed(this.endDateString)
post	init'ed(return_value)
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@65: {1}, {0}

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

method	String getCategoryPath()
pre	init'ed(this.categoryPath)
post	return_value == this.categoryPath
post	init'ed(return_value)

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

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

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

method	String toString()
pre	init'ed(this.categoryPath)
pre	init'ed(this.endDateString)
pre	init'ed(this.page)
pre	init'ed(this.sortBy)
pre	init'ed(this.startDateString)
pre	init'ed(this.status)
pre	init'ed(this.tagsAsString)
pre	init'ed(this.text)
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value == &java.lang.StringBuffer:toStrin g(...)
unanalyzed	call on org.apache.commons.lang.StringUtils:isEmpty
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on java.text.DateFormat:parse
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

method	String getEndDateString()
pre	init'ed(this.endDateString)
post	return_value == this.endDateString
post	init'ed(return_value)

method	void setEndDateString(String)
post	this.endDateString == endDateString
post	init'ed(this.endDateString)

method	String getStartDateString()
pre	init'ed(this.startDateString)
post	return_value == this.startDateString
post	init'ed(return_value)

method	void setStartDateString(String)
post	this.startDateString == startDateString
post	init'ed(this.startDateString)