method

org.apache.roller.weblogger.webservices. adminprotocol.sdk.UnexpectedRootElementException__s tatic_init

method	void org.apache.roller.weblogger.webservices. adminprotocol.sdk.UnexpectedRootElementException(St ring, String, String)
post	this.actual == actual
post	init'ed(this.actual)
post	this.expected == expected
post	init'ed(this.expected)

method	String getMessage()
pre	init'ed(this.actual)
pre	init'ed(this.expected)
post	java.lang.StringBuilder:toString(...)._tainted == this.expected._tainted | this.actual._tainted
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)