method

com.dmdirc.ui.input.tabstyles.TabCompletionResult_ _static_init

method	void com.dmdirc.ui.input.tabstyles. TabCompletionResult(String, int)
post	this.position == position
post	init'ed(this.position)
post	this.text == text
post	init'ed(this.text)

method	String getText()
post	return_value == this.text
post	init'ed(return_value)

method	int getPosition()
post	return_value == this.position
post	init'ed(return_value)