method

org.apache.roller.weblogger.util.MediacastResource __static_init

method	void org.apache.roller.weblogger.util. MediacastResource(String, String, long)
post	this.contentType == c
post	init'ed(this.contentType)
post	this.length == l
post	init'ed(this.length)
post	this.url == u
post	init'ed(this.url)

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

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

method	String getContentType()
pre	init'ed(this.contentType)
post	return_value == this.contentType
post	init'ed(return_value)

method	void setContentType(String)
post	this.contentType == contentType
post	init'ed(this.contentType)

method	long getLength()
pre	init'ed(this.length)
post	return_value == this.length
post	init'ed(return_value)

method	void setLength(long)
post	this.length == length
post	init'ed(this.length)

method	String toString()
pre	init'ed(this.contentType)
pre	init'ed(this.length)
pre	init'ed(this.url)
post	java.lang.StringBuffer:toString(...)._tainted == this.url._tainted | this.contentType._tainted
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value == &java.lang.StringBuffer:toStrin g(...)