Messages

method	org.apache.roller.weblogger.util.MediacastUtil__ static_init
post	init'ed(log)

info method not available -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method

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

method	MediacastResource lookupResource(String)
presumption	java.net.HttpURLConnection:getContentLength(... )@70 != -1
presumption	java.net.HttpURLConnection:getContentType(...)@69 != null
presumption	java.net.HttpURLConnection:getResponseCode(...)@62 == 200
presumption	java.net.URL:openConnection(...)@60 != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@36 != null
post	return_value in Addr_Set{null,&new MediacastResource(lookupResource#5)}
post	new MediacastResource(lookupResource#5) num objects <= 1
post	(soft) new MediacastResource(lookupResource#5). contentType != null
post	(soft) new MediacastResource(lookupResource#5). length in {-2³¹..-2, 0..2³²-1}
post	new MediacastResource(lookupResource#5).url == url
post	new MediacastResource(lookupResource#5).url != null
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
test_vector	url: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:length(...)@54: {1.. 2³²-1}, {0}

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)