method

org.apache.roller.weblogger.util.RollerMessages$Ro llerMessage__static_init

method

org.apache.roller.weblogger.util.RollerMessages__ static_init

method	void org.apache.roller.weblogger.util. RollerMessages()
post	this.mErrors == &new ArrayList(RollerMessages#1 )
post	this.mMessages == &new ArrayList(RollerMessages #2)
post	new ArrayList(RollerMessages#1) num objects == 1
post	new ArrayList(RollerMessages#2) num objects == 1

method	void addError(String)
pre	this.mErrors != null

method	void addError(String, String)
pre	this.mErrors != null

method	void addError(String, String[])
pre	this.mErrors != null

method	void addMessage(String)
pre	this.mMessages != null

method	void addMessage(String, String)
pre	this.mMessages != null

method	void addMessage(String, String[])
pre	this.mMessages != null

method	Iterator getErrors()
pre	this.mErrors != null
post	return_value != null

method	Iterator getMessages()
pre	this.mMessages != null
post	return_value != null

method	int getErrorCount()
pre	this.mErrors != null
post	init'ed(return_value)

method	int getMessageCount()
pre	this.mMessages != null
post	init'ed(return_value)

method	String toString()
pre	this.mErrors != null
pre	this.mMessages != null
presumption	java.util.Iterator:next(...)@82 != null
presumption	java.util.Iterator:next(...)@89 != null
post	java.lang.StringBuffer:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuffer:toStrin g(...)
test_vector	java.util.Iterator:hasNext(...)@80: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@87: {0}, {1}

method	void org.apache.roller.weblogger.util. RollerMessages$RollerMessage(String, String[])
post	this.mArgs == args
post	init'ed(this.mArgs)
post	this.mKey == key
post	init'ed(this.mKey)

method	String[] getArgs()
pre	init'ed(this.mArgs)
post	return_value == this.mArgs
post	init'ed(return_value)

method	void setArgs(String[])
post	this.mArgs == args
post	init'ed(this.mArgs)

method	String getKey()
pre	init'ed(this.mKey)
post	return_value == this.mKey
post	init'ed(return_value)

method	void setKey(String)
post	this.mKey == key
post	init'ed(this.mKey)