Messages

method

org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry$Types__static_init

method

org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry$Attributes__static_init

method	void org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry()
post	this.href == null

method	org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry__static_init
post	init'ed(NAMESPACE)

info method not available -- call on Namespace org.jdom.Namespace:getNamespac e(String)

method	String getHref()
pre	init'ed(this.href)
post	return_value == this.href
post	init'ed(return_value)

method	void setHref(String)
post	this.href == href
post	init'ed(this.href)

method	String toString()
post	java.lang.Object:toString(...)._tainted == 0
post	return_value == &java.lang.Object:toString(... )

info method not available -- call on void org.jdom.output.XMLOutputter()

info method not available -- call on Format org.jdom.output.Format:getPrettyF ormat()

info method not available -- call on void org.jdom.output.XMLOutputter:setFor mat(Format)

info call too complex - analysis skipped -- call on Document toDocument()

info method not available -- call on void org.jdom.output.XMLOutputter:output (Document, Writer)

method	bool equals(Object)
pre	(soft) init'ed(o.href)
pre	(soft) init'ed(this.href)
post	init'ed(return_value)
unanalyzed	call on java.lang.Object:equals
test_vector	o: Addr_Set{null}, Inverse{null}

info call too complex - analysis skipped -- call on String getType()

method	bool areEqual(Object, Object)
post	init'ed(return_value)

method	bool areEqual(Object[], Object[])
post	init'ed(return_value)

	info	method not available	-- call on Format org.jdom.output.Format:getPrettyF ormat()
	info	method not available	-- call on void org.jdom.output.XMLOutputter:setFor mat(Format)

	info	call too complex - analysis skipped	-- call on Document toDocument()
	info	method not available	-- call on void org.jdom.output.XMLOutputter:output (Document, Writer)