GlobalConfig.java |
| current inspection = 2009-09-04 18:33:31 (id #2) | base = 2009-09-04 18:33:31 (id #1) |
|
|
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | return_value == &"success" | 2009-09-04 18:33:31 |
| + | test_vector | org.apache. | 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 | 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 | this.params != null | 2009-09-04 18:33:31 |
| + | post | return_value == null | 2009-09-04 18:33:31 |
| + | test_vector | java.util. | 2009-09-04 18:33:31 |
| + | test_vector | p.length@211: | 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 | 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 |
|---|---|---|---|
| + | post | return_value == 0 | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | presumption | java.util. | 2009-09-04 18:33:31 |
| + | presumption | org.apache. | 2009-09-04 18:33:31 |
| + | presumption | org.apache. | 2009-09-04 18:33:31 |
| + | presumption | org.apache. | 2009-09-04 18:33:31 |
| + | presumption | org.apache. | 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(this. | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | test_vector | java.lang. | 2009-09-04 18:33:31 |
| + | test_vector | java.util. | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | presumption | init'ed(java. | 2009-09-04 18:33:31 |
| + | presumption | init'ed(java. | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | post | new String[]( | 2009-09-04 18:33:31 |
| + | post | this.actionName == &"globalConfig" | 2009-09-04 18:33:31 |
| + | post | this.commentPlugins == &new String[]( | 2009-09-04 18:33:31 |
| + | post | this.commentPlugins. | 2009-09-04 18:33:31 |
| + | post | this.desiredMenu == &"admin" | 2009-09-04 18:33:31 |
| + | post | this.globalConfigDef == null | 2009-09-04 18:33:31 |
| + | post | this.pageTitle == &"configForm. | 2009-09-04 18:33:31 |
| + | post | this.params == java. | 2009-09-04 18:33:31 |
| + | post | this.pluginsList == java. | 2009-09-04 18:33:31 |
| + | post | this.properties == this.params | 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 | return_value == &"admin" | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this. | 2009-09-04 18:33:31 |
| + | pre | this.commentPlugins != null | 2009-09-04 18:33:31 |
| + | pre | this.properties != null | 2009-09-04 18:33:31 |
| + | presumption | java.util. | 2009-09-04 18:33:31 |
| + | presumption | java.util. | 2009-09-04 18:33:31 |
| + | presumption | java.util. | 2009-09-04 18:33:31 |
| + | presumption | log@171 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache. | 2009-09-04 18:33:31 |
| + | presumption | org.apache. | 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 | return_value == &"success" | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java. | 2009-09-04 18:33:31 |
| + | test_vector | java.lang. | 2009-09-04 18:33:31 |
| + | test_vector | java.lang. | 2009-09-04 18:33:31 |
| + | test_vector | java.util. | 2009-09-04 18:33:31 |
| + | test_vector | org.apache. | 2009-09-04 18:33:31 |
| + | test_vector | this.commentPlugins. | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this. | 2009-09-04 18:33:31 |
| + | post | this.commentPlugins == commentPlugins | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this. | 2009-09-04 18:33:31 |
| + | post | this.globalConfigDef == globalConfigDef | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) parameters != null | 2009-09-04 18:33:31 |
| + | pre | log != null | 2009-09-04 18:33:31 |
| + | presumption | java.util. | 2009-09-04 18:33:31 |
| + | post | (soft) this. | 2009-09-04 18:33:31 |
| + | post | this.params == parameters | 2009-09-04 18:33:31 |
| + | test_vector | java.util. | 2009-09-04 18:33:31 |
| + | test_vector | org.apache. | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this. | 2009-09-04 18:33:31 |
| + | post | this.pluginsList == pluginsList | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this. | 2009-09-04 18:33:31 |
| + | post | this.properties == properties | 2009-09-04 18:33:31 |