WeblogTemplate.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 | (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) 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) pcInheritedFieldCount <= 232-13 | 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 |
| + | unanalyzed | call on org. | 2009-09-04 18:33:31 |
| + | test_vector | other == this: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == Param_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) pcInheritedFieldCount <= 232-2 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == Param_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 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 | (soft) this. | 2009-09-04 18:33:31 |
| + | pre | init'ed(this. | 2009-09-04 18:33:31 |
| + | presumption | getTheme( | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | test_vector | java.lang. | 2009-09-04 18:33:31 |
| + | test_vector | this.decoratorName: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) pcInheritedFieldCount <= 232-3 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == Param_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) pcInheritedFieldCount <= 232-4 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == Param_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) pcInheritedFieldCount <= 232-6 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_0.id) | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == Param_0.id | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) pcInheritedFieldCount <= 232-7 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == Param_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) pcInheritedFieldCount <= 232-8 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_0.link) | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == Param_0.link | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) pcInheritedFieldCount <= 232-9 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_0.name) | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == Param_0.name | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) pcInheritedFieldCount <= 232-11 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == Param_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) pcInheritedFieldCount <= 232-12 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == Param_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) pcInheritedFieldCount <= 232-13 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == Param_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) pcInheritedFieldCount <= 232-13 | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.name) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this. | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.weblog) | 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 |
| + | unanalyzed | call on org. | 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) requiredTemplates != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.action) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this. | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 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 org. | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) pcInheritedFieldCount <= 232-5 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == Param_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) pcInheritedFieldCount <= 232-10 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == Param_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.name) | 2009-09-04 18:33:31 |
| + | pre | requiredTemplates != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this.id) | 2009-09-04 18:33:31 |
| + | post | this.action == null | 2009-09-04 18:33:31 |
| + | post | this.contents == null | 2009-09-04 18:33:31 |
| + | post | this.decoratorName == null | 2009-09-04 18:33:31 |
| + | post | this.description == null | 2009-09-04 18:33:31 |
| + | post | this.hidden == 0 | 2009-09-04 18:33:31 |
| + | post | this.lastModified == null | 2009-09-04 18:33:31 |
| + | post | this.link == null | 2009-09-04 18:33:31 |
| + | post | this.name == null | 2009-09-04 18:33:31 |
| + | post | this.navbar == 0 | 2009-09-04 18:33:31 |
| + | post | this.outputContentType == null | 2009-09-04 18:33:31 |
| + | post | this.templateLanguage == null | 2009-09-04 18:33:31 |
| + | post | this.weblog == null | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | presumption | init'ed(java. | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | post | init'ed(log) | 2009-09-04 18:33:31 |
| + | post | new Class[]( | 2009-09-04 18:33:31 |
| + | post | new HashSet( | 2009-09-04 18:33:31 |
| + | post | new String[]( | 2009-09-04 18:33:31 |
| + | post | new byte[]( | 2009-09-04 18:33:31 |
| + | post | pcFieldFlags == &new byte[]( | 2009-09-04 18:33:31 |
| + | post | pcFieldFlags. | 2009-09-04 18:33:31 |
| + | post | pcFieldFlags[0] == 26 | 2009-09-04 18:33:31 |
| + | post | pcFieldFlags[10] == 26 | 2009-09-04 18:33:31 |
| + | post | pcFieldFlags[11] == 26 | 2009-09-04 18:33:31 |
| + | post | pcFieldFlags[12] == 26 | 2009-09-04 18:33:31 |
| + | post | pcFieldFlags[1] == 26 | 2009-09-04 18:33:31 |
| + | post | pcFieldFlags[2] == 26 | 2009-09-04 18:33:31 |
| + | post | pcFieldFlags[3] == 26 | 2009-09-04 18:33:31 |
| + | post | pcFieldFlags[4] == 26 | 2009-09-04 18:33:31 |
| + | post | pcFieldFlags[5] == 26 | 2009-09-04 18:33:31 |
| + | post | pcFieldFlags[6] == 26 | 2009-09-04 18:33:31 |
| + | post | pcFieldFlags[7] == 26 | 2009-09-04 18:33:31 |
| + | post | pcFieldFlags[8] == 26 | 2009-09-04 18:33:31 |
| + | post | pcFieldFlags[9] == 26 | 2009-09-04 18:33:31 |
| + | post | pcFieldNames == &new String[]( | 2009-09-04 18:33:31 |
| + | post | pcFieldNames. | 2009-09-04 18:33:31 |
| + | post | pcFieldNames[0] == &"action" | 2009-09-04 18:33:31 |
| + | post | pcFieldNames[10] == &"outputContentType" | 2009-09-04 18:33:31 |
| + | post | pcFieldNames[11] == &"templateLanguage" | 2009-09-04 18:33:31 |
| + | post | pcFieldNames[12] == &"website" | 2009-09-04 18:33:31 |
| + | post | pcFieldNames[1] == &"contents" | 2009-09-04 18:33:31 |
| + | post | pcFieldNames[2] == &"decoratorName" | 2009-09-04 18:33:31 |
| + | post | pcFieldNames[3] == &"description" | 2009-09-04 18:33:31 |
| + | post | pcFieldNames[4] == &"hidden" | 2009-09-04 18:33:31 |
| + | post | pcFieldNames[5] == &"id" | 2009-09-04 18:33:31 |
| + | post | pcFieldNames[6] == &"lastModified" | 2009-09-04 18:33:31 |
| + | post | pcFieldNames[7] == &"link" | 2009-09-04 18:33:31 |
| + | post | pcFieldNames[8] == &"name" | 2009-09-04 18:33:31 |
| + | post | pcFieldNames[9] == &"navbar" | 2009-09-04 18:33:31 |
| + | post | pcFieldTypes == &new Class[]( | 2009-09-04 18:33:31 |
| + | post | pcFieldTypes. | 2009-09-04 18:33:31 |
| + | post | pcFieldTypes[4] == java. | 2009-09-04 18:33:31 |
| + | post | pcFieldTypes[9] == pcFieldTypes[4] | 2009-09-04 18:33:31 |
| + | post | requiredTemplates == &new HashSet( | 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 org. | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | Param_0.action == null | 2009-09-04 18:33:31 |
| + | post | Param_0.contents == null | 2009-09-04 18:33:31 |
| + | post | Param_0.decoratorName == null | 2009-09-04 18:33:31 |
| + | post | Param_0.description == null | 2009-09-04 18:33:31 |
| + | post | Param_0.hidden == 0 | 2009-09-04 18:33:31 |
| + | post | Param_0.id == null | 2009-09-04 18:33:31 |
| + | post | Param_0.lastModified == null | 2009-09-04 18:33:31 |
| + | post | Param_0.link == null | 2009-09-04 18:33:31 |
| + | post | Param_0.name == null | 2009-09-04 18:33:31 |
| + | post | Param_0.navbar == 0 | 2009-09-04 18:33:31 |
| + | post | Param_0.outputContentType == null | 2009-09-04 18:33:31 |
| + | post | Param_0.templateLanguage == null | 2009-09-04 18:33:31 |
| + | post | Param_0.weblog == null | 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) 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) 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) 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) init'ed( | 2009-09-04 18:33:31 |
| + | pre | Param_1 != null | 2009-09-04 18:33:31 |
| + | pre | Param_2 - pcInheritedFieldCount in 0..12 | 2009-09-04 18:33:31 |
| + | pre | init'ed(pcInheritedFieldCount) | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_2 - pcInheritedFieldCount: | 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) 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) 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) 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) 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 | Param_0.pcStateManager != null | 2009-09-04 18:33:31 |
| + | pre | Param_0.pcStateManager == Param_ | 2009-09-04 18:33:31 |
| + | pre | Param_1 != null | 2009-09-04 18:33:31 |
| + | pre | Param_1.pcStateManager != null | 2009-09-04 18:33:31 |
| + | pre | Param_2 != null | 2009-09-04 18:33:31 |
| + | pre | Param_2.length <= 232-1 | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | Param_1 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(Param_0.id) | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | Param_1 != null | 2009-09-04 18:33:31 |
| + | pre | Param_2 != null | 2009-09-04 18:33:31 |
| + | pre | pcInheritedFieldCount <= 232-6 | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|
| -/+ | Kind | Annotation Text | Date |
|---|
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == Param_ | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | return_value == 2 | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | return_value == 13 | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == Param_ | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | presumption | init'ed(java. | 2009-09-04 18:33:31 |
| + | presumption | init'ed(java. | 2009-09-04 18:33:31 |
| + | presumption | init'ed(org. | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | post | return_value == One-of{java. | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcDetachedState: | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| + | test_vector | org.apache. | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | Param_2 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_ | 2009-09-04 18:33:31 |
| + | post | new WeblogTemplate( | 2009-09-04 18:33:31 |
| + | post | return_value == &new WeblogTemplate( | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 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 | Param_3: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(return_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_ | 2009-09-04 18:33:31 |
| + | post | new WeblogTemplate( | 2009-09-04 18:33:31 |
| + | post | return_value == &new WeblogTemplate( | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | post | return_value. | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org. | 2009-09-04 18:33:31 |
| + | test_vector | Param_2: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(Param_0.id) | 2009-09-04 18:33:31 |
| + | post | new StringId( | 2009-09-04 18:33:31 |
| + | post | return_value == &new StringId( | 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 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | new StringId( | 2009-09-04 18:33:31 |
| + | post | return_value == &new StringId( | 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 |
| -/+ | 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) 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) 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) 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) init'ed( | 2009-09-04 18:33:31 |
| + | pre | Param_0.pcStateManager != null | 2009-09-04 18:33:31 |
| + | pre | Param_1 - pcInheritedFieldCount in 0..12 | 2009-09-04 18:33:31 |
| + | pre | init'ed(pcInheritedFieldCount) | 2009-09-04 18:33:31 |
| + | test_vector | Param_1 - pcInheritedFieldCount: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) Param_ | 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) 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) 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) 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) 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) init'ed( | 2009-09-04 18:33:31 |
| + | pre | Param_1 != null | 2009-09-04 18:33:31 |
| + | pre | Param_1.length <= 232-1 | 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 |
|---|---|---|---|
| + | pre | Param_0.pcStateManager != null | 2009-09-04 18:33:31 |
| + | pre | Param_1 - pcInheritedFieldCount in 0..12 | 2009-09-04 18:33:31 |
| + | pre | init'ed(pcInheritedFieldCount) | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_1 - pcInheritedFieldCount: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) Param_ | 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 | Param_1 != null | 2009-09-04 18:33:31 |
| + | pre | Param_1.length <= 232-1 | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 2009-09-04 18:33:31 |
| + | post | possibly_ | 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 |
|---|---|---|---|
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | Param_0.pcDetachedState == Param_1 | 2009-09-04 18:33:31 |
| + | post | init'ed(Param_ | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(this.action) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == this.action | 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 | 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.id) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == this.id | 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.link) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == this.link | 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. | 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 | init'ed(this.weblog) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == this.weblog | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(this.hidden) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == this.hidden | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(this.navbar) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == this.navbar | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this.action) | 2009-09-04 18:33:31 |
| + | post | this.action == Param_1 | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this. | 2009-09-04 18:33:31 |
| + | post | this.contents == Param_1 | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this. | 2009-09-04 18:33:31 |
| + | post | this.decoratorName == Param_1 | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this. | 2009-09-04 18:33:31 |
| + | post | this.description == Param_1 | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this.hidden) | 2009-09-04 18:33:31 |
| + | post | this.hidden == Param_1 | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this.id) | 2009-09-04 18:33:31 |
| + | post | this.id == Param_1 | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this. | 2009-09-04 18:33:31 |
| + | post | this.lastModified == Param_1 | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this.link) | 2009-09-04 18:33:31 |
| + | post | this.link == Param_1 | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this.name) | 2009-09-04 18:33:31 |
| + | post | this.name == Param_1 | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this.navbar) | 2009-09-04 18:33:31 |
| + | post | this.navbar == Param_1 | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this. | 2009-09-04 18:33:31 |
| + | post | this.outputContentType == Param_1 | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this. | 2009-09-04 18:33:31 |
| + | post | this.templateLanguage == Param_1 | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | post | init'ed(this.weblog) | 2009-09-04 18:33:31 |
| + | post | this.weblog == Param_1 | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | Param_1 != null | 2009-09-04 18:33:31 |
| + | presumption | init'ed(org. | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | post | Param_0.pcDetachedState == org. | 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 | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | post | Param_0.action == One-of{Param_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | pre | (soft) pcInheritedFieldCount <= 232-2 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | post | Param_0.contents == One-of{Param_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | pre | (soft) pcInheritedFieldCount <= 232-3 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | post | Param_0.decoratorName == One-of{Param_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | pre | (soft) pcInheritedFieldCount <= 232-4 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | post | Param_0.description == One-of{Param_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | pre | (soft) pcInheritedFieldCount <= 232-5 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | pre | (soft) pcInheritedFieldCount <= 232-6 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | post | Param_0.id == One-of{Param_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | pre | (soft) pcInheritedFieldCount <= 232-7 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | post | Param_0.lastModified == One-of{Param_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | pre | (soft) pcInheritedFieldCount <= 232-8 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | post | Param_0.link == One-of{Param_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | pre | (soft) pcInheritedFieldCount <= 232-9 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | post | Param_0.name == One-of{Param_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | pre | (soft) pcInheritedFieldCount <= 232-10 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | pre | (soft) pcInheritedFieldCount <= 232-11 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | post | Param_0.outputContentType == One-of{Param_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | pre | (soft) pcInheritedFieldCount <= 232-12 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | post | Param_0.templateLanguage == One-of{Param_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | pre | (soft) pcInheritedFieldCount <= 232-13 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed( | 2009-09-04 18:33:31 |
| + | post | Param_0.weblog == One-of{Param_ | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | init'ed(this. | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.id) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.link) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.name) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this. | 2009-09-04 18:33:31 |
| + | post | init'ed(java. | 2009-09-04 18:33:31 |
| + | post | java.lang. | 2009-09-04 18:33:31 |
| + | post | return_value == &java. | 2009-09-04 18:33:31 |
| -/+ | Kind | Annotation Text | Date |
|---|---|---|---|
| + | pre | Param_1 != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_ | 2009-09-04 18:33:31 |
| + | post | Param_0.pcDetachedState == One-of{old Param_ | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org. | 2009-09-04 18:33:31 |