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)