## newposttask.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.category) | 2010-07-22 12:56:56
+ | pre | init'ed(this.content) | 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.title) | 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 | init'ed(java.lang.Boolean.TRUE) | 2010-07-22 12:56:56
+ | presumption | java.lang.System.out != null | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:length(...)@70: {0}, {1..232-1} | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:length(...)@75: {0}, {1..232-1} | 2010-07-22 12:56:56
+ | test_vector | this.category: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56
+ | test_vector | this.title: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56

- void net.sourceforge.pebble.ant.blogger.NewPostTask()

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

- net.sourceforge.pebble.ant.blogger.NewPostTask__static_init

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

- 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 setCategory(String)

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

- void setContent(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | init'ed(this.content) | 2010-07-22 12:56:56
+ | post | this.content == content | 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 setTitle(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | init'ed(this.title) | 2010-07-22 12:56:56
+ | post | this.title == title | 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