WeblogUpdatePinger.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 getMessage()

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

  • + bool isError()

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

  • + void org.apache.roller.weblogger.business.pings.WeblogUpdatePinger$PingResult(Boolean, String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.error)2009-09-04 18:33:31
    +postthis.message != null2009-09-04 18:33:31
    +postthis.message == One-of{message, &""}2009-09-04 18:33:31

  • + org.apache.roller.weblogger.business.pings.WeblogUpdatePinger$PingResult__static_init

    • -/+ Kind Annotation Text Date

  • + void org.apache.roller.weblogger.business.pings.WeblogUpdatePinger()

    • -/+ Kind Annotation Text Date

  • + org.apache.roller.weblogger.business.pings.WeblogUpdatePinger__static_init

    • -/+ Kind Annotation Text Date
    +postinit'ed(logger)2009-09-04 18:33:31

  • + WeblogUpdatePinger$PingResult parseResult(Object)

    • -/+ Kind Annotation Text Date
    +presumptionjava.lang.Object:getClass(...)@137 != null2009-09-04 18:33:31
    +presumptionorg.apache.commons.logging.LogFactory:getLog(... )@52 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.Object:toString(...)._tainted)2009-09-04 18:33:31
    +postinit'ed(new WeblogUpdatePinger$PingResult(parseResu lt#1).error)2009-09-04 18:33:31
    +postinit'ed(new WeblogUpdatePinger$PingResult(parseResu lt#2).error)2009-09-04 18:33:31
    +postinit'ed(new WeblogUpdatePinger$PingResult(parseResu lt#4).error)2009-09-04 18:33:31
    +postnew WeblogUpdatePinger$PingResult(parseResult#1) num objects <= 12009-09-04 18:33:31
    +postnew WeblogUpdatePinger$PingResult(parseResult#1). message == &""2009-09-04 18:33:31
    +postnew WeblogUpdatePinger$PingResult(parseResult#2) num objects <= 12009-09-04 18:33:31
    +postnew WeblogUpdatePinger$PingResult(parseResult#2). message != null2009-09-04 18:33:31
    +postnew WeblogUpdatePinger$PingResult(parseResult#4) num objects <= 12009-09-04 18:33:31
    +postnew WeblogUpdatePinger$PingResult(parseResult#4). message == &java.lang.Object:toString(...)2009-09-04 18:33:31
    +postreturn_value in Addr_Set{&new WeblogUpdatePinge r$PingResult(parseResult#2),&new WeblogUpdatePinger$PingResult(parseResult#4), &new WeblogUpdatePinger$PingResult(parseResult# 1)}2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Boolean:booleanValue2009-09-04 18:33:31
    +test_vectorobj: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + WeblogUpdatePinger$PingResult sendPing(PingTarget, Weblog)

    • -/+ Kind Annotation Text Date
    +prepingTarget != null2009-09-04 18:33:31
    +prewebsite != null2009-09-04 18:33:31
    +presumptionorg.apache.commons.logging.LogFactory:getLog(... )@52 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.Object:toString(...)._tainted)2009-09-04 18:33:31
    +postinit'ed(new WeblogUpdatePinger$PingResult(parseResu lt#1).error)2009-09-04 18:33:31
    +postinit'ed(new WeblogUpdatePinger$PingResult(parseResu lt#2).error)2009-09-04 18:33:31
    +postinit'ed(new WeblogUpdatePinger$PingResult(parseResu lt#4).error)2009-09-04 18:33:31
    +postnew WeblogUpdatePinger$PingResult(parseResult#1) num objects <= 12009-09-04 18:33:31
    +postnew WeblogUpdatePinger$PingResult(parseResult#1)._ tainted == 02009-09-04 18:33:31
    +postnew WeblogUpdatePinger$PingResult(parseResult#1). message == &""2009-09-04 18:33:31
    +postnew WeblogUpdatePinger$PingResult(parseResult#2) num objects <= 12009-09-04 18:33:31
    +postnew WeblogUpdatePinger$PingResult(parseResult#2)._ tainted == 02009-09-04 18:33:31
    +postnew WeblogUpdatePinger$PingResult(parseResult#2). message != null2009-09-04 18:33:31
    +postnew WeblogUpdatePinger$PingResult(parseResult#4) num objects <= 12009-09-04 18:33:31
    +postnew WeblogUpdatePinger$PingResult(parseResult#4)._ tainted == 02009-09-04 18:33:31
    +postnew WeblogUpdatePinger$PingResult(parseResult#4). message == &java.lang.Object:toString(...)2009-09-04 18:33:31
    +postreturn_value == One-of{&new WeblogUpdatePinger$ PingResult(parseResult#1), &new WeblogUpdatePinger$PingResult(parseResult#2), &new WeblogUpdatePinger$PingResult(parseResult #4)}2009-09-04 18:33:31
    +postreturn_value in Addr_Set{&new WeblogUpdatePinge r$PingResult(parseResult#1),&new WeblogUpdatePinger$PingResult(parseResult#2), &new WeblogUpdatePinger$PingResult(parseResult# 4)}2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Boolean:booleanValue2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Class:getName2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Object:getClass2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Object:toString2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:get2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:debug2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:isDebugEnabl ed2009-09-04 18:33:31
    +test_vectorjava.util.Set:contains(...)@107: {1}, {0}2009-09-04 18:33:31
    +test_vectororg.apache.commons.logging.Log:isDebugEnabled(... )@112: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.commons.logging.Log:isDebugEnabled(... )@123: {0}, {1}2009-09-04 18:33:31

  • + void setError(bool)

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

  • + void setMessage(String)

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

  • + bool shouldRetry(Exception)

    • -/+ Kind Annotation Text Date
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + String toString()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.error)2009-09-04 18:33:31
    +preinit'ed(this.message)2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuilder:toStri ng(...)2009-09-04 18:33:31