method

com.dmdirc.installer.cliparser.CLIParam__static_ init

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

method	char getChr()
post	return_value == this.charFlag
post	init'ed(return_value)

method	String getString()
post	return_value == this.stringFlag
post	init'ed(return_value)

method	String getDescription()
post	return_value == this.description
post	init'ed(return_value)

method	int getNumber()
pre	init'ed(this.number)
post	return_value == this.number
post	init'ed(return_value)

method	void incNumber()
pre	this.number <= 232-2
post	this.number == old this.number + 1
post	this.number >= -231+1