TagStat.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 getCount()

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

  • + int getIntensity()

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

  • + void setCount(int)

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

  • + void setIntensity(int)

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

  • + String toString()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.count)2009-09-04 18:33:31
    +preinit'ed(this.name)2009-09-04 18:33:31
    +postjava.lang.StringBuffer:toString(...)._tainted == 02009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuffer:toStrin g(...)2009-09-04 18:33:31