DisplayGroup.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 addPropertyDef(PropertyDef)

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

  • + String getKey()

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

  • + List getPropertyDefs()

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

  • + void org.apache.roller.weblogger.config.runtime.DisplayGroup()

    • -/+ Kind Annotation Text Date
    +postnew ArrayList(DisplayGroup#1) num objects == 12009-09-04 18:33:31
    +postthis.key == null2009-09-04 18:33:31
    +postthis.name == null2009-09-04 18:33:31
    +postthis.propertyDefs == &new ArrayList(DisplayGrou p#1)2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.config.runtime.DisplayGroup(List)

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

  • + org.apache.roller.weblogger.config.runtime.DisplayGroup__static_init

    • -/+ Kind Annotation Text Date

  • + bool removePropertyDef(PropertyDef)

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

  • + void setKey(String)

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

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

  • + String toString()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.key)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.name._tainted | this.key._tainted2009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuilder:toStri ng(...)2009-09-04 18:33:31