MediacastUtil.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


  • + MediacastResource lookupResource(String)

  • -/+ Kind Annotation Text Date
    +presumptionjava.net.HttpURLConnection:getContentLength(... )@70 != -12009-09-04 18:33:31
    +presumptionjava.net.HttpURLConnection:getContentType(...)@69 != null2009-09-04 18:33:31
    +presumptionjava.net.HttpURLConnection:getResponseCode(...)@62 == 2002009-09-04 18:33:31
    +presumptionjava.net.URL:openConnection(...)@60 != null2009-09-04 18:33:31
    +presumptionorg.apache.commons.logging.LogFactory:getLog(... )@36 != null2009-09-04 18:33:31
    +post(soft) new MediacastResource(lookupResource#5). contentType != null2009-09-04 18:33:31
    +post(soft) new MediacastResource(lookupResource#5). length in {-231..-2, 0..232-1}2009-09-04 18:33:31
    +postnew MediacastResource(lookupResource#5) num objects <= 12009-09-04 18:33:31
    +postnew MediacastResource(lookupResource#5).url != null2009-09-04 18:33:31
    +postnew MediacastResource(lookupResource#5).url == url2009-09-04 18:33:31
    +postreturn_value in Addr_Set{null,&new MediacastResource(lookupResource#5)}2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger. WebloggerException2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@54: {1.. 232-1}, {0}2009-09-04 18:33:31
    +test_vectorurl: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.util.MediacastUtil()

  • -/+ Kind Annotation Text Date

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

  • -/+ Kind Annotation Text Date
    +postinit'ed(log)2009-09-04 18:33:31