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


  • + String getAction()

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

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

  • + ThemeTemplate getDecorator()

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

  • + String getDecoratorName()

    • -/+ Kind Annotation Text Date
    +postreturn_value == null2009-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 getId()

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

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

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

  • + String getOutputContentType()

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

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

  • + bool isHidden()

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

    • -/+ 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 org.apache.roller.weblogger.business.themes.SharedThemeTemplate()

    • -/+ Kind Annotation Text Date
    +postthis.action == null2009-09-04 18:33:31
    +postthis.contents == null2009-09-04 18:33:31
    +postthis.description == null2009-09-04 18:33:31
    +postthis.hidden == 02009-09-04 18:33:31
    +postthis.id == null2009-09-04 18:33:31
    +postthis.lastModified == null2009-09-04 18:33:31
    +postthis.link == null2009-09-04 18:33:31
    +postthis.myTheme == 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

  • + void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.action)2009-09-04 18:33:31
    +postinit'ed(this.contents)2009-09-04 18:33:31
    +postinit'ed(this.description)2009-09-04 18:33:31
    +postinit'ed(this.hidden)2009-09-04 18:33:31
    +postinit'ed(this.id)2009-09-04 18:33:31
    +postinit'ed(this.lastModified)2009-09-04 18:33:31
    +postinit'ed(this.link)2009-09-04 18:33:31
    +postinit'ed(this.myTheme)2009-09-04 18:33:31
    +postinit'ed(this.name)2009-09-04 18:33:31
    +postinit'ed(this.navbar)2009-09-04 18:33:31
    +postinit'ed(this.templateLanguage)2009-09-04 18:33:31
    +postthis.action == action2009-09-04 18:33:31
    +postthis.contents == contents2009-09-04 18:33:31
    +postthis.description == desc2009-09-04 18:33:31
    +postthis.hidden == hid2009-09-04 18:33:31
    +postthis.id == id2009-09-04 18:33:31
    +postthis.lastModified == date2009-09-04 18:33:31
    +postthis.link == link2009-09-04 18:33:31
    +postthis.myTheme == theme2009-09-04 18:33:31
    +postthis.name == name2009-09-04 18:33:31
    +postthis.navbar == navbar2009-09-04 18:33:31
    +postthis.outputContentType == null2009-09-04 18:33:31
    +postthis.templateLanguage == tempLang2009-09-04 18:33:31

  • + org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init

    • -/+ Kind Annotation Text Date

  • + void setAction(String)

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

  • + void setContents(String)

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

  • + void setDecoratorName(String)

    • -/+ Kind Annotation Text Date

  • + 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 setHidden(bool)

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

  • + void setId(String)

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

  • + void setLastModified(Date)

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

  • + void setLink(String)

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

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

  • + void setOutputContentType(String)

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

  • + void setTemplateLanguage(String)

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

  • + String toString()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.contents)2009-09-04 18:33:31
    +preinit'ed(this.description)2009-09-04 18:33:31
    +preinit'ed(this.id)2009-09-04 18:33:31
    +preinit'ed(this.lastModified)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
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postjava.lang.StringBuilder:toString(...)._tainted == this.lastModified._tainted | this.link._tainted | this.description._tainted | this.id._tainted | this.name._tainted | One-of{this.lastModified._ tainted | this.link._tainted | this.description. _tain...2009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuilder:toStri ng(...)2009-09-04 18:33:31