method

com.dmdirc.installer.cliparser.BooleanParam__ static_init

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

method	bool setValue(String)
pre	(soft) init'ed(this.myValue)
post	init'ed(return_value)
post	init'ed(this.myValue)
test_vector	value: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@55: {1}, {0}
test_vector	java.lang.String:equals(...)@59: {1}, {0}
test_vector	java.lang.String:equalsIgnoreCase(...)@55: {1}, {0}
test_vector	java.lang.String:equalsIgnoreCase(...)@55: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@59: {1}, {0}
test_vector	java.lang.String:equalsIgnoreCase(...)@59: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@51: {0}, {1}

method	bool 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	java.lang.String:valueOf(...)._tainted == 0
post	return_value == &java.lang.String:valueOf(...)