method

com.dmdirc.installer.cliparser.StringParam__ static_init

method	void com.dmdirc.installer.cliparser. StringParam(char, String, String)
post	this.charFlag == chr
post	init'ed(this.charFlag)
post	this.description == desc
post	init'ed(this.description)
post	this.myValue == &""
post	this.stringFlag == str
post	init'ed(this.stringFlag)

method	bool setValue(String)
post	return_value == 1
post	this.myValue == value
post	init'ed(this.myValue)

method	String getValue()
pre	init'ed(this.myValue)
post	return_value == this.myValue
post	init'ed(return_value)

method	String getStringValue()
pre	init'ed(this.myValue)
post	return_value == this.myValue
post	init'ed(return_value)