WeblogCommentRequest.java |
| current inspection = 2009-09-04 18:33:31 (id #2) | base = 2009-09-04 18:33:31 (id #1) |
|
|
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(this. | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == this.content | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(this.email) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == this.email | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(this.name) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == this.name | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(this.url) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == this.url | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(this. | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == this. | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) org/ | 2009-09-04 18:33:31 |
| + | pre | init'ed(this. | 2009-09-04 18:33:31 |
| + | presumption | org.apache. | 2009-09-04 18:33:31 |
| + | presumption | org.apache. | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.weblog) | 2009-09-04 18:33:31 |
| + | post | this.weblogEntry == return_value | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org. | 2009-09-04 18:33:31 |
| + | test_vector | this.weblogAnchor: | 2009-09-04 18:33:31 |
| + | test_vector | this.weblogEntry: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(this.notify) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == this.notify | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | this.authenticUser == null | 2009-09-04 18:33:31 |
| + | post | this.content == null | 2009-09-04 18:33:31 |
| + | post | this.email == null | 2009-09-04 18:33:31 |
| + | post | this.locale == null | 2009-09-04 18:33:31 |
| + | post | this.localeInstance == null | 2009-09-04 18:33:31 |
| + | post | this.name == null | 2009-09-04 18:33:31 |
| + | post | this.notify == 0 | 2009-09-04 18:33:31 |
| + | post | this.pathInfo == null | 2009-09-04 18:33:31 |
| + | post | this.request == null | 2009-09-04 18:33:31 |
| + | post | this.url == null | 2009-09-04 18:33:31 |
| + | post | this.user == null | 2009-09-04 18:33:31 |
| + | post | this.weblog == null | 2009-09-04 18:33:31 |
| + | post | this.weblogAnchor == null | 2009-09-04 18:33:31 |
| + | post | this.weblogEntry == null | 2009-09-04 18:33:31 |
| + | post | this.weblogHandle == null | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org. | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) org/ | 2009-09-04 18:33:31 |
| + | pre | (soft) request != null | 2009-09-04 18:33:31 |
| + | presumption | java.lang. | 2009-09-04 18:33:31 |
| + | presumption | java.lang. | 2009-09-04 18:33:31 |
| + | presumption | javax.servlet. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org. | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(log) | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this. | 2009-09-04 18:33:31 |
| + | post | this.content == content | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this.email) | 2009-09-04 18:33:31 |
| + | post | this.email == email | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this.name) | 2009-09-04 18:33:31 |
| + | post | this.name == name | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this.notify) | 2009-09-04 18:33:31 |
| + | post | this.notify == notify | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this.url) | 2009-09-04 18:33:31 |
| + | post | this.url == url | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this. | 2009-09-04 18:33:31 |
| + | post | this.weblogAnchor == weblogAnchor | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this. | 2009-09-04 18:33:31 |
| + | post | this.weblogEntry == weblogEntry | 2009-09-04 18:33:31 |