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


  • + bool equals(Object)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(o.description)2009-09-04 18:33:31
    +pre(soft) init'ed(o.emailAddress)2009-09-04 18:33:31
    +pre(soft) init'ed(o.enabled)2009-09-04 18:33:31
    +pre(soft) init'ed(o.handle)2009-09-04 18:33:31
    +pre(soft) init'ed(o.href)2009-09-04 18:33:31
    +pre(soft) init'ed(o.locale)2009-09-04 18:33:31
    +pre(soft) init'ed(o.name)2009-09-04 18:33:31
    +pre(soft) init'ed(o.timezone)2009-09-04 18:33:31
    +pre(soft) init'ed(this.description)2009-09-04 18:33:31
    +pre(soft) init'ed(this.emailAddress)2009-09-04 18:33:31
    +pre(soft) init'ed(this.enabled)2009-09-04 18:33:31
    +pre(soft) init'ed(this.handle)2009-09-04 18:33:31
    +pre(soft) init'ed(this.href)2009-09-04 18:33:31
    +pre(soft) init'ed(this.locale)2009-09-04 18:33:31
    +pre(soft) init'ed(this.name)2009-09-04 18:33:31
    +pre(soft) init'ed(this.timezone)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on getType2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Object:equals2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Object:getClass2009-09-04 18:33:31
    +test_vectoro: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.webservices. adminprotocol.sdk.WeblogEntry:areEqual(...)@281: {1}, {0}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.webservices. adminprotocol.sdk.WeblogEntry:areEqual(...)@284: {1}, {0}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.webservices. adminprotocol.sdk.WeblogEntry:areEqual(...)@287: {1}, {0}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.webservices. adminprotocol.sdk.WeblogEntry:areEqual(...)@290: {1}, {0}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.webservices. adminprotocol.sdk.WeblogEntry:areEqual(...)@293: {1}, {0}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.webservices. adminprotocol.sdk.WeblogEntry:areEqual(...)@296: {1}, {0}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.webservices. adminprotocol.sdk.WeblogEntry:areEqual(...)@299: {1}, {0}2009-09-04 18:33:31

  • + String getAppEntriesUrl()

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

  • + String getAppResourcesUrl()

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

  • + String getCreatingUser()

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

  • + Date getDateCreated()

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

  • + String getDescription()

    • -/+ 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 getEmailAddress()

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

  • + Boolean getEnabled()

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

  • + String getHandle()

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

  • + Locale getLocale()

    • -/+ 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

  • + String getName()

    • -/+ 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

  • + TimeZone getTimezone()

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

  • + String getType()

    • -/+ Kind Annotation Text Date
    +postreturn_value == &"weblog"2009-09-04 18:33:31

  • + org.apache.roller.weblogger.webservices.adminprotocol.sdk.WeblogEntry$Tags__static_init

    • -/+ Kind Annotation Text Date

  • + void org.apache.roller.weblogger.webservices.adminprotocol.sdk.WeblogEntry(InputStream, String)

    • -/+ Kind Annotation Text Date
    +presumptionorg.jdom.Document:detachRootElement(...)@76 != null2009-09-04 18:33:31
    +presumptionorg.jdom.input.SAXBuilder:build(...)@75 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(this.handle)2009-09-04 18:33:31
    +postnew Date(populate#2) num objects <= 12009-09-04 18:33:31
    +postnew Locale(LocaleString#1) num objects == 02009-09-04 18:33:31
    +postnew Locale(LocaleString#2) num objects == 02009-09-04 18:33:31
    +postnew Locale(LocaleString#3) num objects == 02009-09-04 18:33:31
    +postpossibly_updated(this.appEntriesUrl)2009-09-04 18:33:31
    +postpossibly_updated(this.appResourcesUrl)2009-09-04 18:33:31
    +postpossibly_updated(this.creatingUser)2009-09-04 18:33:31
    +postpossibly_updated(this.description)2009-09-04 18:33:31
    +postpossibly_updated(this.emailAddress)2009-09-04 18:33:31
    +postpossibly_updated(this.enabled)2009-09-04 18:33:31
    +postpossibly_updated(this.name)2009-09-04 18:33:31
    +postpossibly_updated(this.timezone)2009-09-04 18:33:31
    +postthis.dateCreated == One-of{undefined, &new Date(populate#2)}2009-09-04 18:33:31
    +postthis.dateCreated in Addr_Set{null,&new Date(populate#2)}2009-09-04 18:33:31
    +postthis.href == &java.lang.StringBuilder:toString( ...)2009-09-04 18:33:31
    +postthis.locale == One-of{undefined, null, &new Locale(LocaleString#1), &new Locale(LocaleStri ng#2), &new Locale(LocaleString#3)}2009-09-04 18:33:31
    +postthis.locale == null2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Boolean:valueOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.IllegalArgumentException2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Long:longValue2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Long:valueOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +unanalyzedcall on java.util.Date2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale2009-09-04 18:33:31
    +unanalyzedcall on java.util.TimeZone:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getChild2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getText2009-09-04 18:33:31
    +unanalyzedcall on setHref2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.webservices.adminprotocol.sdk.WeblogEntry(String, String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(this.handle)2009-09-04 18:33:31
    +postjava.lang.StringBuilder:toString(...)._tainted == urlPrefix._tainted | handle._tainted2009-09-04 18:33:31
    +postthis.handle == handle2009-09-04 18:33:31
    +postthis.href == &java.lang.StringBuilder:toString( ...)2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.webservices.adminprotocol.sdk.WeblogEntry(Element, String)

    • -/+ Kind Annotation Text Date
    +pree != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(this.handle)2009-09-04 18:33:31
    +postnew Date(populate#2) num objects <= 12009-09-04 18:33:31
    +postnew Locale(LocaleString#1) num objects == 02009-09-04 18:33:31
    +postnew Locale(LocaleString#2) num objects == 02009-09-04 18:33:31
    +postnew Locale(LocaleString#3) num objects == 02009-09-04 18:33:31
    +postpossibly_updated(this.appEntriesUrl)2009-09-04 18:33:31
    +postpossibly_updated(this.appResourcesUrl)2009-09-04 18:33:31
    +postpossibly_updated(this.creatingUser)2009-09-04 18:33:31
    +postpossibly_updated(this.description)2009-09-04 18:33:31
    +postpossibly_updated(this.emailAddress)2009-09-04 18:33:31
    +postpossibly_updated(this.enabled)2009-09-04 18:33:31
    +postpossibly_updated(this.name)2009-09-04 18:33:31
    +postpossibly_updated(this.timezone)2009-09-04 18:33:31
    +postthis.dateCreated == One-of{undefined, &new Date(populate#2)}2009-09-04 18:33:31
    +postthis.dateCreated in Addr_Set{null,&new Date(populate#2)}2009-09-04 18:33:31
    +postthis.href == &java.lang.StringBuilder:toString( ...)2009-09-04 18:33:31
    +postthis.locale == One-of{undefined, null, &new Locale(LocaleString#1), &new Locale(LocaleStri ng#2), &new Locale(LocaleString#3)}2009-09-04 18:33:31
    +postthis.locale == null2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Boolean:valueOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.IllegalArgumentException2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Long:longValue2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Long:valueOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +unanalyzedcall on java.util.Date2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale2009-09-04 18:33:31
    +unanalyzedcall on java.util.TimeZone:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getChild2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getText2009-09-04 18:33:31
    +unanalyzedcall on setHref2009-09-04 18:33:31

  • + org.apache.roller.weblogger.webservices.adminprotocol.sdk.WeblogEntry__static_init

    • -/+ Kind Annotation Text Date

  • + void populate(Element, String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.handle)2009-09-04 18:33:31
    +pree != null2009-09-04 18:33:31
    +presumptionjava.lang.Long:valueOf(...)@131 != null2009-09-04 18:33:31
    +presumptionorg.jdom.Element:getText(...)@107 == null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(this.handle)2009-09-04 18:33:31
    +postnew Date(populate#2) num objects <= 12009-09-04 18:33:31
    +postnew Locale(LocaleString#1) num objects == 02009-09-04 18:33:31
    +postnew Locale(LocaleString#2) num objects == 02009-09-04 18:33:31
    +postnew Locale(LocaleString#3) num objects == 02009-09-04 18:33:31
    +postpossibly_updated(this.appEntriesUrl)2009-09-04 18:33:31
    +postpossibly_updated(this.appResourcesUrl)2009-09-04 18:33:31
    +postpossibly_updated(this.creatingUser)2009-09-04 18:33:31
    +postpossibly_updated(this.description)2009-09-04 18:33:31
    +postpossibly_updated(this.emailAddress)2009-09-04 18:33:31
    +postpossibly_updated(this.enabled)2009-09-04 18:33:31
    +postpossibly_updated(this.name)2009-09-04 18:33:31
    +postpossibly_updated(this.timezone)2009-09-04 18:33:31
    +postthis.dateCreated == One-of{old this.dateCreated, &new Date(populate#2)}2009-09-04 18:33:31
    +postthis.href == &java.lang.StringBuilder:toString( ...)2009-09-04 18:33:31
    +postthis.locale == One-of{old this.locale, null, &new Locale(LocaleString#1), &new Locale(LocaleString#2), &new Locale(LocaleStri ng#3)}2009-09-04 18:33:31
    +unanalyzedcall on java.lang.IllegalArgumentException2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale2009-09-04 18:33:31
    +unanalyzedcall on java.util.TimeZone:getTimeZone2009-09-04 18:33:31
    +test_vectororg.jdom.Element:getChild(...)@105: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.jdom.Element:getChild(...)@111: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.jdom.Element:getChild(...)@117: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.jdom.Element:getChild(...)@123: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.jdom.Element:getChild(...)@129: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.jdom.Element:getChild(...)@135: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.jdom.Element:getChild(...)@141: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.jdom.Element:getChild(...)@147: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.jdom.Element:getChild(...)@83: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.jdom.Element:getChild(...)@93: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.jdom.Element:getChild(...)@99: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void setAppEntriesUrl(String)

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

  • + void setAppResourcesUrl(String)

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

  • + void setCreatingUser(String)

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

  • + void setDateCreated(Date)

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

  • + void setDescription(String)

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

  • + void setEmailAddress(String)

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

  • + void setEnabled(Boolean)

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

  • + void setHandle(String)

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

  • + void setLocale(String)

    • -/+ Kind Annotation Text Date
    +prelocaleString == null2009-09-04 18:33:31
    +postnew Locale(LocaleString#1) num objects == 02009-09-04 18:33:31
    +postnew Locale(LocaleString#2) num objects == 02009-09-04 18:33:31
    +postnew Locale(LocaleString#3) num objects == 02009-09-04 18:33:31
    +postthis.locale == null2009-09-04 18:33:31
    +unanalyzedcall on java.lang.IllegalArgumentException2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale2009-09-04 18:33:31

  • + void setLocale(Locale)

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

  • + void setName(String)

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

  • + void setTimezone(String)

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

  • + void setTimezone(TimeZone)

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

  • + Document toDocument()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.appEntriesUrl)2009-09-04 18:33:31
    +preinit'ed(this.appResourcesUrl)2009-09-04 18:33:31
    +preinit'ed(this.creatingUser)2009-09-04 18:33:31
    +preinit'ed(this.dateCreated)2009-09-04 18:33:31
    +preinit'ed(this.description)2009-09-04 18:33:31
    +preinit'ed(this.emailAddress)2009-09-04 18:33:31
    +preinit'ed(this.enabled)2009-09-04 18:33:31
    +preinit'ed(this.handle)2009-09-04 18:33:31
    +preinit'ed(this.href)2009-09-04 18:33:31
    +preinit'ed(this.locale)2009-09-04 18:33:31
    +preinit'ed(this.name)2009-09-04 18:33:31
    +preinit'ed(this.timezone)2009-09-04 18:33:31
    +postnew Document(toDocument#2) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new Document(toDocument#2)2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@173: {0}, {1..232-1}2009-09-04 18:33:31
    +test_vectorthis.appEntriesUrl: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.appResourcesUrl: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.creatingUser: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.dateCreated: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.description: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.emailAddress: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.enabled: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.handle: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.locale: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.name: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.timezone: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31