method

com.dmdirc.commandparser.commands.PreviousCommand_ _static_init

method	void com.dmdirc.commandparser.commands. PreviousCommand(String)
post	this.line == line
post	init'ed(this.line)
post	init'ed(this.time)

method	long getTime()
post	return_value == this.time
post	init'ed(return_value)

method	String getLine()
post	return_value == this.line
post	init'ed(return_value)

method	bool equals(Object)
post	init'ed(return_value)
test_vector	obj: Inverse{null}, Addr_Set{null}
test_vector	this.line: Addr_Set{null}, Inverse{null}
test_vector	this.line == obj.line: {1}, {0}
test_vector	java.lang.String:equals(...)@80: {1}, {0}

method	int hashCode()
presumption	java.lang.String:hashCode(...)@92 <= 4_294_966_810
post	return_value >= -2_147_483_163