abstractblog.java |
| current inspection = 2010-07-22 15:04:21 (id #4) | base = 2010-07-16 16:14:15 (id #1) |
|
|
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | this.messages != null | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | log != null | 2010-07-22 12:56:56 |
| + | pre | this.messages != null | 2010-07-22 12:56:56 |
| + | post | init'ed(this. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net. | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | this.properties != null | 2010-07-22 12:56:56 |
| + | post | init'ed(return_value) | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | this.properties != null | 2010-07-22 12:56:56 |
| + | post | init'ed(return_value) | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | this.properties != null | 2010-07-22 12:56:56 |
| + | post | init'ed(return_value) | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | presumption | java.lang. | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge. | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge. | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge. | 2010-07-22 12:56:56 |
| + | post | return_value != null | 2010-07-22 12:56:56 |
| + | test_vector | java.lang. | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | this.properties != null | 2010-07-22 12:56:56 |
| + | post | init'ed(return_value) | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | this.properties != null | 2010-07-22 12:56:56 |
| + | post | init'ed(return_value) | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | presumption | net.sourceforge. | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge. | 2010-07-22 12:56:56 |
| + | post | return_value != null | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net. | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | this.properties != null | 2010-07-22 12:56:56 |
| + | post | init'ed(return_value) | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(this.root) | 2010-07-22 12:56:56 |
| + | presumption | init'ed(java. | 2010-07-22 12:56:56 |
| + | post | return_value != null | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(this.root) | 2010-07-22 12:56:56 |
| + | presumption | init'ed(java. | 2010-07-22 12:56:56 |
| + | post | return_value != null | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | this.properties != null | 2010-07-22 12:56:56 |
| + | post | init'ed(return_value) | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | this.properties != null | 2010-07-22 12:56:56 |
| + | post | new Locale( | 2010-07-22 12:56:56 |
| + | post | return_value == &new Locale( | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(this.root) | 2010-07-22 12:56:56 |
| + | presumption | init'ed(java. | 2010-07-22 12:56:56 |
| + | post | return_value != null | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(this. | 2010-07-22 12:56:56 |
| + | post | new ArrayList( | 2010-07-22 12:56:56 |
| + | post | return_value == &new ArrayList( | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | this.properties != null | 2010-07-22 12:56:56 |
| + | post | init'ed(return_value) | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | this.messages != null | 2010-07-22 12:56:56 |
| + | post | init'ed(return_value) | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | this.properties != null | 2010-07-22 12:56:56 |
| + | post | return_value != null | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | this.properties != null | 2010-07-22 12:56:56 |
| + | post | init'ed(return_value) | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | presumption | java.lang. | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge. | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge. | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge. | 2010-07-22 12:56:56 |
| + | post | return_value != null | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | this.properties != null | 2010-07-22 12:56:56 |
| + | post | init'ed(return_value) | 2010-07-22 12:56:56 |
| + | post | new ArrayList( | 2010-07-22 12:56:56 |
| + | post | new ArrayList( | 2010-07-22 12:56:56 |
| + | unanalyzed | call on clone | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getBlog | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getBlogEntry | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getBlogEntryDAO | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getCompositeKeyForBlogEntry | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getConfiguredFactory | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getRecentPublishedBlogEntries | 2010-07-22 12:56:56 |
| + | unanalyzed | call on isPublic | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on loadBlogEntry | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on setEventsEnabled | 2010-07-22 12:56:56 |
| + | unanalyzed | call on setPersistent | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | this.properties != null | 2010-07-22 12:56:56 |
| + | post | init'ed(return_value) | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | this.properties != null | 2010-07-22 12:56:56 |
| + | post | init'ed(return_value) | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(this.root) | 2010-07-22 12:56:56 |
| + | post | init'ed(return_value) | 2010-07-22 12:56:56 |
| + | post | return_value == this.root | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(this.root) | 2010-07-22 12:56:56 |
| + | presumption | init'ed(java. | 2010-07-22 12:56:56 |
| + | post | return_value != null | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | this.properties != null | 2010-07-22 12:56:56 |
| + | post | init'ed(return_value) | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | this.properties != null | 2010-07-22 12:56:56 |
| + | post | init'ed(return_value) | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | this.properties != null | 2010-07-22 12:56:56 |
| + | post | init'ed(return_value) | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | log != null | 2010-07-22 12:56:56 |
| + | pre | this.messages != null | 2010-07-22 12:56:56 |
| + | post | init'ed(this. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net. | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) log != null | 2010-07-22 12:56:56 |
| + | pre | init'ed(this.root) | 2010-07-22 12:56:56 |
| + | post | new Properties( | 2010-07-22 12:56:56 |
| + | post | this.properties == &new Properties( | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getDefaultProperties | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.io.File | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org. | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(this.root) | 2010-07-22 12:56:56 |
| + | post | init'ed(return_value) | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) log != null | 2010-07-22 12:56:56 |
| + | pre | init'ed(this.root) | 2010-07-22 12:56:56 |
| + | post | new Properties( | 2010-07-22 12:56:56 |
| + | post | this.properties == One-of{&new Properties( | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | test_vector | java.io.File: | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this.root) | 2010-07-22 12:56:56 |
| + | post | new LinkedList( | 2010-07-22 12:56:56 |
| + | post | this.blog == null | 2010-07-22 12:56:56 |
| + | post | this.messages == &new LinkedList( | 2010-07-22 12:56:56 |
| + | post | this.root == root | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(log) | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | this.properties != null | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) this. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | test_vector | key: Addr_ | 2010-07-22 12:56:56 |
| + | test_vector | value: Addr_ | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this.root) | 2010-07-22 12:56:56 |
| + | post | this.root == root | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) init'ed( | 2010-07-22 12:56:56 |
| + | pre | (soft) log != null | 2010-07-22 12:56:56 |
| + | pre | (soft) this. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | this.properties != null | 2010-07-22 12:56:56 |
| + | post | init'ed(return_value) | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | this.messages != null | 2010-07-22 12:56:56 |
| + | post | init'ed(this. | 2010-07-22 12:56:56 |
| + | test_vector | java.util. | 2010-07-22 12:56:56 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | log != null | 2010-07-22 12:56:56 |
| + | pre | this.messages != null | 2010-07-22 12:56:56 |
| + | post | init'ed(this. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java. | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net. | 2010-07-22 12:56:56 |