MediacastResource.java

current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • + String getContentType()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.contentType)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.contentType2009-09-04 18:33:31

  • + long getLength()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.length)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.length2009-09-04 18:33:31

  • + String getUrl()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.url)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.url2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.util.MediacastResource(String, String, long)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.contentType)2009-09-04 18:33:31
    +postinit'ed(this.length)2009-09-04 18:33:31
    +postinit'ed(this.url)2009-09-04 18:33:31
    +postthis.contentType == c2009-09-04 18:33:31
    +postthis.length == l2009-09-04 18:33:31
    +postthis.url == u2009-09-04 18:33:31

  • + org.apache.roller.weblogger.util.MediacastResource__static_init

    • -/+ Kind Annotation Text Date

  • + void setContentType(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.contentType)2009-09-04 18:33:31
    +postthis.contentType == contentType2009-09-04 18:33:31

  • + void setLength(long)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.length)2009-09-04 18:33:31
    +postthis.length == length2009-09-04 18:33:31

  • + void setUrl(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.url)2009-09-04 18:33:31
    +postthis.url == url2009-09-04 18:33:31

  • + String toString()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.contentType)2009-09-04 18:33:31
    +preinit'ed(this.length)2009-09-04 18:33:31
    +preinit'ed(this.url)2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuffer:toString(...)._ tainted)2009-09-04 18:33:31
    +postjava.lang.StringBuffer:toString(...)._tainted == this.url._tainted | this.contentType._tainted2009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuffer:toStrin g(...)2009-09-04 18:33:31