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










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










method String getUrl()
preinit'ed(this.url)
postreturn_value == this.url
postinit'ed(return_value)










method void setUrl(String)
postthis.url == url
postinit'ed(this.url)










method String getContentType()
preinit'ed(this.contentType)
postreturn_value == this.contentType
postinit'ed(return_value)










method void setContentType(String)
postthis.contentType == contentType
postinit'ed(this.contentType)










method long getLength()
preinit'ed(this.length)
postreturn_value == this.length
postinit'ed(return_value)










method void setLength(long)
postthis.length == length
postinit'ed(this.length)










method String toString()
preinit'ed(this.contentType)
preinit'ed(this.length)
preinit'ed(this.url)
postjava.lang.StringBuffer:toString(...)._tainted == this.url._tainted | this.contentType._tainted
postinit'ed(java.lang.StringBuffer:toString(...)._ tainted)
postreturn_value == &java.lang.StringBuffer:toStrin g(...)