Messages

method | net.sourceforge.pebble.ant.metaweblog. NewMediaObjectTask__static_init

method | void net.sourceforge.pebble.ant.metaweblog. NewMediaObjectTask()
post | this.handler == &"metaWeblog"

| info | method not available | -- call on void org.apache.tools.ant.Task()

method | void execute()
pre | init'ed(this.blogid)
pre | init'ed(this.dest)
pre | init'ed(this.handler)
pre | init'ed(this.password)
pre | init'ed(this.src)
pre | init'ed(this.url)
pre | init'ed(this.username)
presumption | java.lang.System.out != null
presumption | org.apache.xmlrpc.XmlRpcClient:execute(...)@87 != null
unanalyzed | call on java.io.File
unanalyzed | call on java.io.FileInputStream
unanalyzed | call on java.io.File:length
unanalyzed | call on java.io.InputStream:read
unanalyzed | call on java.io.InputStream:close

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

| info | method not available | -- call on Object org.apache.xmlrpc. XmlRpcClient:execute(String, Vector)

method | byte[] readFile()
pre | init'ed(this.src)
presumption | java.io.File:length(...)@100 >= 0
post | return_value == &new byte[](readFile#3)
post | new byte[](readFile#3) num objects == 1
post | (soft) return_value.length <= 18_446_744_073_709_55 1_615

method | void setBlogid(String)
post | this.blogid == blogid
post | init'ed(this.blogid)

method | void setUsername(String)
post | this.username == username
post | init'ed(this.username)

method | void setPassword(String)
post | this.password == password
post | init'ed(this.password)

method | void setUrl(String)
post | this.url == url
post | init'ed(this.url)

method | void setHandler(String)
post | this.handler == handler
post | init'ed(this.handler)

method | void setSrc(String)
post | this.src == src
post | init'ed(this.src)

method | void setDest(String)
post | this.dest == dest
post | init'ed(this.dest)