Messages

method | net.sourceforge.pebble.logging.LogEntry__static_ init

method | void net.sourceforge.pebble.logging.LogEntry()
post | this.bytes == -1
post | this.date == &new Date(LogEntry#1)
post | this.request == &""
post | this.statusCode == 200
post | new Date(LogEntry#1) num objects == 1

method | String getHost()
pre | init'ed(this.host)
post | return_value == this.host
post | init'ed(return_value)

method | void setHost(String)
post | this.host == host
post | init'ed(this.host)

method | Date getDate()
pre | init'ed(this.date)
post | return_value == this.date
post | init'ed(return_value)

method | void setDate(Date)
post | this.date == date
post | init'ed(this.date)

method | String getRequest()
pre | init'ed(this.request)
post | return_value == this.request
post | init'ed(return_value)

method | String getRequestMethod()
pre | this.request != null
presumption | java.lang.String:indexOf(...)@115 >= -231+1
post | return_value != null

method | String getRequestUri()
pre | this.request != null
post | return_value != null

method | void setRequest(String)
post | this.request == request
post | init'ed(this.request)

method | int getStatusCode()
pre | init'ed(this.statusCode)
post | return_value == this.statusCode
post | init'ed(return_value)

method | void setStatusCode(int)
post | this.statusCode == statusCode
post | init'ed(this.statusCode)

method | long getBytes()
pre | init'ed(this.bytes)
post | return_value == this.bytes
post | init'ed(return_value)

method | void setBytes(long)
post | this.bytes == bytes
post | init'ed(this.bytes)

method | String getReferer()
pre | init'ed(this.referer)
post | return_value == this.referer
post | init'ed(return_value)

method | void setReferer(String)
post | this.referer == referer
post | init'ed(this.referer)

method | String getAgent()
pre | init'ed(this.agent)
post | return_value == this.agent
post | init'ed(return_value)

method | void setAgent(String)
post | this.agent == agent
post | init'ed(this.agent)