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


  • + void addError(String)

    • -/+ Kind Annotation Text Date
    +prethis.mErrors != null2009-09-04 18:33:31

  • + void addError(String, String)

    • -/+ Kind Annotation Text Date
    +prethis.mErrors != null2009-09-04 18:33:31

  • + void addError(String, String[])

    • -/+ Kind Annotation Text Date
    +prethis.mErrors != null2009-09-04 18:33:31

  • + void addMessage(String)

    • -/+ Kind Annotation Text Date
    +prethis.mMessages != null2009-09-04 18:33:31

  • + void addMessage(String, String)

    • -/+ Kind Annotation Text Date
    +prethis.mMessages != null2009-09-04 18:33:31

  • + void addMessage(String, String[])

    • -/+ Kind Annotation Text Date
    +prethis.mMessages != null2009-09-04 18:33:31

  • + String[] getArgs()

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

  • + int getErrorCount()

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

  • + Iterator getErrors()

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

  • + String getKey()

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

  • + int getMessageCount()

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

  • + Iterator getMessages()

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

  • + void org.apache.roller.weblogger.util.RollerMessages$RollerMessage(String, String[])

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

  • + org.apache.roller.weblogger.util.RollerMessages$RollerMessage__static_init

    • -/+ Kind Annotation Text Date

  • + void org.apache.roller.weblogger.util.RollerMessages()

    • -/+ Kind Annotation Text Date
    +postnew ArrayList(RollerMessages#1) num objects == 12009-09-04 18:33:31
    +postnew ArrayList(RollerMessages#2) num objects == 12009-09-04 18:33:31
    +postthis.mErrors == &new ArrayList(RollerMessages#1 )2009-09-04 18:33:31
    +postthis.mMessages == &new ArrayList(RollerMessages #2)2009-09-04 18:33:31

  • + org.apache.roller.weblogger.util.RollerMessages__static_init

    • -/+ Kind Annotation Text Date

  • + void setArgs(String[])

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

  • + void setKey(String)

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

  • + String toString()

    • -/+ Kind Annotation Text Date
    +prethis.mErrors != null2009-09-04 18:33:31
    +prethis.mMessages != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@82 != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@89 != null2009-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
    +test_vectorjava.util.Iterator:hasNext(...)@80: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@87: {0}, {1}2009-09-04 18:33:31