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










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









  infomethod not available-- call on void org.apache.tools.ant.Task()











method void execute()
preinit'ed(this.blogid)
preinit'ed(this.dest)
preinit'ed(this.handler)
preinit'ed(this.password)
preinit'ed(this.src)
preinit'ed(this.url)
preinit'ed(this.username)
presumptionjava.lang.System.out != null
presumptionorg.apache.xmlrpc.XmlRpcClient:execute(...)@87 != null
unanalyzedcall on java.io.File
unanalyzedcall on java.io.FileInputStream
unanalyzedcall on java.io.File:length
unanalyzedcall on java.io.InputStream:read
unanalyzedcall on java.io.InputStream:close









  infomethod not available-- call on void org.apache.xmlrpc.XmlRpcClient(Stri ng)










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











method byte[] readFile()
preinit'ed(this.src)
presumptionjava.io.File:length(...)@100 >= 0
postreturn_value == &new byte[](readFile#3)
postnew byte[](readFile#3) num objects == 1
post(soft) return_value.length <= 18_446_744_073_709_55 1_615










method void setBlogid(String)
postthis.blogid == blogid
postinit'ed(this.blogid)










method void setUsername(String)
postthis.username == username
postinit'ed(this.username)










method void setPassword(String)
postthis.password == password
postinit'ed(this.password)










method void setUrl(String)
postthis.url == url
postinit'ed(this.url)










method void setHandler(String)
postthis.handler == handler
postinit'ed(this.handler)










method void setSrc(String)
postthis.src == src
postinit'ed(this.src)










method void setDest(String)
postthis.dest == dest
postinit'ed(this.dest)