WeblogEntry.java


current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • + void addTag(String)

  • -/+ 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-62009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-222009-09-04 18:33:31
    +pre(soft) this.addedTags != null2009-09-04 18:33:31
    +pre(soft) this.tagSet != null2009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(this.website)2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@653 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.util.Utilities:normaliz eTag(...)@648 != null2009-09-04 18:33:31
    +presumptiontag.name@653 != null2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:set tingObjectField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:set tingStringField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.util.UUIDGenerator:genera teUUID2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@654: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@649: {1.. 232-1}, {0}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@652: {0}, {1}2009-09-04 18:33:31
    +test_vectorthis.website: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + String createAnchor()

  • -/+ Kind Annotation Text Date
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@971 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@971 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + String createAnchorBase()

  • -/+ 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-202009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(this.title)2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.util.Utilities:replaceN onAlphanumeric(...)@980 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.util.Utilities:replaceN onAlphanumeric(...)@984 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postjava.util.StringTokenizer:nextToken(...)._tainted == 02009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +test_vectorjava.util.StringTokenizer:hasMoreTokens(...)@993: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.commons.lang.StringUtils:isEmpty(... )@979: {1}, {0}2009-09-04 18:33:31
    +test_vectororg.apache.commons.lang.StringUtils:isEmpty(... )@983: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.commons.lang.StringUtils:isEmpty(... )@983: {1}, {0}2009-09-04 18:33:31
    +test_vectororg.apache.commons.lang.StringUtils:isEmpty(... )@987: {1}, {0}2009-09-04 18:33:31

  • + String displayContent(String)

  • -/+ 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-222009-09-04 18:33:31
    +pre(soft) this.website != null2009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +premLogger != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.util.I18nMessages:getMe ssages(...)@1194 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on getInitializedPlugins2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-09-04 18:33:31
    +unanalyzedcall on java.util.Arrays:asList2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:contains2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:isEmpty2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:get2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:keySet2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:iterator2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.lang.StringUtils:split2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:debug2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:error2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. plugins.entry.WeblogEntryPlugin:getName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. plugins.entry.WeblogEntryPlugin:render2009-09-04 18:33:31
    +unanalyzedcall on render2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@1174: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@1174: {0}, {1..232-1}2009-09-04 18:33:31
    +test_vectororg.apache.commons.lang.StringUtils:isNotEmpty(... )@1178: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.commons.lang.StringUtils:isNotEmpty(... )@1186: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.commons.lang.StringUtils:isNotEmpty(... )@1188: {0}, {1}2009-09-04 18:33:31
    +test_vectorreadMoreLink: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + bool equals(Object)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(other.anchor)2009-09-04 18:33:31
    +pre(soft) init'ed(other.pcStateManager)2009-09-04 18:33:31
    +pre(soft) init'ed(other.website)2009-09-04 18:33:31
    +pre(soft) init'ed(this.anchor)2009-09-04 18:33:31
    +pre(soft) init'ed(this.pcStateManager)2009-09-04 18:33:31
    +pre(soft) init'ed(this.website)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-222009-09-04 18:33:31
    +presumptionorg.apache.commons.lang.builder.EqualsBuilder:appen d(...)@184 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +test_vectorother == this: {0}, {1}2009-09-04 18:33:31

  • + String findEntryAttribute(String)

  • -/+ Kind Annotation Text Date
    +pre(soft) name != null2009-09-04 18:33:31
    +pre(soft) org/apache/roller/weblogger/pojos/WeblogEntr yAttribute.pcInheritedFieldCount <= 232-42009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-82009-09-04 18:33:31
    +preinit'ed(this.attSet)2009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@401 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@402: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@400: {0}, {1}2009-09-04 18:33:31
    +test_vectorthis.attSet: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + String formatPubTime(String)

  • -/+ Kind Annotation Text Date
    +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) mLogger != null2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-222009-09-04 18:33:31
    +pre(soft) this.website != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31

  • + String formatUpdateTime(String)

  • -/+ Kind Annotation Text Date
    +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) mLogger != null2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-212009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31

  • + Set getAddedTags()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.addedTags)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.addedTags2009-09-04 18:33:31

  • + Boolean getAllowComments()

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +preinit'ed(Param_0.allowComments)2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.allowComments2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getAnchor()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-22009-09-04 18:33:31
    +preinit'ed(Param_0.anchor)2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.anchor2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + List getCategories()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-32009-09-04 18:33:31
    +preinit'ed(this.category)2009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +postnew ArrayList(getCategories#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new ArrayList(getCategories#1) 2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31

  • + WeblogCategory getCategory()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-32009-09-04 18:33:31
    +preinit'ed(Param_0.category)2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.category2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + int getCommentCount()

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.pcStateManager)2009-09-04 18:33:31
    +pre(soft) init'ed(this.website)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-222009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. WeblogManager:getComments2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getWeblogManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger2009-09-04 18:33:31

  • + Integer getCommentDays()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-42009-09-04 18:33:31
    +preinit'ed(Param_0.commentDays)2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.commentDays2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + List getComments()

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.pcStateManager)2009-09-04 18:33:31
    +pre(soft) init'ed(this.website)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-222009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postnew ArrayList(getComments#1*) num objects == 12009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. WeblogManager:getComments2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getWeblogManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger2009-09-04 18:33:31

  • + List getComments(bool, bool)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.pcStateManager)2009-09-04 18:33:31
    +pre(soft) init'ed(this.website)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-222009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@849 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@849 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postnew ArrayList(getComments#1) num objects == 12009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31

  • + String getCommentsLink()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-222009-09-04 18:33:31
    +preinit'ed(this.anchor)2009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +prethis.website != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuilder:toStri ng(...)2009-09-04 18:33:31
    +unanalyzedcall on getHandle2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.net.URLEncoder:encode2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31

  • + bool getCommentsStillAllowed()

  • -/+ 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-222009-09-04 18:33:31
    +pre(soft) this.website != null2009-09-04 18:33:31
    +presumptiongetAllowComments(...)@753 != null2009-09-04 18:33:31
    +presumptionjava.util.Calendar:getInstance(...)@770 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +test_vectorgetAllowComments(...)@753: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjava.lang.Boolean:booleanValue(...)@753: {1}, {0}2009-09-04 18:33:31
    +test_vectorjava.lang.Boolean:booleanValue(...)@756: {1}, {0}2009-09-04 18:33:31
    +test_vectorjava.lang.Integer:intValue(...)@760: {-231..-1, 1..232-1}, {0}2009-09-04 18:33:31
    +test_vectorjava.util.Date:before(...)@776: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.config.WebloggerRuntime Config:getBooleanProperty(...)@750: {1}, {0}2009-09-04 18:33:31
    +test_vectorthis.allowComments: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.commentDays: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.pubTime: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getContentSrc()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-52009-09-04 18:33:31
    +preinit'ed(Param_0.contentSrc)2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.contentSrc2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getContentType()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-62009-09-04 18:33:31
    +preinit'ed(Param_0.contentType)2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.contentType2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + User getCreator()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-72009-09-04 18:33:31
    +preinit'ed(Param_0.creator)2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.creator2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getDisplayContent()

  • -/+ 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-222009-09-04 18:33:31
    +pre(soft) this.website != null2009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +premLogger != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on getInitializedPlugins2009-09-04 18:33:31
    +unanalyzedcall on getLocaleInstance2009-09-04 18:33:31
    +unanalyzedcall on getTransformedSummary2009-09-04 18:33:31
    +unanalyzedcall on getTransformedText2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-09-04 18:33:31
    +unanalyzedcall on java.util.Arrays:asList2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:add2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:contains2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:isEmpty2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:get2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:keySet2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:iterator2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.lang.StringUtils:isNotEm pty2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.lang.StringUtils:split2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:debug2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:error2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. plugins.entry.WeblogEntryPlugin:getName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. plugins.entry.WeblogEntryPlugin:render2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util. I18nMessages:getMessages2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util. I18nMessages:getString2009-09-04 18:33:31
    +unanalyzedcall on render2009-09-04 18:33:31

  • + String getDisplayTitle()

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.text)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-202009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(this.title)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@941: {0}, {1}2009-09-04 18:33:31
    +test_vectorthis.title: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + Set getEntryAttributes()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-82009-09-04 18:33:31
    +preinit'ed(Param_0.attSet)2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.attSet2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getId()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-92009-09-04 18:33:31
    +preinit'ed(Param_0.id)2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.id2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getLink()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-102009-09-04 18:33:31
    +preinit'ed(Param_0.link)2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.link2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getLocale()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-112009-09-04 18:33:31
    +preinit'ed(Param_0.locale)2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.locale2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getPermaLink()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-222009-09-04 18:33:31
    +preinit'ed(this.anchor)2009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +prethis.website != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuilder:toStri ng(...)2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31

  • + String getPermalink()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-222009-09-04 18:33:31
    +preinit'ed(this.anchor)2009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(this.website)2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@898 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@898 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31

  • + Boolean getPinnedToMain()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-122009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(Param_0.pinnedToMain)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.pinnedToMain2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getPlugins()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-132009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(Param_0.plugins)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.plugins2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + List getPluginsList()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.plugins)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postnew ArrayList(getPluginsList#1) num objects <= 12009-09-04 18:33:31
    +test_vectorthis.plugins: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + Timestamp getPubTime()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-142009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(Param_0.pubTime)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.pubTime2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + List getReferers()

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.id)2009-09-04 18:33:31
    +pre(soft) init'ed(this.pcStateManager)2009-09-04 18:33:31
    +pre(soft) mLogger != null2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-92009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getRefererManager(...)@885 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@885 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31

  • + Set getRemovedTags()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.removedTags)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.removedTags2009-09-04 18:33:31

  • + Boolean getRightToLeft()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-152009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(Param_0.rightToLeft)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.rightToLeft2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getRss09xDescription()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.text)2009-09-04 18:33:31
    +postjava.lang.StringBuilder:toString(...)._tainted == 02009-09-04 18:33:31
    +postreturn_value != null2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:substring2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.lang.StringEscapeUtils:e scapeHtml2009-09-04 18:33:31

  • + String getRss09xDescription(int)

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.text)2009-09-04 18:33:31
    +premaxLength >= -231+32009-09-04 18:33:31
    +presumptionorg.apache.commons.lang.StringEscapeUtils:escapeHtm l(...)@962 != null2009-09-04 18:33:31
    +post(soft) return_value != null2009-09-04 18:33:31
    +postjava.lang.StringBuilder:toString(...)._tainted == 02009-09-04 18:33:31
    +test_vectormaxLength: {-1}, {0..232-2}2009-09-04 18:33:31

  • + String getStatus()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-162009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(Param_0.status)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.status2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getSummary()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-172009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(Param_0.summary)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.summary2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + Set getTags()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-182009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(Param_0.tagSet)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.tagSet2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getTagsAsString()

  • -/+ Kind Annotation Text Date
    +pre(soft) org/apache/roller/weblogger/pojos/WeblogEntr yTag.pcInheritedFieldCount <= 232-22009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-182009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +prethis.tagSet != null2009-09-04 18:33:31
    +presumptionjava.lang.StringBuffer:length(...)@725 >= -231+12009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@722 != null2009-09-04 18:33:31
    +postjava.lang.StringBuffer:toString(...)._tainted == 02009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuffer:toStrin g(...)2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +test_vectorjava.lang.StringBuffer:length(...)@724: {-231..0}, {1..232-1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@721: {0}, {1}2009-09-04 18:33:31

  • + String getText()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-192009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(Param_0.text)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.text2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getTitle()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-202009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(Param_0.title)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.title2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getTransformedSummary()

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.plugins)2009-09-04 18:33:31
    +preinit'ed(this.summary)2009-09-04 18:33:31
    +premLogger != null2009-09-04 18:33:31
    +prethis.website != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on getInitializedPlugins2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-09-04 18:33:31
    +unanalyzedcall on java.util.Arrays:asList2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:contains2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:isEmpty2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:get2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:keySet2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:iterator2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.lang.StringUtils:split2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:debug2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:error2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. plugins.entry.WeblogEntryPlugin:getName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. plugins.entry.WeblogEntryPlugin:render2009-09-04 18:33:31

  • + String getTransformedText()

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.plugins)2009-09-04 18:33:31
    +preinit'ed(this.text)2009-09-04 18:33:31
    +premLogger != null2009-09-04 18:33:31
    +prethis.website != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on getInitializedPlugins2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-09-04 18:33:31
    +unanalyzedcall on java.util.Arrays:asList2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:contains2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:isEmpty2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:get2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:keySet2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:iterator2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.lang.StringUtils:split2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:debug2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:error2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. plugins.entry.WeblogEntryPlugin:getName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. plugins.entry.WeblogEntryPlugin:render2009-09-04 18:33:31

  • + Timestamp getUpdateTime()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-212009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(Param_0.updateTime)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.updateTime2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + Weblog getWebsite()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-222009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(Param_0.website)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.website2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + bool hasWritePermissions(User)

  • -/+ 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-102009-09-04 18:33:31
    +pre(soft) org/apache/roller/weblogger/pojos/UserRole. pcInheritedFieldCount <= 232-22009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-222009-09-04 18:33:31
    +pre(soft) this.status != null2009-09-04 18:33:31
    +pre(soft) this.website != null2009-09-04 18:33:31
    +preinit'ed(user.pcStateManager)2009-09-04 18:33:31
    +preuser != null2009-09-04 18:33:31
    +preuser.roles != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:iterator2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +test_vectorhasUserPermissions(...)@1112: {1}, {0}2009-09-04 18:33:31
    +test_vectorhasUserPermissions(...)@1115: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@1052: {1}, {0}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@1060: {0}, {1}2009-09-04 18:33:31

  • + int hashCode()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-222009-09-04 18:33:31
    +preinit'ed(this.anchor)2009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(this.website)2009-09-04 18:33:31
    +presumptionorg.apache.commons.lang.builder.HashCodeBuilder:app end(...)@191 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31

  • + bool isDraft()

  • -/+ Kind Annotation Text Date
    +prethis.status != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + bool isPending()

  • -/+ Kind Annotation Text Date
    +prethis.status != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + bool isPublished()

  • -/+ Kind Annotation Text Date
    +prethis.status != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + void onRemoveTag(String)

  • -/+ Kind Annotation Text Date
    +prethis.removedTags != null2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.pojos.WeblogEntry()

  • -/+ Kind Annotation Text Date
    +presumptioninit'ed(java.lang.Boolean.FALSE)2009-09-04 18:33:31
    +presumptioninit'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
    +postinit'ed(this.id)2009-09-04 18:33:31
    +postnew HashSet(WeblogEntry#3) num objects == 12009-09-04 18:33:31
    +postnew HashSet(WeblogEntry#4) num objects == 12009-09-04 18:33:31
    +postnew HashSet(WeblogEntry#5) num objects == 12009-09-04 18:33:31
    +postnew Integer(WeblogEntry#1) num objects == 12009-09-04 18:33:31
    +postnew TreeSet(WeblogEntry#2) num objects == 12009-09-04 18:33:31
    +postthis.addedTags == &new HashSet(WeblogEntry#5)2009-09-04 18:33:31
    +postthis.allowComments == java.lang.Boolean.TRUE2009-09-04 18:33:31
    +postthis.anchor == null2009-09-04 18:33:31
    +postthis.attSet == &new TreeSet(WeblogEntry#2)2009-09-04 18:33:31
    +postthis.category == null2009-09-04 18:33:31
    +postthis.commentDays == &new Integer(WeblogEntry#1) 2009-09-04 18:33:31
    +postthis.contentSrc == null2009-09-04 18:33:31
    +postthis.contentType == null2009-09-04 18:33:31
    +postthis.creator == null2009-09-04 18:33:31
    +postthis.link == null2009-09-04 18:33:31
    +postthis.locale == null2009-09-04 18:33:31
    +postthis.pinnedToMain == java.lang.Boolean.FALSE2009-09-04 18:33:31
    +postthis.plugins == null2009-09-04 18:33:31
    +postthis.pubTime == null2009-09-04 18:33:31
    +postthis.removedTags == &new HashSet(WeblogEntry#4) 2009-09-04 18:33:31
    +postthis.rightToLeft == this.pinnedToMain2009-09-04 18:33:31
    +postthis.status == &"DRAFT"2009-09-04 18:33:31
    +postthis.summary == null2009-09-04 18:33:31
    +postthis.tagSet == &new HashSet(WeblogEntry#3)2009-09-04 18:33:31
    +postthis.text == null2009-09-04 18:33:31
    +postthis.title == null2009-09-04 18:33:31
    +postthis.updateTime == null2009-09-04 18:33:31
    +postthis.website == null2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.pojos.WeblogEntry(String, WeblogCategory, Weblog, User, String, String, String, String, Timestamp, Timestamp, String)

  • -/+ Kind Annotation Text Date
    +presumptioninit'ed(java.lang.Boolean.FALSE)2009-09-04 18:33:31
    +presumptioninit'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
    +postinit'ed(this.anchor)2009-09-04 18:33:31
    +postinit'ed(this.category)2009-09-04 18:33:31
    +postinit'ed(this.creator)2009-09-04 18:33:31
    +postinit'ed(this.id)2009-09-04 18:33:31
    +postinit'ed(this.link)2009-09-04 18:33:31
    +postinit'ed(this.pubTime)2009-09-04 18:33:31
    +postinit'ed(this.status)2009-09-04 18:33:31
    +postinit'ed(this.text)2009-09-04 18:33:31
    +postinit'ed(this.title)2009-09-04 18:33:31
    +postinit'ed(this.updateTime)2009-09-04 18:33:31
    +postinit'ed(this.website)2009-09-04 18:33:31
    +postnew HashSet(WeblogEntry#3) num objects == 12009-09-04 18:33:31
    +postnew HashSet(WeblogEntry#4) num objects == 12009-09-04 18:33:31
    +postnew HashSet(WeblogEntry#5) num objects == 12009-09-04 18:33:31
    +postnew Integer(WeblogEntry#1) num objects == 12009-09-04 18:33:31
    +postnew TreeSet(WeblogEntry#2) num objects == 12009-09-04 18:33:31
    +postthis.addedTags == &new HashSet(WeblogEntry#5)2009-09-04 18:33:31
    +postthis.allowComments == java.lang.Boolean.TRUE2009-09-04 18:33:31
    +postthis.anchor == anchor2009-09-04 18:33:31
    +postthis.attSet == &new TreeSet(WeblogEntry#2)2009-09-04 18:33:31
    +postthis.category == category2009-09-04 18:33:31
    +postthis.commentDays == &new Integer(WeblogEntry#1) 2009-09-04 18:33:31
    +postthis.contentSrc == null2009-09-04 18:33:31
    +postthis.contentType == null2009-09-04 18:33:31
    +postthis.creator == creator2009-09-04 18:33:31
    +postthis.link == link2009-09-04 18:33:31
    +postthis.locale == null2009-09-04 18:33:31
    +postthis.pinnedToMain == java.lang.Boolean.FALSE2009-09-04 18:33:31
    +postthis.plugins == null2009-09-04 18:33:31
    +postthis.pubTime == pubTime2009-09-04 18:33:31
    +postthis.removedTags == &new HashSet(WeblogEntry#4) 2009-09-04 18:33:31
    +postthis.rightToLeft == this.pinnedToMain2009-09-04 18:33:31
    +postthis.status == status2009-09-04 18:33:31
    +postthis.summary == null2009-09-04 18:33:31
    +postthis.tagSet == &new HashSet(WeblogEntry#3)2009-09-04 18:33:31
    +postthis.text == text2009-09-04 18:33:31
    +postthis.title == title2009-09-04 18:33:31
    +postthis.updateTime == updateTime2009-09-04 18:33:31
    +postthis.website == website2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.pojos.WeblogEntry(WeblogEntry)

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-222009-09-04 18:33:31
    +preinit'ed(otherData.allowComments)2009-09-04 18:33:31
    +preinit'ed(otherData.anchor)2009-09-04 18:33:31
    +preinit'ed(otherData.category)2009-09-04 18:33:31
    +preinit'ed(otherData.commentDays)2009-09-04 18:33:31
    +preinit'ed(otherData.creator)2009-09-04 18:33:31
    +preinit'ed(otherData.id)2009-09-04 18:33:31
    +preinit'ed(otherData.link)2009-09-04 18:33:31
    +preinit'ed(otherData.locale)2009-09-04 18:33:31
    +preinit'ed(otherData.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(otherData.pinnedToMain)2009-09-04 18:33:31
    +preinit'ed(otherData.plugins)2009-09-04 18:33:31
    +preinit'ed(otherData.pubTime)2009-09-04 18:33:31
    +preinit'ed(otherData.rightToLeft)2009-09-04 18:33:31
    +preinit'ed(otherData.status)2009-09-04 18:33:31
    +preinit'ed(otherData.text)2009-09-04 18:33:31
    +preinit'ed(otherData.title)2009-09-04 18:33:31
    +preinit'ed(otherData.updateTime)2009-09-04 18:33:31
    +preinit'ed(otherData.website)2009-09-04 18:33:31
    +preotherData != null2009-09-04 18:33:31
    +presumptioninit'ed(java.lang.Boolean.FALSE)2009-09-04 18:33:31
    +presumptioninit'ed(java.lang.Boolean.TRUE)2009-09-04 18:33:31
    +postinit'ed(this.allowComments)2009-09-04 18:33:31
    +postinit'ed(this.anchor)2009-09-04 18:33:31
    +postinit'ed(this.category)2009-09-04 18:33:31
    +postinit'ed(this.commentDays)2009-09-04 18:33:31
    +postinit'ed(this.contentSrc)2009-09-04 18:33:31
    +postinit'ed(this.contentType)2009-09-04 18:33:31
    +postinit'ed(this.creator)2009-09-04 18:33:31
    +postinit'ed(this.id)2009-09-04 18:33:31
    +postinit'ed(this.link)2009-09-04 18:33:31
    +postinit'ed(this.locale)2009-09-04 18:33:31
    +postinit'ed(this.pinnedToMain)2009-09-04 18:33:31
    +postinit'ed(this.plugins)2009-09-04 18:33:31
    +postinit'ed(this.pubTime)2009-09-04 18:33:31
    +postinit'ed(this.rightToLeft)2009-09-04 18:33:31
    +postinit'ed(this.status)2009-09-04 18:33:31
    +postinit'ed(this.summary)2009-09-04 18:33:31
    +postinit'ed(this.text)2009-09-04 18:33:31
    +postinit'ed(this.title)2009-09-04 18:33:31
    +postinit'ed(this.updateTime)2009-09-04 18:33:31
    +postinit'ed(this.website)2009-09-04 18:33:31
    +postnew HashSet(WeblogEntry#3) num objects == 12009-09-04 18:33:31
    +postnew HashSet(WeblogEntry#4) num objects == 12009-09-04 18:33:31
    +postnew HashSet(WeblogEntry#5) num objects == 12009-09-04 18:33:31
    +postnew Integer(WeblogEntry#1) num objects == 12009-09-04 18:33:31
    +postnew TreeSet(WeblogEntry#2) num objects == 12009-09-04 18:33:31
    +postthis.addedTags == &new HashSet(WeblogEntry#5)2009-09-04 18:33:31
    +postthis.allowComments == otherData.allowComments2009-09-04 18:33:31
    +postthis.anchor == otherData.anchor2009-09-04 18:33:31
    +postthis.attSet == &new TreeSet(WeblogEntry#2)2009-09-04 18:33:31
    +postthis.category == otherData.category2009-09-04 18:33:31
    +postthis.commentDays == otherData.commentDays2009-09-04 18:33:31
    +postthis.creator == otherData.creator2009-09-04 18:33:31
    +postthis.id == otherData.id2009-09-04 18:33:31
    +postthis.link == otherData.link2009-09-04 18:33:31
    +postthis.locale == otherData.locale2009-09-04 18:33:31
    +postthis.pinnedToMain == otherData.pinnedToMain2009-09-04 18:33:31
    +postthis.plugins == otherData.plugins2009-09-04 18:33:31
    +postthis.pubTime == otherData.pubTime2009-09-04 18:33:31
    +postthis.removedTags == &new HashSet(WeblogEntry#4) 2009-09-04 18:33:31
    +postthis.rightToLeft == otherData.rightToLeft2009-09-04 18:33:31
    +postthis.status == otherData.status2009-09-04 18:33:31
    +postthis.tagSet == &new HashSet(WeblogEntry#3)2009-09-04 18:33:31
    +postthis.text == otherData.text2009-09-04 18:33:31
    +postthis.title == otherData.title2009-09-04 18:33:31
    +postthis.updateTime == otherData.updateTime2009-09-04 18:33:31
    +postthis.website == otherData.website2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31

  • + org.apache.roller.weblogger.pojos.WeblogEntry__static_init

  • -/+ Kind Annotation Text Date
    +presumptionorg.apache.commons.logging.LogFactory:getFactory(.. .)@66 != null2009-09-04 18:33:31
    +postinit'ed(mLogger)2009-09-04 18:33:31
    +postnew Class[](WeblogEntry__static_init#2) num objects == 12009-09-04 18:33:31
    +postnew String[](WeblogEntry__static_init#1) num objects == 12009-09-04 18:33:31
    +postnew byte[](WeblogEntry__static_init#3) num objects == 12009-09-04 18:33:31
    +postpcFieldFlags == &new byte[](WeblogEntry__ static_init#3)2009-09-04 18:33:31
    +postpcFieldFlags.length == 222009-09-04 18:33:31
    +postpcFieldFlags[...] in {5, 26}2009-09-04 18:33:31
    +postpcFieldNames == &new String[](WeblogEntry__ static_init#1)2009-09-04 18:33:31
    +postpcFieldNames.length == 222009-09-04 18:33:31
    +postpcFieldNames[...] in Addr_Set{&"allowComments ",&"anchor",&"category",&"commentDays", &"contentSrc",&"contentType", &"creator",&"entryAttributes",&"id", &"link",&"locale",&"pinnedToMain", &"plugins"...2009-09-04 18:33:31
    +postpcFieldTypes == &new Class[](WeblogEntry__ static_init#2)2009-09-04 18:33:31
    +postpcFieldTypes.length == 222009-09-04 18:33:31
    +unanalyzedcall on java.lang.Class:forName2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Integer2009-09-04 18:33:31
    +unanalyzedcall on java.lang.NoClassDefFoundError2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:getMessage2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet2009-09-04 18:33:31
    +unanalyzedcall on java.util.TreeSet2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.util.UUIDGenerator:genera teUUID2009-09-04 18:33:31

  • + void pcClearFields()

  • -/+ Kind Annotation Text Date
    +postParam_0.addedTags == &new HashSet(pcsetTags#2)2009-09-04 18:33:31
    +postParam_0.allowComments == null2009-09-04 18:33:31
    +postParam_0.anchor == null2009-09-04 18:33:31
    +postParam_0.attSet == null2009-09-04 18:33:31
    +postParam_0.category == null2009-09-04 18:33:31
    +postParam_0.commentDays == null2009-09-04 18:33:31
    +postParam_0.contentSrc == null2009-09-04 18:33:31
    +postParam_0.contentType == null2009-09-04 18:33:31
    +postParam_0.creator == null2009-09-04 18:33:31
    +postParam_0.id == null2009-09-04 18:33:31
    +postParam_0.link == null2009-09-04 18:33:31
    +postParam_0.locale == null2009-09-04 18:33:31
    +postParam_0.pinnedToMain == null2009-09-04 18:33:31
    +postParam_0.plugins == null2009-09-04 18:33:31
    +postParam_0.pubTime == null2009-09-04 18:33:31
    +postParam_0.removedTags == &new HashSet(pcsetTags#1 )2009-09-04 18:33:31
    +postParam_0.rightToLeft == null2009-09-04 18:33:31
    +postParam_0.status == null2009-09-04 18:33:31
    +postParam_0.summary == null2009-09-04 18:33:31
    +postParam_0.tagSet == null2009-09-04 18:33:31
    +postParam_0.text == null2009-09-04 18:33:31
    +postParam_0.title == null2009-09-04 18:33:31
    +postParam_0.updateTime == null2009-09-04 18:33:31
    +postParam_0.website == null2009-09-04 18:33:31
    +postnew HashSet(pcsetTags#1) num objects == 12009-09-04 18:33:31
    +postnew HashSet(pcsetTags#2) num objects == 12009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet2009-09-04 18:33:31

  • + void pcCopyField(WeblogEntry, int)

  • -/+ 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
    +preParam_1 != null2009-09-04 18:33:31
    +preParam_2 - pcInheritedFieldCount in 0..212009-09-04 18:33:31
    +preinit'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +postnew HashSet(pcsetTags#1) num objects <= 12009-09-04 18:33:31
    +postnew HashSet(pcsetTags#2) num objects <= 12009-09-04 18:33:31
    +postpossibly_updated(Param_0.addedTags)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.allowComments)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.anchor)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.attSet)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.category)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.commentDays)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.contentSrc)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.contentType)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.creator)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.link)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.locale)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.pinnedToMain)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.plugins)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.pubTime)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.removedTags)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.rightToLeft)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.status)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.summary)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.tagSet)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.text)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.title)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.updateTime)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.website)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet2009-09-04 18:33:31
    +test_vectorParam_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

  • + void pcCopyFields(Object, int[])

  • -/+ 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
    +preParam_0.pcStateManager != null2009-09-04 18:33:31
    +preParam_0.pcStateManager == Param_1.pcStateManager2009-09-04 18:33:31
    +preParam_1 != null2009-09-04 18:33:31
    +preParam_1.pcStateManager != null2009-09-04 18:33:31
    +preParam_2 != null2009-09-04 18:33:31
    +preParam_2.length <= 232-12009-09-04 18:33:31
    +postinit'ed(new HashSet(pcsetTags#1) num objects)2009-09-04 18:33:31
    +postinit'ed(new HashSet(pcsetTags#2) num objects)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.addedTags)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.allowComments)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.anchor)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.attSet)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.category)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.commentDays)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.contentSrc)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.contentType)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.creator)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.link)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.locale)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.pinnedToMain)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.plugins)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.pubTime)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.removedTags)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.rightToLeft)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.status)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.summary)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.tagSet)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.text)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.title)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.updateTime)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.website)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet2009-09-04 18:33:31

  • + void pcCopyKeyFieldsFromObjectId(Object)

  • -/+ Kind Annotation Text Date
    +preParam_1 != null2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31

  • + void pcCopyKeyFieldsFromObjectId(FieldConsumer, Object)

  • -/+ Kind Annotation Text Date
    +preParam_1 != null2009-09-04 18:33:31
    +preParam_2 != null2009-09-04 18:33:31
    +prepcInheritedFieldCount <= 232-92009-09-04 18:33:31

  • + void pcCopyKeyFieldsToObjectId(Object)

  • -/+ Kind Annotation Text Date

  • + void pcCopyKeyFieldsToObjectId(FieldSupplier, Object)

  • -/+ Kind Annotation Text Date

  • + void pcDirty(String)

  • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + Object pcFetchObjectId()

  • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + Object pcGetDetachedState()

  • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcDetachedState)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.pcDetachedState2009-09-04 18:33:31

  • + int pcGetEnhancementContractVersion()

  • -/+ Kind Annotation Text Date
    +postreturn_value == 22009-09-04 18:33:31

  • + Object pcGetGenericContext()

  • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + int pcGetManagedFieldCount()

  • -/+ Kind Annotation Text Date
    +postreturn_value == 222009-09-04 18:33:31

  • + StateManager pcGetStateManager()

  • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.pcStateManager2009-09-04 18:33:31

  • + Object pcGetVersion()

  • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + bool pcIsDeleted()

  • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + Boolean pcIsDetached()

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.pcDetachedState)2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +presumptioninit'ed(java.lang.Boolean.FALSE)2009-09-04 18:33:31
    +presumptioninit'ed(java.lang.Boolean.TRUE)2009-09-04 18:33:31
    +presumptioninit'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
    +postreturn_value == One-of{java.lang.Boolean.TRUE, java.lang.Boolean.FALSE, null}2009-09-04 18:33:31
    +test_vectorParam_0.pcDetachedState: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.apache.openjpa.enhance.StateManager:isDetached( ...): {0}, {1}2009-09-04 18:33:31

  • + bool pcIsDirty()

  • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + bool pcIsNew()

  • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + bool pcIsPersistent()

  • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + bool pcIsTransactional()

  • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + PersistenceCapable pcNewInstance(StateManager, Object, bool)

  • -/+ Kind Annotation Text Date
    +preParam_2 != null2009-09-04 18:33:31
    +postinit'ed(return_value.allowComments)2009-09-04 18:33:31
    +postinit'ed(return_value.id)2009-09-04 18:33:31
    +postinit'ed(return_value.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value.pinnedToMain)2009-09-04 18:33:31
    +postinit'ed(return_value.rightToLeft)2009-09-04 18:33:31
    +postnew HashSet(WeblogEntry#3) num objects == 12009-09-04 18:33:31
    +postnew HashSet(WeblogEntry#4) num objects == 12009-09-04 18:33:31
    +postnew HashSet(WeblogEntry#5) num objects == 12009-09-04 18:33:31
    +postnew HashSet(pcsetTags#1) num objects <= 12009-09-04 18:33:31
    +postnew HashSet(pcsetTags#2) num objects <= 12009-09-04 18:33:31
    +postnew Integer(WeblogEntry#1) num objects == 12009-09-04 18:33:31
    +postnew TreeSet(WeblogEntry#2) num objects == 12009-09-04 18:33:31
    +postnew WeblogEntry(pcNewInstance#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new WeblogEntry(pcNewInstance# 1)2009-09-04 18:33:31
    +postreturn_value.addedTags in Addr_Set{&new HashSet(WeblogEntry#5),&new HashSet(pcsetTags# 2)}2009-09-04 18:33:31
    +postreturn_value.allowComments == One-of{java.lang. Boolean.TRUE, null}2009-09-04 18:33:31
    +postreturn_value.anchor == null2009-09-04 18:33:31
    +postreturn_value.attSet in Addr_Set{null,&new TreeSet(WeblogEntry#2)}2009-09-04 18:33:31
    +postreturn_value.category == null2009-09-04 18:33:31
    +postreturn_value.commentDays in Addr_Set{null,&new Integer(WeblogEntry#1)}2009-09-04 18:33:31
    +postreturn_value.contentSrc == null2009-09-04 18:33:31
    +postreturn_value.contentType == null2009-09-04 18:33:31
    +postreturn_value.creator == null2009-09-04 18:33:31
    +postreturn_value.link == null2009-09-04 18:33:31
    +postreturn_value.locale == null2009-09-04 18:33:31
    +postreturn_value.pcStateManager == Param_12009-09-04 18:33:31
    +postreturn_value.pinnedToMain == One-of{java.lang. Boolean.FALSE, null}2009-09-04 18:33:31
    +postreturn_value.plugins == null2009-09-04 18:33:31
    +postreturn_value.pubTime == null2009-09-04 18:33:31
    +postreturn_value.removedTags in Addr_Set{&new HashSet(WeblogEntry#4),&new HashSet(pcsetTags# 1)}2009-09-04 18:33:31
    +postreturn_value.rightToLeft == One-of{java.lang. Boolean.FALSE, null}2009-09-04 18:33:31
    +postreturn_value.status in Addr_Set{null,&"DRAFT"}2009-09-04 18:33:31
    +postreturn_value.summary == null2009-09-04 18:33:31
    +postreturn_value.tagSet in Addr_Set{null,&new HashSet(WeblogEntry#3)}2009-09-04 18:33:31
    +postreturn_value.text == null2009-09-04 18:33:31
    +postreturn_value.title == null2009-09-04 18:33:31
    +postreturn_value.updateTime == null2009-09-04 18:33:31
    +postreturn_value.website == null2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Integer2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet2009-09-04 18:33:31
    +unanalyzedcall on java.util.TreeSet2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.util.StringId:getId2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.util.UUIDGenerator:genera teUUID2009-09-04 18:33:31
    +test_vectorParam_3: {0}, {1}2009-09-04 18:33:31

  • + PersistenceCapable pcNewInstance(StateManager, bool)

  • -/+ Kind Annotation Text Date
    +postinit'ed(return_value.allowComments)2009-09-04 18:33:31
    +postinit'ed(return_value.id)2009-09-04 18:33:31
    +postinit'ed(return_value.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value.pinnedToMain)2009-09-04 18:33:31
    +postinit'ed(return_value.rightToLeft)2009-09-04 18:33:31
    +postnew HashSet(WeblogEntry#3) num objects == 12009-09-04 18:33:31
    +postnew HashSet(WeblogEntry#4) num objects == 12009-09-04 18:33:31
    +postnew HashSet(WeblogEntry#5) num objects == 12009-09-04 18:33:31
    +postnew HashSet(pcsetTags#1) num objects <= 12009-09-04 18:33:31
    +postnew HashSet(pcsetTags#2) num objects <= 12009-09-04 18:33:31
    +postnew Integer(WeblogEntry#1) num objects == 12009-09-04 18:33:31
    +postnew TreeSet(WeblogEntry#2) num objects == 12009-09-04 18:33:31
    +postnew WeblogEntry(pcNewInstance#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new WeblogEntry(pcNewInstance# 1)2009-09-04 18:33:31
    +postreturn_value.addedTags in Addr_Set{&new HashSet(WeblogEntry#5),&new HashSet(pcsetTags# 2)}2009-09-04 18:33:31
    +postreturn_value.allowComments == One-of{java.lang. Boolean.TRUE, null}2009-09-04 18:33:31
    +postreturn_value.anchor == null2009-09-04 18:33:31
    +postreturn_value.attSet in Addr_Set{null,&new TreeSet(WeblogEntry#2)}2009-09-04 18:33:31
    +postreturn_value.category == null2009-09-04 18:33:31
    +postreturn_value.commentDays in Addr_Set{null,&new Integer(WeblogEntry#1)}2009-09-04 18:33:31
    +postreturn_value.contentSrc == null2009-09-04 18:33:31
    +postreturn_value.contentType == null2009-09-04 18:33:31
    +postreturn_value.creator == null2009-09-04 18:33:31
    +postreturn_value.link == null2009-09-04 18:33:31
    +postreturn_value.locale == null2009-09-04 18:33:31
    +postreturn_value.pcStateManager == Param_12009-09-04 18:33:31
    +postreturn_value.pinnedToMain == One-of{java.lang. Boolean.FALSE, null}2009-09-04 18:33:31
    +postreturn_value.plugins == null2009-09-04 18:33:31
    +postreturn_value.pubTime == null2009-09-04 18:33:31
    +postreturn_value.removedTags in Addr_Set{&new HashSet(WeblogEntry#4),&new HashSet(pcsetTags# 1)}2009-09-04 18:33:31
    +postreturn_value.rightToLeft == One-of{java.lang. Boolean.FALSE, null}2009-09-04 18:33:31
    +postreturn_value.status in Addr_Set{null,&"DRAFT"}2009-09-04 18:33:31
    +postreturn_value.summary == null2009-09-04 18:33:31
    +postreturn_value.tagSet in Addr_Set{null,&new HashSet(WeblogEntry#3)}2009-09-04 18:33:31
    +postreturn_value.text == null2009-09-04 18:33:31
    +postreturn_value.title == null2009-09-04 18:33:31
    +postreturn_value.updateTime == null2009-09-04 18:33:31
    +postreturn_value.website == null2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Integer2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet2009-09-04 18:33:31
    +unanalyzedcall on java.util.TreeSet2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.util.UUIDGenerator:genera teUUID2009-09-04 18:33:31
    +test_vectorParam_2: {0}, {1}2009-09-04 18:33:31

  • + Object pcNewObjectIdInstance()

  • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.id)2009-09-04 18:33:31
    +postnew StringId(pcNewObjectIdInstance#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new StringId(pcNewObjectIdInst ance#1)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Class:forName2009-09-04 18:33:31
    +unanalyzedcall on java.lang.NoClassDefFoundError2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:getMessage2009-09-04 18:33:31

  • + Object pcNewObjectIdInstance(Object)

  • -/+ Kind Annotation Text Date
    +postnew StringId(pcNewObjectIdInstance#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new StringId(pcNewObjectIdInst ance#1)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Class:forName2009-09-04 18:33:31
    +unanalyzedcall on java.lang.NoClassDefFoundError2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:getMessage2009-09-04 18:33:31

  • + void pcProvideField(int)

  • -/+ 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
    +preParam_0.pcStateManager != null2009-09-04 18:33:31
    +preParam_1 - pcInheritedFieldCount in 0..212009-09-04 18:33:31
    +preinit'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +test_vectorParam_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

  • + void pcProvideFields(int[])

  • -/+ Kind Annotation Text Date
    +pre(soft) Param_0.pcStateManager != null2009-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
    +preParam_1 != null2009-09-04 18:33:31
    +preParam_1.length <= 232-12009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:pro videdObjectField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:pro videdStringField2009-09-04 18:33:31

  • + void pcReplaceField(int)

  • -/+ Kind Annotation Text Date
    +preParam_0.pcStateManager != null2009-09-04 18:33:31
    +preParam_1 - pcInheritedFieldCount in 0..212009-09-04 18:33:31
    +preinit'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +postnew HashSet(pcsetTags#1) num objects <= 12009-09-04 18:33:31
    +postnew HashSet(pcsetTags#2) num objects <= 12009-09-04 18:33:31
    +postpossibly_updated(Param_0.addedTags)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.allowComments)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.anchor)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.attSet)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.category)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.commentDays)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.contentSrc)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.contentType)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.creator)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.link)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.locale)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.pinnedToMain)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.plugins)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.pubTime)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.removedTags)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.rightToLeft)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.status)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.summary)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.tagSet)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.text)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.title)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.updateTime)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.website)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet2009-09-04 18:33:31
    +test_vectorParam_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

  • + void pcReplaceFields(int[])

  • -/+ Kind Annotation Text Date
    +pre(soft) Param_0.pcStateManager != null2009-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
    +preParam_1 != null2009-09-04 18:33:31
    +preParam_1.length <= 232-12009-09-04 18:33:31
    +postinit'ed(new HashSet(pcsetTags#1) num objects)2009-09-04 18:33:31
    +postinit'ed(new HashSet(pcsetTags#2) num objects)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.addedTags)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.allowComments)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.anchor)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.attSet)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.category)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.commentDays)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.contentSrc)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.contentType)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.creator)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.link)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.locale)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.pinnedToMain)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.plugins)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.pubTime)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.removedTags)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.rightToLeft)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.status)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.summary)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.tagSet)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.text)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.title)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.updateTime)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.website)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:rep laceObjectField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:rep laceStringField2009-09-04 18:33:31

  • + void pcReplaceStateManager(StateManager)

  • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + bool pcSerializing()

  • -/+ Kind Annotation Text Date
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void pcSetDetachedState(Object)

  • -/+ Kind Annotation Text Date
    +postParam_0.pcDetachedState == Param_12009-09-04 18:33:31
    +postinit'ed(Param_0.pcDetachedState)2009-09-04 18:33:31

  • + Boolean pcgetAllowComments()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.allowComments)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.allowComments2009-09-04 18:33:31

  • + String pcgetAnchor()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.anchor)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.anchor2009-09-04 18:33:31

  • + WeblogCategory pcgetCategory()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.category)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.category2009-09-04 18:33:31

  • + Integer pcgetCommentDays()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.commentDays)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.commentDays2009-09-04 18:33:31

  • + String pcgetContentSrc()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.contentSrc)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.contentSrc2009-09-04 18:33:31

  • + String pcgetContentType()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.contentType)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.contentType2009-09-04 18:33:31

  • + User pcgetCreator()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.creator)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.creator2009-09-04 18:33:31

  • + Set pcgetEntryAttributes()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.attSet)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.attSet2009-09-04 18:33:31

  • + String pcgetId()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.id)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.id2009-09-04 18:33:31

  • + String pcgetLink()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.link)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.link2009-09-04 18:33:31

  • + String pcgetLocale()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.locale)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.locale2009-09-04 18:33:31

  • + Boolean pcgetPinnedToMain()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.pinnedToMain)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.pinnedToMain2009-09-04 18:33:31

  • + String pcgetPlugins()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.plugins)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.plugins2009-09-04 18:33:31

  • + Timestamp pcgetPubTime()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.pubTime)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.pubTime2009-09-04 18:33:31

  • + Boolean pcgetRightToLeft()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.rightToLeft)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.rightToLeft2009-09-04 18:33:31

  • + String pcgetStatus()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.status)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.status2009-09-04 18:33:31

  • + String pcgetSummary()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.summary)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.summary2009-09-04 18:33:31

  • + Set pcgetTags()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.tagSet)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.tagSet2009-09-04 18:33:31

  • + String pcgetText()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.text)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.text2009-09-04 18:33:31

  • + String pcgetTitle()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.title)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.title2009-09-04 18:33:31

  • + Timestamp pcgetUpdateTime()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.updateTime)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.updateTime2009-09-04 18:33:31

  • + Weblog pcgetWebsite()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.website)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.website2009-09-04 18:33:31

  • + void pcsetAllowComments(Boolean)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.allowComments)2009-09-04 18:33:31
    +postthis.allowComments == Param_12009-09-04 18:33:31

  • + void pcsetAnchor(String)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.anchor)2009-09-04 18:33:31
    +postthis.anchor == Param_12009-09-04 18:33:31

  • + void pcsetCategory(WeblogCategory)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.category)2009-09-04 18:33:31
    +postthis.category == Param_12009-09-04 18:33:31

  • + void pcsetCommentDays(Integer)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.commentDays)2009-09-04 18:33:31
    +postthis.commentDays == Param_12009-09-04 18:33:31

  • + void pcsetContentSrc(String)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.contentSrc)2009-09-04 18:33:31
    +postthis.contentSrc == Param_12009-09-04 18:33:31

  • + void pcsetContentType(String)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.contentType)2009-09-04 18:33:31
    +postthis.contentType == Param_12009-09-04 18:33:31

  • + void pcsetCreator(User)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.creator)2009-09-04 18:33:31
    +postthis.creator == Param_12009-09-04 18:33:31

  • + void pcsetEntryAttributes(Set)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.attSet)2009-09-04 18:33:31
    +postthis.attSet == Param_12009-09-04 18:33:31

  • + void pcsetId(String)

  • -/+ Kind Annotation Text Date
    +postthis.id == One-of{old this.id, Param_1}2009-09-04 18:33:31
    +test_vectorParam_1: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@211: {1.. 232-1}, {0}2009-09-04 18:33:31

  • + void pcsetLink(String)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.link)2009-09-04 18:33:31
    +postthis.link == Param_12009-09-04 18:33:31

  • + void pcsetLocale(String)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.locale)2009-09-04 18:33:31
    +postthis.locale == Param_12009-09-04 18:33:31

  • + void pcsetPinnedToMain(Boolean)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.pinnedToMain)2009-09-04 18:33:31
    +postthis.pinnedToMain == Param_12009-09-04 18:33:31

  • + void pcsetPlugins(String)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.plugins)2009-09-04 18:33:31
    +postthis.plugins == Param_12009-09-04 18:33:31

  • + void pcsetPubTime(Timestamp)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.pubTime)2009-09-04 18:33:31
    +postthis.pubTime == Param_12009-09-04 18:33:31

  • + void pcsetRightToLeft(Boolean)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.rightToLeft)2009-09-04 18:33:31
    +postthis.rightToLeft == Param_12009-09-04 18:33:31

  • + void pcsetStatus(String)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.status)2009-09-04 18:33:31
    +postthis.status == Param_12009-09-04 18:33:31

  • + void pcsetSummary(String)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.summary)2009-09-04 18:33:31
    +postthis.summary == Param_12009-09-04 18:33:31

  • + void pcsetTags(Set)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.tagSet)2009-09-04 18:33:31
    +postnew HashSet(pcsetTags#1) num objects == 12009-09-04 18:33:31
    +postnew HashSet(pcsetTags#2) num objects == 12009-09-04 18:33:31
    +postthis.addedTags == &new HashSet(pcsetTags#2)2009-09-04 18:33:31
    +postthis.removedTags == &new HashSet(pcsetTags#1)2009-09-04 18:33:31
    +postthis.tagSet == Param_12009-09-04 18:33:31

  • + void pcsetText(String)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.text)2009-09-04 18:33:31
    +postthis.text == Param_12009-09-04 18:33:31

  • + void pcsetTitle(String)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.title)2009-09-04 18:33:31
    +postthis.title == Param_12009-09-04 18:33:31

  • + void pcsetUpdateTime(Timestamp)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.updateTime)2009-09-04 18:33:31
    +postthis.updateTime == Param_12009-09-04 18:33:31

  • + void pcsetWebsite(Weblog)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.website)2009-09-04 18:33:31
    +postthis.website == Param_12009-09-04 18:33:31

  • + void putEntryAttribute(String, String)

  • -/+ Kind Annotation Text Date
    +pre(soft) name != null2009-09-04 18:33:31
    +pre(soft) org/apache/roller/weblogger/pojos/WeblogEntr yAttribute.pcInheritedFieldCount <= 232-42009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-82009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +prethis.attSet != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@411 != null2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:set tingObjectField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:set tingStringField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.util.UUIDGenerator:genera teUUID2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@412: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@410: {0}, {1}2009-09-04 18:33:31

  • + void readObject(ObjectInputStream)

  • -/+ Kind Annotation Text Date
    +preParam_1 != null2009-09-04 18:33:31
    +presumptioninit'ed(org.apache.openjpa.enhance.PersistenceCapab le.DESERIALIZED)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.pcDetachedState)2009-09-04 18:33:31
    +postParam_0.pcDetachedState == org.apache.openjpa. enhance.PersistenceCapable.DESERIALIZED2009-09-04 18:33:31

  • + String render(String)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.plugins)2009-09-04 18:33:31
    +premLogger != null2009-09-04 18:33:31
    +prethis.website != null2009-09-04 18:33:31
    +presumptionjava.util.Map:get(...)@1146 != null2009-09-04 18:33:31
    +presumptionjava.util.Map:keySet(...)@1142 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-09-04 18:33:31
    +unanalyzedcall on java.util.Arrays:asList2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.lang.StringUtils:split2009-09-04 18:33:31
    +test_vectorgetInitializedPlugins(...)@1132: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@1143: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.List:contains(...)@1145: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.List:isEmpty(...)@1137: {1}, {0}2009-09-04 18:33:31
    +test_vectorstr: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void setAllowComments(Boolean)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.allowComments)2009-09-04 18:33:31
    +pre(soft) init'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.allowComments)2009-09-04 18:33:31
    +postParam_0.allowComments == One-of{Param_1, old Param_0.allowComments}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setAnchor(String)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.anchor)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-22009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.anchor)2009-09-04 18:33:31
    +postParam_0.anchor == One-of{Param_1, old Param_0.anchor}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setCategories(List)

  • -/+ Kind Annotation Text Date

  • + void setCategory(WeblogCategory)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.category)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-32009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.category)2009-09-04 18:33:31
    +postParam_0.category == One-of{Param_1, old Param_0.category}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setCommentCount(int)

  • -/+ Kind Annotation Text Date

  • + void setCommentDays(Integer)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.commentDays)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-42009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.commentDays)2009-09-04 18:33:31
    +postParam_0.commentDays == One-of{Param_1, old Param_0.commentDays}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setCommentsLink(String)

  • -/+ Kind Annotation Text Date

  • + void setCommentsStillAllowed(bool)

  • -/+ Kind Annotation Text Date

  • + void setContentSrc(String)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.contentSrc)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-52009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.contentSrc)2009-09-04 18:33:31
    +postParam_0.contentSrc == One-of{Param_1, old Param_0.contentSrc}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setContentType(String)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.contentType)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-62009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.contentType)2009-09-04 18:33:31
    +postParam_0.contentType == One-of{Param_1, old Param_0.contentType}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setCreator(User)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.creator)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-72009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.creator)2009-09-04 18:33:31
    +postParam_0.creator == One-of{Param_1, old Param_0.creator}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setData(WeblogEntry)

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-222009-09-04 18:33:31
    +preinit'ed(other.allowComments)2009-09-04 18:33:31
    +preinit'ed(other.anchor)2009-09-04 18:33:31
    +preinit'ed(other.category)2009-09-04 18:33:31
    +preinit'ed(other.commentDays)2009-09-04 18:33:31
    +preinit'ed(other.creator)2009-09-04 18:33:31
    +preinit'ed(other.id)2009-09-04 18:33:31
    +preinit'ed(other.link)2009-09-04 18:33:31
    +preinit'ed(other.locale)2009-09-04 18:33:31
    +preinit'ed(other.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(other.pinnedToMain)2009-09-04 18:33:31
    +preinit'ed(other.plugins)2009-09-04 18:33:31
    +preinit'ed(other.pubTime)2009-09-04 18:33:31
    +preinit'ed(other.rightToLeft)2009-09-04 18:33:31
    +preinit'ed(other.status)2009-09-04 18:33:31
    +preinit'ed(other.text)2009-09-04 18:33:31
    +preinit'ed(other.title)2009-09-04 18:33:31
    +preinit'ed(other.updateTime)2009-09-04 18:33:31
    +preinit'ed(other.website)2009-09-04 18:33:31
    +preother != null2009-09-04 18:33:31
    +postinit'ed(this.allowComments)2009-09-04 18:33:31
    +postinit'ed(this.anchor)2009-09-04 18:33:31
    +postinit'ed(this.category)2009-09-04 18:33:31
    +postinit'ed(this.commentDays)2009-09-04 18:33:31
    +postinit'ed(this.creator)2009-09-04 18:33:31
    +postinit'ed(this.id)2009-09-04 18:33:31
    +postinit'ed(this.link)2009-09-04 18:33:31
    +postinit'ed(this.locale)2009-09-04 18:33:31
    +postinit'ed(this.pinnedToMain)2009-09-04 18:33:31
    +postinit'ed(this.plugins)2009-09-04 18:33:31
    +postinit'ed(this.pubTime)2009-09-04 18:33:31
    +postinit'ed(this.rightToLeft)2009-09-04 18:33:31
    +postinit'ed(this.status)2009-09-04 18:33:31
    +postinit'ed(this.text)2009-09-04 18:33:31
    +postinit'ed(this.title)2009-09-04 18:33:31
    +postinit'ed(this.updateTime)2009-09-04 18:33:31
    +postinit'ed(this.website)2009-09-04 18:33:31
    +postthis.allowComments == other.allowComments2009-09-04 18:33:31
    +postthis.anchor == other.anchor2009-09-04 18:33:31
    +postthis.category == other.category2009-09-04 18:33:31
    +postthis.commentDays == other.commentDays2009-09-04 18:33:31
    +postthis.creator == other.creator2009-09-04 18:33:31
    +postthis.id == other.id2009-09-04 18:33:31
    +postthis.link == other.link2009-09-04 18:33:31
    +postthis.locale == other.locale2009-09-04 18:33:31
    +postthis.pinnedToMain == other.pinnedToMain2009-09-04 18:33:31
    +postthis.plugins == other.plugins2009-09-04 18:33:31
    +postthis.pubTime == other.pubTime2009-09-04 18:33:31
    +postthis.rightToLeft == other.rightToLeft2009-09-04 18:33:31
    +postthis.status == other.status2009-09-04 18:33:31
    +postthis.text == other.text2009-09-04 18:33:31
    +postthis.title == other.title2009-09-04 18:33:31
    +postthis.updateTime == other.updateTime2009-09-04 18:33:31
    +postthis.website == other.website2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31

  • + void setDisplayContent(String)

  • -/+ Kind Annotation Text Date

  • + void setDisplayTitle(String)

  • -/+ Kind Annotation Text Date

  • + void setDraft(bool)

  • -/+ Kind Annotation Text Date

  • + void setEntryAttributes(Set)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.attSet)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-82009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.attSet)2009-09-04 18:33:31
    +postParam_0.attSet == One-of{Param_1, old Param_0.attSet}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setId(String)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.id)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-92009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.id)2009-09-04 18:33:31
    +postParam_0.id == One-of{old Param_0.id, Param_1}2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setLink(String)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.link)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-102009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.link)2009-09-04 18:33:31
    +postParam_0.link == One-of{Param_1, old Param_0.link}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setLocale(String)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.locale)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-112009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.locale)2009-09-04 18:33:31
    +postParam_0.locale == One-of{Param_1, old Param_0.locale}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setPending(bool)

  • -/+ Kind Annotation Text Date

  • + void setPermaLink(String)

  • -/+ Kind Annotation Text Date

  • + void setPermalink(String)

  • -/+ Kind Annotation Text Date

  • + void setPinnedToMain(Boolean)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.pinnedToMain)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-122009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.pinnedToMain)2009-09-04 18:33:31
    +postParam_0.pinnedToMain == One-of{Param_1, old Param_0.pinnedToMain}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setPlugins(String)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.plugins)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-132009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.plugins)2009-09-04 18:33:31
    +postParam_0.plugins == One-of{Param_1, old Param_0.plugins}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setPubTime(Timestamp)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.pubTime)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-142009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.pubTime)2009-09-04 18:33:31
    +postParam_0.pubTime == One-of{Param_1, old Param_0.pubTime}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setPublished(bool)

  • -/+ Kind Annotation Text Date

  • + void setRightToLeft(Boolean)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.rightToLeft)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-152009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.rightToLeft)2009-09-04 18:33:31
    +postParam_0.rightToLeft == One-of{Param_1, old Param_0.rightToLeft}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setRss09xDescription(String)

  • -/+ Kind Annotation Text Date

  • + void setStatus(String)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.status)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-162009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.status)2009-09-04 18:33:31
    +postParam_0.status == One-of{Param_1, old Param_0.status}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setSummary(String)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.summary)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-172009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.summary)2009-09-04 18:33:31
    +postParam_0.summary == One-of{Param_1, old Param_0.summary}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setTags(Set)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.tagSet)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-182009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.tagSet)2009-09-04 18:33:31
    +postParam_0.addedTags == One-of{&new HashSet(pcsetTags#2*), old Param_0.addedTags}2009-09-04 18:33:31
    +postParam_0.removedTags == One-of{&new HashSet(pcsetTags#1*), old Param_0.removedTags}2009-09-04 18:33:31
    +postParam_0.tagSet == One-of{Param_1, old Param_0.tagSet}2009-09-04 18:33:31
    +postnew HashSet(pcsetTags#1*) num objects <= 12009-09-04 18:33:31
    +postnew HashSet(pcsetTags#2*) num objects <= 12009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setTagsAsString(String)

  • -/+ 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-62009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-222009-09-04 18:33:31
    +pre(soft) this.addedTags != null2009-09-04 18:33:31
    +pre(soft) this.tagSet != null2009-09-04 18:33:31
    +unanalyzedcall on getLocaleInstance2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet:add2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet:contains2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet:iterator2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashSet:remove2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:iterator2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:size2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale:getDefault2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:add2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:iterator2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:set tingObjectField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:set tingStringField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.util.UUIDGenerator:genera teUUID2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. WeblogManager:removeWeblogEntryTag2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getWeblogManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util. Utilities:normalizeTag2009-09-04 18:33:31
    +test_vectortags: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setText(String)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.text)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-192009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.text)2009-09-04 18:33:31
    +postParam_0.text == One-of{Param_1, old Param_0.text}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setTitle(String)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.title)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-202009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.title)2009-09-04 18:33:31
    +postParam_0.title == One-of{Param_1, old Param_0.title}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setTransformedSummary(String)

  • -/+ Kind Annotation Text Date

  • + void setTransformedText(String)

  • -/+ Kind Annotation Text Date

  • + void setUpdateTime(Timestamp)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.updateTime)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-212009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.updateTime)2009-09-04 18:33:31
    +postParam_0.updateTime == One-of{Param_1, old Param_0.updateTime}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setWebsite(Weblog)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.website)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-222009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +post(soft) init'ed(Param_0.website)2009-09-04 18:33:31
    +postParam_0.website == One-of{Param_1, old Param_0.website}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String toString()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.anchor)2009-09-04 18:33:31
    +preinit'ed(this.id)2009-09-04 18:33:31
    +preinit'ed(this.pubTime)2009-09-04 18:33:31
    +preinit'ed(this.title)2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuffer:toString(...)._ tainted)2009-09-04 18:33:31
    +postjava.lang.StringBuffer:toString(...)._tainted == this.title._tainted | this.id._tainted | this.anchor._tainted2009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuffer:toStrin g(...)2009-09-04 18:33:31

  • + void updateTags(List)

  • -/+ 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-62009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-222009-09-04 18:33:31
    +pre(soft) this.addedTags != null2009-09-04 18:33:31
    +pre(soft) this.tagSet != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@698 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@706 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@706 != null2009-09-04 18:33:31
    +unanalyzedcall on getLocaleInstance2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale:getDefault2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:add2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:iterator2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:set tingObjectField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:set tingStringField2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.util.UUIDGenerator:genera teUUID2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util. Utilities:normalizeTag2009-09-04 18:33:31
    +test_vectorjava.util.HashSet:contains(...)@699: {1}, {0}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@689: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@697: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@707: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@711: {0}, {1}2009-09-04 18:33:31
    +test_vectortags: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31
    +test_vectorthis.website: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void writeObject(ObjectOutputStream)

  • -/+ Kind Annotation Text Date
    +preParam_1 != null2009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +postParam_0.pcDetachedState == One-of{old Param_0.pcDetachedState, null}2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:ser ializing2009-09-04 18:33:31