## newmediaobjecttask.java

current inspection = 2010-07-22 15:04:21 (id #4) | base = 2010-07-16 16:14:15 (id #1)

Filter Options
History:
+ | added
- | dropped
U | unchanged
| Annotation Kind:
pre
presumption
post
unanalyzed
test

- void execute()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.blogid) | 2010-07-22 12:56:56
+ | pre | init'ed(this.dest) | 2010-07-22 12:56:56
+ | pre | init'ed(this.handler) | 2010-07-22 12:56:56
+ | pre | init'ed(this.password) | 2010-07-22 12:56:56
+ | pre | init'ed(this.src) | 2010-07-22 12:56:56
+ | pre | init'ed(this.url) | 2010-07-22 12:56:56
+ | pre | init'ed(this.username) | 2010-07-22 12:56:56
+ | presumption | java.lang.System.out != null | 2010-07-22 12:56:56
+ | presumption | org.apache.xmlrpc.XmlRpcClient:execute(...)@87 != null | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileInputStream | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.InputStream:close | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.InputStream:read | 2010-07-22 12:56:56

- void net.sourceforge.pebble.ant.metaweblog.NewMediaObjectTask()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | this.handler == &"metaWeblog" | 2010-07-22 12:56:56

- net.sourceforge.pebble.ant.metaweblog.NewMediaObjectTask__static_init

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---

- byte[] readFile()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.src) | 2010-07-22 12:56:56
+ | presumption | java.io.File:length(...)@100 >= 0 | 2010-07-22 12:56:56
+ | post | (soft) return_value.length <= 18_446_744_073_709_55 1_615 | 2010-07-22 12:56:56
+ | post | new byte[](readFile#3) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new byte[](readFile#3) | 2010-07-22 12:56:56

- void setBlogid(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | init'ed(this.blogid) | 2010-07-22 12:56:56
+ | post | this.blogid == blogid | 2010-07-22 12:56:56

- void setDest(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | init'ed(this.dest) | 2010-07-22 12:56:56
+ | post | this.dest == dest | 2010-07-22 12:56:56

- void setHandler(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | init'ed(this.handler) | 2010-07-22 12:56:56
+ | post | this.handler == handler | 2010-07-22 12:56:56

- void setPassword(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | init'ed(this.password) | 2010-07-22 12:56:56
+ | post | this.password == password | 2010-07-22 12:56:56

- void setSrc(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | init'ed(this.src) | 2010-07-22 12:56:56
+ | post | this.src == src | 2010-07-22 12:56:56

- void setUrl(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | init'ed(this.url) | 2010-07-22 12:56:56
+ | post | this.url == url | 2010-07-22 12:56:56

- void setUsername(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | init'ed(this.username) | 2010-07-22 12:56:56
+ | post | this.username == username | 2010-07-22 12:56:56