WeblogTemplate.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


  • + bool equals(Object)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(other.name)2009-09-04 18:33:31
    +pre(soft) init'ed(other.pcStateManager)2009-09-04 18:33:31
    +pre(soft) init'ed(other.weblog)2009-09-04 18:33:31
    +pre(soft) init'ed(this.name)2009-09-04 18:33:31
    +pre(soft) init'ed(this.pcStateManager)2009-09-04 18:33:31
    +pre(soft) init'ed(this.weblog)2009-09-04 18:33:31
    +pre(soft) pcInheritedFieldCount <= 232-132009-09-04 18:33:31
    +presumptionorg.apache.commons.lang.builder.EqualsBuilder:appen d(...)@254 != 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 getAction()

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +preinit'ed(Param_0.action)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.action2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getContents()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-22009-09-04 18:33:31
    +preinit'ed(Param_0.contents)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.contents2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + ThemeTemplate getDecorator()

  • -/+ Kind Annotation Text Date
    +pre(soft) log != null2009-09-04 18:33:31
    +pre(soft) this.id != null2009-09-04 18:33:31
    +pre(soft) this.weblog != null2009-09-04 18:33:31
    +preinit'ed(this.decoratorName)2009-09-04 18:33:31
    +presumptiongetTheme(...)@78 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@76: {1}, {0}2009-09-04 18:33:31
    +test_vectorthis.decoratorName: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + String getDecoratorName()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-32009-09-04 18:33:31
    +preinit'ed(Param_0.decoratorName)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.decoratorName2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getDescription()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-42009-09-04 18:33:31
    +preinit'ed(Param_0.description)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.description2009-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-62009-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

  • + Date getLastModified()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-72009-09-04 18:33:31
    +preinit'ed(Param_0.lastModified)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.lastModified2009-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-82009-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 getName()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-92009-09-04 18:33:31
    +preinit'ed(Param_0.name)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.name2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getOutputContentType()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-112009-09-04 18:33:31
    +preinit'ed(Param_0.outputContentType)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.outputContentType2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getTemplateLanguage()

  • -/+ 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.templateLanguage)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.templateLanguage2009-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-132009-09-04 18:33:31
    +preinit'ed(Param_0.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(Param_0.weblog)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == Param_0.weblog2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + int hashCode()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-132009-09-04 18:33:31
    +preinit'ed(this.name)2009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-09-04 18:33:31
    +preinit'ed(this.weblog)2009-09-04 18:33:31
    +presumptionorg.apache.commons.lang.builder.HashCodeBuilder:app end(...)@261 != 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 isCustom()

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +pre(soft) init'ed(this.link)2009-09-04 18:33:31
    +pre(soft) init'ed(this.name)2009-09-04 18:33:31
    +pre(soft) requiredTemplates != null2009-09-04 18:33:31
    +preinit'ed(this.action)2009-09-04 18:33:31
    +preinit'ed(this.pcStateManager)2009-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:contains2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:acc essingField2009-09-04 18:33:31

  • + bool isHidden()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-52009-09-04 18:33:31
    +preinit'ed(Param_0.hidden)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.hidden2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + bool isNavbar()

  • -/+ Kind Annotation Text Date
    +pre(soft) pcInheritedFieldCount <= 232-102009-09-04 18:33:31
    +preinit'ed(Param_0.navbar)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.navbar2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + bool isRequired()

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.link)2009-09-04 18:33:31
    +preinit'ed(this.name)2009-09-04 18:33:31
    +prerequiredTemplates != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

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

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.id)2009-09-04 18:33:31
    +postthis.action == null2009-09-04 18:33:31
    +postthis.contents == null2009-09-04 18:33:31
    +postthis.decoratorName == null2009-09-04 18:33:31
    +postthis.description == null2009-09-04 18:33:31
    +postthis.hidden == 02009-09-04 18:33:31
    +postthis.lastModified == null2009-09-04 18:33:31
    +postthis.link == null2009-09-04 18:33:31
    +postthis.name == null2009-09-04 18:33:31
    +postthis.navbar == 02009-09-04 18:33:31
    +postthis.outputContentType == null2009-09-04 18:33:31
    +postthis.templateLanguage == null2009-09-04 18:33:31
    +postthis.weblog == null2009-09-04 18:33:31

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

  • -/+ Kind Annotation Text Date
    +presumptioninit'ed(java.lang.Boolean.TYPE)2009-09-04 18:33:31
    +post(soft) init'ed(pcFieldTypes[4])2009-09-04 18:33:31
    +postinit'ed(log)2009-09-04 18:33:31
    +postnew Class[](WeblogTemplate__static_init#3) num objects == 12009-09-04 18:33:31
    +postnew HashSet(WeblogTemplate__static_init#1) num objects == 12009-09-04 18:33:31
    +postnew String[](WeblogTemplate__static_init#2) num objects == 12009-09-04 18:33:31
    +postnew byte[](WeblogTemplate__static_init#4) num objects == 12009-09-04 18:33:31
    +postpcFieldFlags == &new byte[](WeblogTemplate__ static_init#4)2009-09-04 18:33:31
    +postpcFieldFlags.length == 132009-09-04 18:33:31
    +postpcFieldFlags[0] == 262009-09-04 18:33:31
    +postpcFieldFlags[10] == 262009-09-04 18:33:31
    +postpcFieldFlags[11] == 262009-09-04 18:33:31
    +postpcFieldFlags[12] == 262009-09-04 18:33:31
    +postpcFieldFlags[1] == 262009-09-04 18:33:31
    +postpcFieldFlags[2] == 262009-09-04 18:33:31
    +postpcFieldFlags[3] == 262009-09-04 18:33:31
    +postpcFieldFlags[4] == 262009-09-04 18:33:31
    +postpcFieldFlags[5] == 262009-09-04 18:33:31
    +postpcFieldFlags[6] == 262009-09-04 18:33:31
    +postpcFieldFlags[7] == 262009-09-04 18:33:31
    +postpcFieldFlags[8] == 262009-09-04 18:33:31
    +postpcFieldFlags[9] == 262009-09-04 18:33:31
    +postpcFieldNames == &new String[](WeblogTemplate__ static_init#2)2009-09-04 18:33:31
    +postpcFieldNames.length == 132009-09-04 18:33:31
    +postpcFieldNames[0] == &"action"2009-09-04 18:33:31
    +postpcFieldNames[10] == &"outputContentType"2009-09-04 18:33:31
    +postpcFieldNames[11] == &"templateLanguage"2009-09-04 18:33:31
    +postpcFieldNames[12] == &"website"2009-09-04 18:33:31
    +postpcFieldNames[1] == &"contents"2009-09-04 18:33:31
    +postpcFieldNames[2] == &"decoratorName"2009-09-04 18:33:31
    +postpcFieldNames[3] == &"description"2009-09-04 18:33:31
    +postpcFieldNames[4] == &"hidden"2009-09-04 18:33:31
    +postpcFieldNames[5] == &"id"2009-09-04 18:33:31
    +postpcFieldNames[6] == &"lastModified"2009-09-04 18:33:31
    +postpcFieldNames[7] == &"link"2009-09-04 18:33:31
    +postpcFieldNames[8] == &"name"2009-09-04 18:33:31
    +postpcFieldNames[9] == &"navbar"2009-09-04 18:33:31
    +postpcFieldTypes == &new Class[](WeblogTemplate__ static_init#3)2009-09-04 18:33:31
    +postpcFieldTypes.length == 132009-09-04 18:33:31
    +postpcFieldTypes[4] == java.lang.Boolean.TYPE2009-09-04 18:33:31
    +postpcFieldTypes[9] == pcFieldTypes[4]2009-09-04 18:33:31
    +postrequiredTemplates == &new HashSet(WeblogTemplat e__static_init#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
    +unanalyzedcall on org.apache.roller.util.UUIDGenerator:genera teUUID2009-09-04 18:33:31

  • + void pcClearFields()

  • -/+ Kind Annotation Text Date
    +postParam_0.action == null2009-09-04 18:33:31
    +postParam_0.contents == null2009-09-04 18:33:31
    +postParam_0.decoratorName == null2009-09-04 18:33:31
    +postParam_0.description == null2009-09-04 18:33:31
    +postParam_0.hidden == 02009-09-04 18:33:31
    +postParam_0.id == null2009-09-04 18:33:31
    +postParam_0.lastModified == null2009-09-04 18:33:31
    +postParam_0.link == null2009-09-04 18:33:31
    +postParam_0.name == null2009-09-04 18:33:31
    +postParam_0.navbar == 02009-09-04 18:33:31
    +postParam_0.outputContentType == null2009-09-04 18:33:31
    +postParam_0.templateLanguage == null2009-09-04 18:33:31
    +postParam_0.weblog == null2009-09-04 18:33:31

  • + void pcCopyField(WeblogTemplate, int)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_1.action)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.contents)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.decoratorName)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.description)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.hidden)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.lastModified)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.name)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.navbar)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.outputContentType)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.templateLanguage)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.weblog)2009-09-04 18:33:31
    +preParam_1 != null2009-09-04 18:33:31
    +preParam_2 - pcInheritedFieldCount in 0..122009-09-04 18:33:31
    +preinit'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.action)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.contents)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.decoratorName)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.description)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.hidden)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.lastModified)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.link)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.name)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.navbar)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.outputContentType)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.templateLanguage)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.weblog)2009-09-04 18:33:31
    +test_vectorParam_2 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, {12}2009-09-04 18:33:31

  • + void pcCopyFields(Object, int[])

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_1.action)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.contents)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.decoratorName)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.description)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.hidden)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.lastModified)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.name)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.navbar)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.outputContentType)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.templateLanguage)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_1.weblog)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
    +postpossibly_updated(Param_0.action)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.contents)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.decoratorName)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.description)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.hidden)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.lastModified)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.link)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.name)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.navbar)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.outputContentType)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.templateLanguage)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.weblog)2009-09-04 18:33:31

  • + void pcCopyKeyFieldsFromObjectId(Object)

  • -/+ Kind Annotation Text Date
    +preParam_1 != null2009-09-04 18:33:31
    +postinit'ed(Param_0.id)2009-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-62009-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 == 132009-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.id)2009-09-04 18:33:31
    +postinit'ed(return_value.pcStateManager)2009-09-04 18:33:31
    +postnew WeblogTemplate(pcNewInstance#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new WeblogTemplate(pcNewInstan ce#1)2009-09-04 18:33:31
    +postreturn_value.action == null2009-09-04 18:33:31
    +postreturn_value.contents == null2009-09-04 18:33:31
    +postreturn_value.decoratorName == null2009-09-04 18:33:31
    +postreturn_value.description == null2009-09-04 18:33:31
    +postreturn_value.hidden == 02009-09-04 18:33:31
    +postreturn_value.lastModified == null2009-09-04 18:33:31
    +postreturn_value.link == null2009-09-04 18:33:31
    +postreturn_value.name == null2009-09-04 18:33:31
    +postreturn_value.navbar == 02009-09-04 18:33:31
    +postreturn_value.outputContentType == null2009-09-04 18:33:31
    +postreturn_value.pcStateManager == Param_12009-09-04 18:33:31
    +postreturn_value.templateLanguage == null2009-09-04 18:33:31
    +postreturn_value.weblog == null2009-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.id)2009-09-04 18:33:31
    +postinit'ed(return_value.pcStateManager)2009-09-04 18:33:31
    +postnew WeblogTemplate(pcNewInstance#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new WeblogTemplate(pcNewInstan ce#1)2009-09-04 18:33:31
    +postreturn_value.action == null2009-09-04 18:33:31
    +postreturn_value.contents == null2009-09-04 18:33:31
    +postreturn_value.decoratorName == null2009-09-04 18:33:31
    +postreturn_value.description == null2009-09-04 18:33:31
    +postreturn_value.hidden == 02009-09-04 18:33:31
    +postreturn_value.lastModified == null2009-09-04 18:33:31
    +postreturn_value.link == null2009-09-04 18:33:31
    +postreturn_value.name == null2009-09-04 18:33:31
    +postreturn_value.navbar == 02009-09-04 18:33:31
    +postreturn_value.outputContentType == null2009-09-04 18:33:31
    +postreturn_value.pcStateManager == Param_12009-09-04 18:33:31
    +postreturn_value.templateLanguage == null2009-09-04 18:33:31
    +postreturn_value.weblog == null2009-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.action)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.contents)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.decoratorName)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.description)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.hidden)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.lastModified)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.name)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.navbar)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.outputContentType)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.templateLanguage)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.weblog)2009-09-04 18:33:31
    +preParam_0.pcStateManager != null2009-09-04 18:33:31
    +preParam_1 - pcInheritedFieldCount in 0..122009-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}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.action)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.contents)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.decoratorName)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.description)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.hidden)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.lastModified)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.name)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.navbar)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.outputContentType)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.templateLanguage)2009-09-04 18:33:31
    +pre(soft) init'ed(Param_0.weblog)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 videdBooleanField2009-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..122009-09-04 18:33:31
    +preinit'ed(pcInheritedFieldCount)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.action)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.contents)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.decoratorName)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.description)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.hidden)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.lastModified)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.link)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.name)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.navbar)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.outputContentType)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.templateLanguage)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.weblog)2009-09-04 18:33:31
    +test_vectorParam_1 - pcInheritedFieldCount: {0}, {1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, {12}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
    +postpossibly_updated(Param_0.action)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.contents)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.decoratorName)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.description)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.hidden)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.id)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.lastModified)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.link)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.name)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.navbar)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.outputContentType)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.templateLanguage)2009-09-04 18:33:31
    +postpossibly_updated(Param_0.weblog)2009-09-04 18:33:31
    +unanalyzedcall on org.apache.openjpa.enhance.StateManager:rep laceBooleanField2009-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

  • + String pcgetAction()

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

  • + String pcgetContents()

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

  • + String pcgetDecoratorName()

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

  • + String pcgetDescription()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.description)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.description2009-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

  • + Date pcgetLastModified()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.lastModified)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.lastModified2009-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 pcgetName()

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

  • + String pcgetOutputContentType()

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

  • + String pcgetTemplateLanguage()

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

  • + Weblog pcgetWebsite()

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

  • + bool pcisHidden()

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

  • + bool pcisNavbar()

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

  • + void pcsetAction(String)

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

  • + void pcsetContents(String)

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

  • + void pcsetDecoratorName(String)

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

  • + void pcsetDescription(String)

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

  • + void pcsetHidden(bool)

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

  • + void pcsetId(String)

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

  • + void pcsetLastModified(Date)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.lastModified)2009-09-04 18:33:31
    +postthis.lastModified == Param_12009-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 pcsetName(String)

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

  • + void pcsetNavbar(bool)

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

  • + void pcsetOutputContentType(String)

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

  • + void pcsetTemplateLanguage(String)

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

  • + void pcsetWebsite(Weblog)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.weblog)2009-09-04 18:33:31
    +postthis.weblog == Param_12009-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

  • + void setAction(String)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.action)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.action)2009-09-04 18:33:31
    +postParam_0.action == One-of{Param_1, old Param_0.action}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setContents(String)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.contents)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.contents)2009-09-04 18:33:31
    +postParam_0.contents == One-of{Param_1, old Param_0.contents}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setDecoratorName(String)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.decoratorName)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.decoratorName)2009-09-04 18:33:31
    +postParam_0.decoratorName == One-of{Param_1, old Param_0.decoratorName}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setDescription(String)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.description)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.description)2009-09-04 18:33:31
    +postParam_0.description == One-of{Param_1, old Param_0.description}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setHidden(bool)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.hidden)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.hidden)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-62009-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{Param_1, old Param_0.id}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setLastModified(Date)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.lastModified)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.lastModified)2009-09-04 18:33:31
    +postParam_0.lastModified == One-of{Param_1, old Param_0.lastModified}2009-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-82009-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 setName(String)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.name)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.name)2009-09-04 18:33:31
    +postParam_0.name == One-of{Param_1, old Param_0.name}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setNavbar(bool)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.navbar)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.navbar)2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setOutputContentType(String)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.outputContentType)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.outputContentType)2009-09-04 18:33:31
    +postParam_0.outputContentType == One-of{Param_1, old Param_0.outputContentType}2009-09-04 18:33:31
    +test_vectorParam_0.pcStateManager: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void setTemplateLanguage(String)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(Param_0.templateLanguage)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.templateLanguage)2009-09-04 18:33:31
    +postParam_0.templateLanguage == One-of{Param_1, old Param_0.templateLanguage}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.weblog)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.weblog)2009-09-04 18:33:31
    +postParam_0.weblog == One-of{Param_1, old Param_0.weblog}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.decoratorName)2009-09-04 18:33:31
    +preinit'ed(this.id)2009-09-04 18:33:31
    +preinit'ed(this.link)2009-09-04 18:33:31
    +preinit'ed(this.name)2009-09-04 18:33:31
    +preinit'ed(this.templateLanguage)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.templateLanguage._tainted | this. decoratorName._tainted | this.link._tainted | this.id._tainted | this.name._tainted2009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuffer:toStrin g(...)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