Messages

method | net.sourceforge.pebble.webservice.UpdateNotificati onPingsClient$UpdateNotificationPingsAsyncCallback_ _static_init

method | net.sourceforge.pebble.webservice.UpdateNotificati onPingsClient__static_init
post | init'ed(log)

method | void net.sourceforge.pebble.webservice. UpdateNotificationPingsClient$UpdateNotificationPin gsAsyncCallback(UpdateNotificationPingsClient, Blog)
post | this.blog == blog
post | init'ed(this.blog)

method | void net.sourceforge.pebble.webservice. UpdateNotificationPingsClient()

method | Log access$0()
pre | init'ed(log)
post | return_value == log
post | init'ed(return_value)

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

method | void sendUpdateNotificationPing(Blog, String[])
pre | blog != null
pre | (soft) log != null
pre | (soft) sites != null
pre | (soft) sites.length <= 232-1
pre | (soft) init'ed(sites[...])
unanalyzed | call on org.apache.commons.logging.Log:info
unanalyzed | call on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzed | call on net.sourceforge.pebble.domain.Blog:info
unanalyzed | call on org.apache.xmlrpc.XmlRpcClient
unanalyzed | call on java.util.Vector
unanalyzed | call on net.sourceforge.pebble.domain.Blog:getName
unanalyzed | call on java.util.Vector:addElement
unanalyzed | call on org.apache.xmlrpc.XmlRpcClient:executeAsync
unanalyzed | call on java.io.IOException:getMessage
unanalyzed | call on org.apache.commons.logging.Log:error

| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getUrl()

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

| info | method not available | -- call on String net.sourceforge.pebble.util. StringUtils:transformHTML(String)
| info | method not available | -- call on void net.sourceforge.pebble.domain. Blog:info(String)

method | void sendUpdateNotificationPing(Blog, String, String[])
pre | (soft) blog != null
pre | (soft) log != null
pre | (soft) sites != null
pre | (soft) sites.length <= 232-1
pre | (soft) init'ed(sites[...])

| info | method not available | -- call on void org.apache.xmlrpc.XmlRpcClient(Stri ng)

| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getName()

| info | method not available | -- call on void org.apache.xmlrpc.XmlRpcClient:exec uteAsync(String, Vector, AsyncCallback)

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method | void handleResult(Object, URL, String)
pre | (soft) net/sourceforge/pebble/webservice/UpdateNoti ficationPingsClient.log != null
pre | (soft) this.blog != null
unanalyzed | call on java.lang.Object:toString
unanalyzed | call on net.sourceforge.pebble.util. StringUtils:transformHTML
test_vector | o: Addr_Set{null}, Inverse{null}

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

| info | method not available | -- call on void net.sourceforge.pebble.domain. Blog:info(String)

method | void handleError(Exception, URL, String)
pre | net/sourceforge/pebble/webservice/UpdateNotificatio nPingsClient.log != null

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method | String t(Object)
post | init'ed(return_value)
test_vector | object: Inverse{null}, Addr_Set{null}

| info | method not available | -- call on String net.sourceforge.pebble.util. StringUtils:transformHTML(String)