method

com.dmdirc.addons.mediasource_windows. MediaInfoOutput__static_init

method	void com.dmdirc.addons.mediasource_windows. MediaInfoOutput(int, String)
post	this.exitCode == exitCode
post	init'ed(this.exitCode)
post	this.output == output
post	init'ed(this.output)

method	int getExitCode()
post	return_value == this.exitCode
post	init'ed(return_value)

method	String getOutput()
post	return_value == this.output
post	init'ed(return_value)

method	String getGoodOutput()
post	return_value == One-of{this.output, &""}
post	init'ed(return_value)