method

com.dmdirc.util.StringTranscoder__static_init

method	void com.dmdirc.util.StringTranscoder(Charset)
post	this.charset == charset
post	init'ed(this.charset)

method	String encode(String)
pre	string != null
post	return_value == &new String(encode#1)
post	new String(encode#1) num objects == 1

method	String decode(String)
pre	string != null
post	return_value == &new String(decode#1)
post	new String(decode#1) num objects == 1