| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.creator) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.updateTime) | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/pojos/WeblogEntr yTag.pcInheritedFieldCount <= 232-6 | 2009-09-04 18:33:31 |
| + | pre | (soft) pcInheritedFieldCount <= 232-22 | 2009-09-04 18:33:31 |
| + | pre | (soft) this.addedTags != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.tagSet != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.pcStateManager) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.website) | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@653 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.util.Utilities:normaliz eTag(...)@648 != null | 2009-09-04 18:33:31 |
| + | presumption | tag.name@653 != null | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.openjpa.enhance.StateManager:acc essingField | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.openjpa.enhance.StateManager:set tingObjectField | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.openjpa.enhance.StateManager:set tingStringField | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.util.UUIDGenerator:genera teUUID | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@654: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:length(...)@649: {1.. 232-1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@652: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | this.website: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.pubTime) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.text) | 2009-09-04 18:33:31 |
| + | pre | (soft) pcInheritedFieldCount <= 232-20 | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.pcStateManager) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.title) | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.util.Utilities:replaceN onAlphanumeric(...)@980 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.util.Utilities:replaceN onAlphanumeric(...)@984 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuilder:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | java.util.StringTokenizer:nextToken(...)._tainted == 0 | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.openjpa.enhance.StateManager:acc essingField | 2009-09-04 18:33:31 |
| + | test_vector | java.util.StringTokenizer:hasMoreTokens(...)@993: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@979: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@983: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@983: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@987: {1}, {0} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.plugins) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.summary) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.text) | 2009-09-04 18:33:31 |
| + | pre | (soft) pcInheritedFieldCount <= 232-22 | 2009-09-04 18:33:31 |
| + | pre | (soft) this.website != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.pcStateManager) | 2009-09-04 18:33:31 |
| + | pre | mLogger != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.util.I18nMessages:getMe ssages(...)@1194 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuilder:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getInitializedPlugins | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Arrays:asList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:contains | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:isEmpty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:keySet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Set:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.lang.StringUtils:split | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:debug | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:error | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.openjpa.enhance.StateManager:acc essingField | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. plugins.entry.WeblogEntryPlugin:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. plugins.entry.WeblogEntryPlugin:render | 2009-09-04 18:33:31 |
| + | unanalyzed | call on render | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@1174: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:length(...)@1174: {0}, {1..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.lang.StringUtils:isNotEmpty(... )@1178: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.lang.StringUtils:isNotEmpty(... )@1186: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.lang.StringUtils:isNotEmpty(... )@1188: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | readMoreLink: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.allowComments) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.commentDays) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.pcStateManager) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.pubTime) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.updateTime) | 2009-09-04 18:33:31 |
| + | pre | (soft) pcInheritedFieldCount <= 232-22 | 2009-09-04 18:33:31 |
| + | pre | (soft) this.website != null | 2009-09-04 18:33:31 |
| + | presumption | getAllowComments(...)@753 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Calendar:getInstance(...)@770 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.openjpa.enhance.StateManager:acc essingField | 2009-09-04 18:33:31 |
| + | test_vector | getAllowComments(...)@753: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.Boolean:booleanValue(...)@753: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.Boolean:booleanValue(...)@756: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.Integer:intValue(...)@760: {-231..-1, 1..232-1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Date:before(...)@776: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.config.WebloggerRuntime Config:getBooleanProperty(...)@750: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | this.allowComments: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | this.commentDays: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | this.pubTime: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.plugins) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.summary) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.text) | 2009-09-04 18:33:31 |
| + | pre | (soft) pcInheritedFieldCount <= 232-22 | 2009-09-04 18:33:31 |
| + | pre | (soft) this.website != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.pcStateManager) | 2009-09-04 18:33:31 |
| + | pre | mLogger != null | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuilder:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getInitializedPlugins | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getLocaleInstance | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getTransformedSummary | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getTransformedText | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:equals | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:trim | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Arrays:asList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:contains | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:isEmpty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:keySet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Set:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.lang.StringUtils:isNotEm pty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.lang.StringUtils:split | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:debug | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:error | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.openjpa.enhance.StateManager:acc essingField | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. plugins.entry.WeblogEntryPlugin:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. plugins.entry.WeblogEntryPlugin:render | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util. I18nMessages:getMessages | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util. I18nMessages:getString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on render | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.plugins) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.summary) | 2009-09-04 18:33:31 |
| + | pre | mLogger != null | 2009-09-04 18:33:31 |
| + | pre | this.website != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getInitializedPlugins | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Arrays:asList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:contains | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:isEmpty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:keySet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Set:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.lang.StringUtils:split | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:debug | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:error | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. plugins.entry.WeblogEntryPlugin:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. plugins.entry.WeblogEntryPlugin:render | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.plugins) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.text) | 2009-09-04 18:33:31 |
| + | pre | mLogger != null | 2009-09-04 18:33:31 |
| + | pre | this.website != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getInitializedPlugins | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Arrays:asList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:contains | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:isEmpty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:keySet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Set:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.lang.StringUtils:split | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:debug | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:error | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. plugins.entry.WeblogEntryPlugin:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. plugins.entry.WeblogEntryPlugin:render | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(org/apache/roller/weblogger/pojos/We blogPermission.AUTHOR) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(org/apache/roller/weblogger/pojos/We blogPermission.LIMITED) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.pcStateManager) | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/pojos/User. pcInheritedFieldCount <= 232-10 | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/pojos/UserRole. pcInheritedFieldCount <= 232-2 | 2009-09-04 18:33:31 |
| + | pre | (soft) pcInheritedFieldCount <= 232-22 | 2009-09-04 18:33:31 |
| + | pre | (soft) this.status != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.website != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(user.pcStateManager) | 2009-09-04 18:33:31 |
| + | pre | user != null | 2009-09-04 18:33:31 |
| + | pre | user.roles != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:equals | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Set:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.openjpa.enhance.StateManager:acc essingField | 2009-09-04 18:33:31 |
| + | test_vector | hasUserPermissions(...)@1112: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | hasUserPermissions(...)@1115: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@1052: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@1060: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | presumption | init'ed(java.lang.Boolean.FALSE) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(java.lang.Boolean.TRUE) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.allowComments) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.pinnedToMain) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.id) | 2009-09-04 18:33:31 |
| + | post | new HashSet(WeblogEntry#3) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new HashSet(WeblogEntry#4) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new HashSet(WeblogEntry#5) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new Integer(WeblogEntry#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new TreeSet(WeblogEntry#2) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | this.addedTags == &new HashSet(WeblogEntry#5) | 2009-09-04 18:33:31 |
| + | post | this.allowComments == java.lang.Boolean.TRUE | 2009-09-04 18:33:31 |
| + | post | this.anchor == null | 2009-09-04 18:33:31 |
| + | post | this.attSet == &new TreeSet(WeblogEntry#2) | 2009-09-04 18:33:31 |
| + | post | this.category == null | 2009-09-04 18:33:31 |
| + | post | this.commentDays == &new Integer(WeblogEntry#1) | 2009-09-04 18:33:31 |
| + | post | this.contentSrc == null | 2009-09-04 18:33:31 |
| + | post | this.contentType == null | 2009-09-04 18:33:31 |
| + | post | this.creator == null | 2009-09-04 18:33:31 |
| + | post | this.link == null | 2009-09-04 18:33:31 |
| + | post | this.locale == null | 2009-09-04 18:33:31 |
| + | post | this.pinnedToMain == java.lang.Boolean.FALSE | 2009-09-04 18:33:31 |
| + | post | this.plugins == null | 2009-09-04 18:33:31 |
| + | post | this.pubTime == null | 2009-09-04 18:33:31 |
| + | post | this.removedTags == &new HashSet(WeblogEntry#4) | 2009-09-04 18:33:31 |
| + | post | this.rightToLeft == this.pinnedToMain | 2009-09-04 18:33:31 |
| + | post | this.status == &"DRAFT" | 2009-09-04 18:33:31 |
| + | post | this.summary == null | 2009-09-04 18:33:31 |
| + | post | this.tagSet == &new HashSet(WeblogEntry#3) | 2009-09-04 18:33:31 |
| + | post | this.text == null | 2009-09-04 18:33:31 |
| + | post | this.title == null | 2009-09-04 18:33:31 |
| + | post | this.updateTime == null | 2009-09-04 18:33:31 |
| + | post | this.website == null | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | presumption | init'ed(java.lang.Boolean.FALSE) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(java.lang.Boolean.TRUE) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.allowComments) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.pinnedToMain) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.anchor) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.category) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.creator) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.id) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.link) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.pubTime) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.status) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.text) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.title) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.updateTime) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.website) | 2009-09-04 18:33:31 |
| + | post | new HashSet(WeblogEntry#3) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new HashSet(WeblogEntry#4) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new HashSet(WeblogEntry#5) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new Integer(WeblogEntry#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new TreeSet(WeblogEntry#2) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | this.addedTags == &new HashSet(WeblogEntry#5) | 2009-09-04 18:33:31 |
| + | post | this.allowComments == java.lang.Boolean.TRUE | 2009-09-04 18:33:31 |
| + | post | this.anchor == anchor | 2009-09-04 18:33:31 |
| + | post | this.attSet == &new TreeSet(WeblogEntry#2) | 2009-09-04 18:33:31 |
| + | post | this.category == category | 2009-09-04 18:33:31 |
| + | post | this.commentDays == &new Integer(WeblogEntry#1) | 2009-09-04 18:33:31 |
| + | post | this.contentSrc == null | 2009-09-04 18:33:31 |
| + | post | this.contentType == null | 2009-09-04 18:33:31 |
| + | post | this.creator == creator | 2009-09-04 18:33:31 |
| + | post | this.link == link | 2009-09-04 18:33:31 |
| + | post | this.locale == null | 2009-09-04 18:33:31 |
| + | post | this.pinnedToMain == java.lang.Boolean.FALSE | 2009-09-04 18:33:31 |
| + | post | this.plugins == null | 2009-09-04 18:33:31 |
| + | post | this.pubTime == pubTime | 2009-09-04 18:33:31 |
| + | post | this.removedTags == &new HashSet(WeblogEntry#4) | 2009-09-04 18:33:31 |
| + | post | this.rightToLeft == this.pinnedToMain | 2009-09-04 18:33:31 |
| + | post | this.status == status | 2009-09-04 18:33:31 |
| + | post | this.summary == null | 2009-09-04 18:33:31 |
| + | post | this.tagSet == &new HashSet(WeblogEntry#3) | 2009-09-04 18:33:31 |
| + | post | this.text == text | 2009-09-04 18:33:31 |
| + | post | this.title == title | 2009-09-04 18:33:31 |
| + | post | this.updateTime == updateTime | 2009-09-04 18:33:31 |
| + | post | this.website == website | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) pcInheritedFieldCount <= 232-22 | 2009-09-04 18:33:31 |
| + | pre | init'ed(otherData.allowComments) | 2009-09-04 18:33:31 |
| + | pre | init'ed(otherData.anchor) | 2009-09-04 18:33:31 |
| + | pre | init'ed(otherData.category) | 2009-09-04 18:33:31 |
| + | pre | init'ed(otherData.commentDays) | 2009-09-04 18:33:31 |
| + | pre | init'ed(otherData.creator) | 2009-09-04 18:33:31 |
| + | pre | init'ed(otherData.id) | 2009-09-04 18:33:31 |
| + | pre | init'ed(otherData.link) | 2009-09-04 18:33:31 |
| + | pre | init'ed(otherData.locale) | 2009-09-04 18:33:31 |
| + | pre | init'ed(otherData.pcStateManager) | 2009-09-04 18:33:31 |
| + | pre | init'ed(otherData.pinnedToMain) | 2009-09-04 18:33:31 |
| + | pre | init'ed(otherData.plugins) | 2009-09-04 18:33:31 |
| + | pre | init'ed(otherData.pubTime) | 2009-09-04 18:33:31 |
| + | pre | init'ed(otherData.rightToLeft) | 2009-09-04 18:33:31 |
| + | pre | init'ed(otherData.status) | 2009-09-04 18:33:31 |
| + | pre | init'ed(otherData.text) | 2009-09-04 18:33:31 |
| + | pre | init'ed(otherData.title) | 2009-09-04 18:33:31 |
| + | pre | init'ed(otherData.updateTime) | 2009-09-04 18:33:31 |
| + | pre | init'ed(otherData.website) | 2009-09-04 18:33:31 |
| + | pre | otherData != null | 2009-09-04 18:33:31 |
| + | presumption | init'ed(java.lang.Boolean.FALSE) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(java.lang.Boolean.TRUE) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.allowComments) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.anchor) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.category) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.commentDays) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.contentSrc) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.contentType) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.creator) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.id) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.link) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.locale) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.pinnedToMain) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.plugins) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.pubTime) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.rightToLeft) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.status) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.summary) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.text) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.title) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.updateTime) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.website) | 2009-09-04 18:33:31 |
| + | post | new HashSet(WeblogEntry#3) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new HashSet(WeblogEntry#4) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new HashSet(WeblogEntry#5) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new Integer(WeblogEntry#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new TreeSet(WeblogEntry#2) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | this.addedTags == &new HashSet(WeblogEntry#5) | 2009-09-04 18:33:31 |
| + | post | this.allowComments == otherData.allowComments | 2009-09-04 18:33:31 |
| + | post | this.anchor == otherData.anchor | 2009-09-04 18:33:31 |
| + | post | this.attSet == &new TreeSet(WeblogEntry#2) | 2009-09-04 18:33:31 |
| + | post | this.category == otherData.category | 2009-09-04 18:33:31 |
| + | post | this.commentDays == otherData.commentDays | 2009-09-04 18:33:31 |
| + | post | this.creator == otherData.creator | 2009-09-04 18:33:31 |
| + | post | this.id == otherData.id | 2009-09-04 18:33:31 |
| + | post | this.link == otherData.link | 2009-09-04 18:33:31 |
| + | post | this.locale == otherData.locale | 2009-09-04 18:33:31 |
| + | post | this.pinnedToMain == otherData.pinnedToMain | 2009-09-04 18:33:31 |
| + | post | this.plugins == otherData.plugins | 2009-09-04 18:33:31 |
| + | post | this.pubTime == otherData.pubTime | 2009-09-04 18:33:31 |
| + | post | this.removedTags == &new HashSet(WeblogEntry#4) | 2009-09-04 18:33:31 |
| + | post | this.rightToLeft == otherData.rightToLeft | 2009-09-04 18:33:31 |
| + | post | this.status == otherData.status | 2009-09-04 18:33:31 |
| + | post | this.tagSet == &new HashSet(WeblogEntry#3) | 2009-09-04 18:33:31 |
| + | post | this.text == otherData.text | 2009-09-04 18:33:31 |
| + | post | this.title == otherData.title | 2009-09-04 18:33:31 |
| + | post | this.updateTime == otherData.updateTime | 2009-09-04 18:33:31 |
| + | post | this.website == otherData.website | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.openjpa.enhance.StateManager:acc essingField | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | presumption | org.apache.commons.logging.LogFactory:getFactory(.. .)@66 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(mLogger) | 2009-09-04 18:33:31 |
| + | post | new Class[](WeblogEntry__static_init#2) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new String[](WeblogEntry__static_init#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new byte[](WeblogEntry__static_init#3) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | pcFieldFlags == &new byte[](WeblogEntry__ static_init#3) | 2009-09-04 18:33:31 |
| + | post | pcFieldFlags.length == 22 | 2009-09-04 18:33:31 |
| + | post | pcFieldFlags[...] in {5, 26} | 2009-09-04 18:33:31 |
| + | post | pcFieldNames == &new String[](WeblogEntry__ static_init#1) | 2009-09-04 18:33:31 |
| + | post | pcFieldNames.length == 22 | 2009-09-04 18:33:31 |
| + | post | pcFieldNames[...] in Addr_Set{&"allowComments ",&"anchor",&"category",&"commentDays", &"contentSrc",&"contentType", &"creator",&"entryAttributes",&"id", &"link",&"locale",&"pinnedToMain", &"plugins"... | 2009-09-04 18:33:31 |
| + | post | pcFieldTypes == &new Class[](WeblogEntry__ static_init#2) | 2009-09-04 18:33:31 |
| + | post | pcFieldTypes.length == 22 | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Class:forName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Integer | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.NoClassDefFoundError | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:getMessage | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashSet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TreeSet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.util.UUIDGenerator:genera teUUID | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | post | Param_0.addedTags == &new HashSet(pcsetTags#2) | 2009-09-04 18:33:31 |
| + | post | Param_0.allowComments == null | 2009-09-04 18:33:31 |
| + | post | Param_0.anchor == null | 2009-09-04 18:33:31 |
| + | post | Param_0.attSet == null | 2009-09-04 18:33:31 |
| + | post | Param_0.category == null | 2009-09-04 18:33:31 |
| + | post | Param_0.commentDays == null | 2009-09-04 18:33:31 |
| + | post | Param_0.contentSrc == null | 2009-09-04 18:33:31 |
| + | post | Param_0.contentType == null | 2009-09-04 18:33:31 |
| + | post | Param_0.creator == null | 2009-09-04 18:33:31 |
| + | post | Param_0.id == null | 2009-09-04 18:33:31 |
| + | post | Param_0.link == null | 2009-09-04 18:33:31 |
| + | post | Param_0.locale == null | 2009-09-04 18:33:31 |
| + | post | Param_0.pinnedToMain == null | 2009-09-04 18:33:31 |
| + | post | Param_0.plugins == null | 2009-09-04 18:33:31 |
| + | post | Param_0.pubTime == null | 2009-09-04 18:33:31 |
| + | post | Param_0.removedTags == &new HashSet(pcsetTags#1 ) | 2009-09-04 18:33:31 |
| + | post | Param_0.rightToLeft == null | 2009-09-04 18:33:31 |
| + | post | Param_0.status == null | 2009-09-04 18:33:31 |
| + | post | Param_0.summary == null | 2009-09-04 18:33:31 |
| + | post | Param_0.tagSet == null | 2009-09-04 18:33:31 |
| + | post | Param_0.text == null | 2009-09-04 18:33:31 |
| + | post | Param_0.title == null | 2009-09-04 18:33:31 |
| + | post | Param_0.updateTime == null | 2009-09-04 18:33:31 |
| + | post | Param_0.website == null | 2009-09-04 18:33:31 |
| + | post | new HashSet(pcsetTags#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new HashSet(pcsetTags#2) num objects == 1 | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:trim | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashSet | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(Param_1.allowComments) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.anchor) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.attSet) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.category) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.commentDays) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.contentSrc) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.contentType) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.creator) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.id) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.link) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.locale) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.pinnedToMain) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.plugins) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.pubTime) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.rightToLeft) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.status) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.summary) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.tagSet) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.text) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.title) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.updateTime) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.website) | 2009-09-04 18:33:31 |
| + | pre | Param_1 != null | 2009-09-04 18:33:31 |
| + | pre | Param_2 - pcInheritedFieldCount in 0..21 | 2009-09-04 18:33:31 |
| + | pre | init'ed(pcInheritedFieldCount) | 2009-09-04 18:33:31 |
| + | post | new HashSet(pcsetTags#1) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new HashSet(pcsetTags#2) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.addedTags) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.allowComments) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.anchor) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.attSet) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.category) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.commentDays) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.contentSrc) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.contentType) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.creator) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.id) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.link) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.locale) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.pinnedToMain) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.plugins) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.pubTime) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.removedTags) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.rightToLeft) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.status) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.summary) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.tagSet) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.text) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.title) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.updateTime) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.website) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:trim | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashSet | 2009-09-04 18:33:31 |
| + | test_vector | Param_2 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, {12}, {13}, {14}, {15}, {16}, {17}, {18}, {19}, {20}, {21} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(Param_1.allowComments) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.anchor) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.attSet) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.category) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.commentDays) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.contentSrc) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.contentType) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.creator) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.id) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.link) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.locale) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.pinnedToMain) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.plugins) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.pubTime) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.rightToLeft) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.status) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.summary) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.tagSet) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.text) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.title) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.updateTime) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1.website) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_2[...]) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(pcInheritedFieldCount) | 2009-09-04 18:33:31 |
| + | pre | Param_0.pcStateManager != null | 2009-09-04 18:33:31 |
| + | pre | Param_0.pcStateManager == Param_1.pcStateManager | 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 | init'ed(new HashSet(pcsetTags#1) num objects) | 2009-09-04 18:33:31 |
| + | post | init'ed(new HashSet(pcsetTags#2) num objects) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.addedTags) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.allowComments) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.anchor) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.attSet) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.category) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.commentDays) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.contentSrc) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.contentType) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.creator) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.id) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.link) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.locale) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.pinnedToMain) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.plugins) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.pubTime) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.removedTags) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.rightToLeft) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.status) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.summary) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.tagSet) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.text) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.title) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.updateTime) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.website) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:trim | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashSet | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(Param_0.pcDetachedState) | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_0.pcStateManager) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(java.lang.Boolean.FALSE) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(java.lang.Boolean.TRUE) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(org.apache.openjpa.enhance.PersistenceCapab le.DESERIALIZED) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == One-of{java.lang.Boolean.TRUE, java.lang.Boolean.FALSE, null} | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcDetachedState: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.openjpa.enhance.StateManager:isDetached( ...): {0}, {1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | Param_2 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.allowComments) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.id) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.pcStateManager) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.pinnedToMain) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.rightToLeft) | 2009-09-04 18:33:31 |
| + | post | new HashSet(WeblogEntry#3) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new HashSet(WeblogEntry#4) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new HashSet(WeblogEntry#5) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new HashSet(pcsetTags#1) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new HashSet(pcsetTags#2) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new Integer(WeblogEntry#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new TreeSet(WeblogEntry#2) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntry(pcNewInstance#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new WeblogEntry(pcNewInstance# 1) | 2009-09-04 18:33:31 |
| + | post | return_value.addedTags in Addr_Set{&new HashSet(WeblogEntry#5),&new HashSet(pcsetTags# 2)} | 2009-09-04 18:33:31 |
| + | post | return_value.allowComments == One-of{java.lang. Boolean.TRUE, null} | 2009-09-04 18:33:31 |
| + | post | return_value.anchor == null | 2009-09-04 18:33:31 |
| + | post | return_value.attSet in Addr_Set{null,&new TreeSet(WeblogEntry#2)} | 2009-09-04 18:33:31 |
| + | post | return_value.category == null | 2009-09-04 18:33:31 |
| + | post | return_value.commentDays in Addr_Set{null,&new Integer(WeblogEntry#1)} | 2009-09-04 18:33:31 |
| + | post | return_value.contentSrc == null | 2009-09-04 18:33:31 |
| + | post | return_value.contentType == null | 2009-09-04 18:33:31 |
| + | post | return_value.creator == null | 2009-09-04 18:33:31 |
| + | post | return_value.link == null | 2009-09-04 18:33:31 |
| + | post | return_value.locale == null | 2009-09-04 18:33:31 |
| + | post | return_value.pcStateManager == Param_1 | 2009-09-04 18:33:31 |
| + | post | return_value.pinnedToMain == One-of{java.lang. Boolean.FALSE, null} | 2009-09-04 18:33:31 |
| + | post | return_value.plugins == null | 2009-09-04 18:33:31 |
| + | post | return_value.pubTime == null | 2009-09-04 18:33:31 |
| + | post | return_value.removedTags in Addr_Set{&new HashSet(WeblogEntry#4),&new HashSet(pcsetTags# 1)} | 2009-09-04 18:33:31 |
| + | post | return_value.rightToLeft == One-of{java.lang. Boolean.FALSE, null} | 2009-09-04 18:33:31 |
| + | post | return_value.status in Addr_Set{null,&"DRAFT"} | 2009-09-04 18:33:31 |
| + | post | return_value.summary == null | 2009-09-04 18:33:31 |
| + | post | return_value.tagSet in Addr_Set{null,&new HashSet(WeblogEntry#3)} | 2009-09-04 18:33:31 |
| + | post | return_value.text == null | 2009-09-04 18:33:31 |
| + | post | return_value.title == null | 2009-09-04 18:33:31 |
| + | post | return_value.updateTime == null | 2009-09-04 18:33:31 |
| + | post | return_value.website == null | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Integer | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:trim | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashSet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TreeSet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.openjpa.util.StringId:getId | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.util.UUIDGenerator:genera teUUID | 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_value.allowComments) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.id) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.pcStateManager) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.pinnedToMain) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value.rightToLeft) | 2009-09-04 18:33:31 |
| + | post | new HashSet(WeblogEntry#3) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new HashSet(WeblogEntry#4) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new HashSet(WeblogEntry#5) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new HashSet(pcsetTags#1) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new HashSet(pcsetTags#2) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new Integer(WeblogEntry#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new TreeSet(WeblogEntry#2) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntry(pcNewInstance#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new WeblogEntry(pcNewInstance# 1) | 2009-09-04 18:33:31 |
| + | post | return_value.addedTags in Addr_Set{&new HashSet(WeblogEntry#5),&new HashSet(pcsetTags# 2)} | 2009-09-04 18:33:31 |
| + | post | return_value.allowComments == One-of{java.lang. Boolean.TRUE, null} | 2009-09-04 18:33:31 |
| + | post | return_value.anchor == null | 2009-09-04 18:33:31 |
| + | post | return_value.attSet in Addr_Set{null,&new TreeSet(WeblogEntry#2)} | 2009-09-04 18:33:31 |
| + | post | return_value.category == null | 2009-09-04 18:33:31 |
| + | post | return_value.commentDays in Addr_Set{null,&new Integer(WeblogEntry#1)} | 2009-09-04 18:33:31 |
| + | post | return_value.contentSrc == null | 2009-09-04 18:33:31 |
| + | post | return_value.contentType == null | 2009-09-04 18:33:31 |
| + | post | return_value.creator == null | 2009-09-04 18:33:31 |
| + | post | return_value.link == null | 2009-09-04 18:33:31 |
| + | post | return_value.locale == null | 2009-09-04 18:33:31 |
| + | post | return_value.pcStateManager == Param_1 | 2009-09-04 18:33:31 |
| + | post | return_value.pinnedToMain == One-of{java.lang. Boolean.FALSE, null} | 2009-09-04 18:33:31 |
| + | post | return_value.plugins == null | 2009-09-04 18:33:31 |
| + | post | return_value.pubTime == null | 2009-09-04 18:33:31 |
| + | post | return_value.removedTags in Addr_Set{&new HashSet(WeblogEntry#4),&new HashSet(pcsetTags# 1)} | 2009-09-04 18:33:31 |
| + | post | return_value.rightToLeft == One-of{java.lang. Boolean.FALSE, null} | 2009-09-04 18:33:31 |
| + | post | return_value.status in Addr_Set{null,&"DRAFT"} | 2009-09-04 18:33:31 |
| + | post | return_value.summary == null | 2009-09-04 18:33:31 |
| + | post | return_value.tagSet in Addr_Set{null,&new HashSet(WeblogEntry#3)} | 2009-09-04 18:33:31 |
| + | post | return_value.text == null | 2009-09-04 18:33:31 |
| + | post | return_value.title == null | 2009-09-04 18:33:31 |
| + | post | return_value.updateTime == null | 2009-09-04 18:33:31 |
| + | post | return_value.website == null | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Integer | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:trim | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashSet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TreeSet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.util.UUIDGenerator:genera teUUID | 2009-09-04 18:33:31 |
| + | test_vector | Param_2: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(Param_0.allowComments) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.anchor) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.attSet) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.category) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.commentDays) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.contentSrc) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.contentType) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.creator) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.id) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.link) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.locale) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.pinnedToMain) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.plugins) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.pubTime) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.rightToLeft) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.status) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.summary) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.tagSet) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.text) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.title) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.updateTime) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.website) | 2009-09-04 18:33:31 |
| + | pre | Param_0.pcStateManager != null | 2009-09-04 18:33:31 |
| + | pre | Param_1 - pcInheritedFieldCount in 0..21 | 2009-09-04 18:33:31 |
| + | pre | init'ed(pcInheritedFieldCount) | 2009-09-04 18:33:31 |
| + | test_vector | Param_1 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, {12}, {13}, {14}, {15}, {16}, {17}, {18}, {19}, {20}, {21} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) Param_0.pcStateManager != null | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.allowComments) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.anchor) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.attSet) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.category) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.commentDays) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.contentSrc) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.contentType) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.creator) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.id) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.link) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.locale) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.pinnedToMain) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.plugins) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.pubTime) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.rightToLeft) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.status) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.summary) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.tagSet) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.text) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.title) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.updateTime) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_0.website) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1[...]) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(pcInheritedFieldCount) | 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.apache.openjpa.enhance.StateManager:pro videdObjectField | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.openjpa.enhance.StateManager:pro videdStringField | 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..21 | 2009-09-04 18:33:31 |
| + | pre | init'ed(pcInheritedFieldCount) | 2009-09-04 18:33:31 |
| + | post | new HashSet(pcsetTags#1) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new HashSet(pcsetTags#2) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.addedTags) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.allowComments) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.anchor) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.attSet) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.category) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.commentDays) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.contentSrc) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.contentType) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.creator) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.id) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.link) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.locale) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.pinnedToMain) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.plugins) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.pubTime) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.removedTags) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.rightToLeft) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.status) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.summary) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.tagSet) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.text) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.title) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.updateTime) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.website) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:trim | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashSet | 2009-09-04 18:33:31 |
| + | test_vector | Param_1 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, {12}, {13}, {14}, {15}, {16}, {17}, {18}, {19}, {20}, {21} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) Param_0.pcStateManager != null | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(Param_1[...]) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(pcInheritedFieldCount) | 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 | init'ed(new HashSet(pcsetTags#1) num objects) | 2009-09-04 18:33:31 |
| + | post | init'ed(new HashSet(pcsetTags#2) num objects) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.addedTags) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.allowComments) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.anchor) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.attSet) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.category) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.commentDays) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.contentSrc) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.contentType) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.creator) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.id) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.link) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.locale) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.pinnedToMain) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.plugins) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.pubTime) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.removedTags) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.rightToLeft) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.status) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.summary) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.tagSet) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.text) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.title) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.updateTime) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(Param_0.website) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:trim | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashSet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.openjpa.enhance.StateManager:rep laceObjectField | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.openjpa.enhance.StateManager:rep laceStringField | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.plugins) | 2009-09-04 18:33:31 |
| + | pre | mLogger != null | 2009-09-04 18:33:31 |
| + | pre | this.website != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Map:get(...)@1146 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Map:keySet(...)@1142 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Arrays:asList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.lang.StringUtils:split | 2009-09-04 18:33:31 |
| + | test_vector | getInitializedPlugins(...)@1132: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@1143: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.List:contains(...)@1145: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.List:isEmpty(...)@1137: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | str: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) pcInheritedFieldCount <= 232-22 | 2009-09-04 18:33:31 |
| + | pre | init'ed(other.allowComments) | 2009-09-04 18:33:31 |
| + | pre | init'ed(other.anchor) | 2009-09-04 18:33:31 |
| + | pre | init'ed(other.category) | 2009-09-04 18:33:31 |
| + | pre | init'ed(other.commentDays) | 2009-09-04 18:33:31 |
| + | pre | init'ed(other.creator) | 2009-09-04 18:33:31 |
| + | pre | init'ed(other.id) | 2009-09-04 18:33:31 |
| + | pre | init'ed(other.link) | 2009-09-04 18:33:31 |
| + | pre | init'ed(other.locale) | 2009-09-04 18:33:31 |
| + | pre | init'ed(other.pcStateManager) | 2009-09-04 18:33:31 |
| + | pre | init'ed(other.pinnedToMain) | 2009-09-04 18:33:31 |
| + | pre | init'ed(other.plugins) | 2009-09-04 18:33:31 |
| + | pre | init'ed(other.pubTime) | 2009-09-04 18:33:31 |
| + | pre | init'ed(other.rightToLeft) | 2009-09-04 18:33:31 |
| + | pre | init'ed(other.status) | 2009-09-04 18:33:31 |
| + | pre | init'ed(other.text) | 2009-09-04 18:33:31 |
| + | pre | init'ed(other.title) | 2009-09-04 18:33:31 |
| + | pre | init'ed(other.updateTime) | 2009-09-04 18:33:31 |
| + | pre | init'ed(other.website) | 2009-09-04 18:33:31 |
| + | pre | other != null | 2009-09-04 18:33:31 |
| + | post | init'ed(this.allowComments) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.anchor) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.category) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.commentDays) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.creator) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.id) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.link) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.locale) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.pinnedToMain) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.plugins) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.pubTime) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.rightToLeft) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.status) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.text) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.title) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.updateTime) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.website) | 2009-09-04 18:33:31 |
| + | post | this.allowComments == other.allowComments | 2009-09-04 18:33:31 |
| + | post | this.anchor == other.anchor | 2009-09-04 18:33:31 |
| + | post | this.category == other.category | 2009-09-04 18:33:31 |
| + | post | this.commentDays == other.commentDays | 2009-09-04 18:33:31 |
| + | post | this.creator == other.creator | 2009-09-04 18:33:31 |
| + | post | this.id == other.id | 2009-09-04 18:33:31 |
| + | post | this.link == other.link | 2009-09-04 18:33:31 |
| + | post | this.locale == other.locale | 2009-09-04 18:33:31 |
| + | post | this.pinnedToMain == other.pinnedToMain | 2009-09-04 18:33:31 |
| + | post | this.plugins == other.plugins | 2009-09-04 18:33:31 |
| + | post | this.pubTime == other.pubTime | 2009-09-04 18:33:31 |
| + | post | this.rightToLeft == other.rightToLeft | 2009-09-04 18:33:31 |
| + | post | this.status == other.status | 2009-09-04 18:33:31 |
| + | post | this.text == other.text | 2009-09-04 18:33:31 |
| + | post | this.title == other.title | 2009-09-04 18:33:31 |
| + | post | this.updateTime == other.updateTime | 2009-09-04 18:33:31 |
| + | post | this.website == other.website | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.openjpa.enhance.StateManager:acc essingField | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(Param_0.tagSet) | 2009-09-04 18:33:31 |
| + | pre | (soft) pcInheritedFieldCount <= 232-18 | 2009-09-04 18:33:31 |
| + | pre | init'ed(Param_0.pcStateManager) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(Param_0.tagSet) | 2009-09-04 18:33:31 |
| + | post | Param_0.addedTags == One-of{&new HashSet(pcsetTags#2*), old Param_0.addedTags} | 2009-09-04 18:33:31 |
| + | post | Param_0.removedTags == One-of{&new HashSet(pcsetTags#1*), old Param_0.removedTags} | 2009-09-04 18:33:31 |
| + | post | Param_0.tagSet == One-of{Param_1, old Param_0.tagSet} | 2009-09-04 18:33:31 |
| + | post | new HashSet(pcsetTags#1*) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new HashSet(pcsetTags#2*) num objects <= 1 | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashSet | 2009-09-04 18:33:31 |
| + | test_vector | Param_0.pcStateManager: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.creator) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.pcStateManager) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.updateTime) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.website) | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/pojos/WeblogEntr yTag.pcInheritedFieldCount <= 232-6 | 2009-09-04 18:33:31 |
| + | pre | (soft) pcInheritedFieldCount <= 232-22 | 2009-09-04 18:33:31 |
| + | pre | (soft) this.addedTags != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.tagSet != null | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getLocaleInstance | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:equals | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashSet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashSet:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashSet:contains | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashSet:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.HashSet:remove | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:size | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Locale:getDefault | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Set:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Set:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.openjpa.enhance.StateManager:acc essingField | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.openjpa.enhance.StateManager:set tingObjectField | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.openjpa.enhance.StateManager:set tingStringField | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.util.UUIDGenerator:genera teUUID | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. WeblogManager:removeWeblogEntryTag | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util. Utilities:normalizeTag | 2009-09-04 18:33:31 |
| + | test_vector | tags: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.creator) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.pcStateManager) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.updateTime) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.website) | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/pojos/WeblogEntr yTag.pcInheritedFieldCount <= 232-6 | 2009-09-04 18:33:31 |
| + | pre | (soft) pcInheritedFieldCount <= 232-22 | 2009-09-04 18:33:31 |
| + | pre | (soft) this.addedTags != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.tagSet != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@698 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@706 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@706 != null | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getLocaleInstance | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:equals | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Locale:getDefault | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Set:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Set:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.openjpa.enhance.StateManager:acc essingField | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.openjpa.enhance.StateManager:set tingObjectField | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.openjpa.enhance.StateManager:set tingStringField | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.util.UUIDGenerator:genera teUUID | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util. Utilities:normalizeTag | 2009-09-04 18:33:31 |
| + | test_vector | java.util.HashSet:contains(...)@699: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@689: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@697: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@707: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@711: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | tags: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| + | test_vector | this.website: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |