logentry.java

current inspection = 2010-07-22 15:04:21 (id #4) base = 2010-07-16 16:14:15 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • String getAgent()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.agent)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.agent2010-07-16 16:14:15

  • long getBytes()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.bytes)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.bytes2010-07-16 16:14:15

  • Date getDate()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.date)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.date2010-07-16 16:14:15

  • String getHost()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.host)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.host2010-07-16 16:14:15

  • String getReferer()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.referer)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.referer2010-07-16 16:14:15

  • String getRequest()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.request)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.request2010-07-16 16:14:15

  • String getRequestMethod()

    • -/+ Kind Annotation Text Date
    U prethis.request != null2010-07-16 16:14:15
    U presumptionjava.lang.String:indexOf(...)@115 >= -231+12010-07-16 16:14:15
    U postreturn_value != null2010-07-16 16:14:15

  • String getRequestUri()

    • -/+ Kind Annotation Text Date
    U prethis.request != null2010-07-16 16:14:15
    U postreturn_value != null2010-07-16 16:14:15

  • int getStatusCode()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.statusCode)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.statusCode2010-07-16 16:14:15

  • void net.sourceforge.pebble.logging.LogEntry()

    • -/+ Kind Annotation Text Date
    U postnew Date(LogEntry#1) num objects == 12010-07-16 16:14:15
    U postthis.bytes == -12010-07-16 16:14:15
    U postthis.date == &new Date(LogEntry#1)2010-07-16 16:14:15
    U postthis.request == &""2010-07-16 16:14:15
    U postthis.statusCode == 2002010-07-16 16:14:15

  • net.sourceforge.pebble.logging.LogEntry__static_init

    • -/+ Kind Annotation Text Date

  • void setAgent(String)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.agent)2010-07-16 16:14:15
    U postthis.agent == agent2010-07-16 16:14:15

  • void setBytes(long)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.bytes)2010-07-16 16:14:15
    U postthis.bytes == bytes2010-07-16 16:14:15

  • void setDate(Date)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.date)2010-07-16 16:14:15
    U postthis.date == date2010-07-16 16:14:15

  • void setHost(String)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.host)2010-07-16 16:14:15
    U postthis.host == host2010-07-16 16:14:15

  • void setReferer(String)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.referer)2010-07-16 16:14:15
    U postthis.referer == referer2010-07-16 16:14:15

  • void setRequest(String)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.request)2010-07-16 16:14:15
    U postthis.request == request2010-07-16 16:14:15

  • void setStatusCode(int)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.statusCode)2010-07-16 16:14:15
    U postthis.statusCode == statusCode2010-07-16 16:14:15