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


  • + int getCols()

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

  • + String getDefaultValue()

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

  • + int getRows()

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

  • + String getType()

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

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

    • -/+ Kind Annotation Text Date
    +postthis.cols == 252009-09-04 18:33:31
    +postthis.defaultValue == null2009-09-04 18:33:31
    +postthis.key == null2009-09-04 18:33:31
    +postthis.name == null2009-09-04 18:33:31
    +postthis.rows == 52009-09-04 18:33:31
    +postthis.type == null2009-09-04 18:33:31

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

    • -/+ Kind Annotation Text Date

  • + void setCols(int)

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

  • + void setCols(String)

    • -/+ Kind Annotation Text Date
    +postpossibly_updated(this.cols)2009-09-04 18:33:31

  • + void setDefaultValue(String)

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

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

  • + void setRows(String)

    • -/+ Kind Annotation Text Date
    +postpossibly_updated(this.rows)2009-09-04 18:33:31

  • + void setType(String)

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

  • + String toString()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.cols)2009-09-04 18:33:31
    +preinit'ed(this.defaultValue)2009-09-04 18:33:31
    +preinit'ed(this.key)2009-09-04 18:33:31
    +preinit'ed(this.name)2009-09-04 18:33:31
    +preinit'ed(this.rows)2009-09-04 18:33:31
    +preinit'ed(this.type)2009-09-04 18:33:31
    +postjava.lang.StringBuilder:toString(...)._tainted == 02009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuilder:toStri ng(...)2009-09-04 18:33:31