StringParam.java

StringParam.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.installer.cliparser.StringParam(char, String, String)

Kind	Annotation Text
post	init'ed(this.charFlag)
post	init'ed(this.description)
post	init'ed(this.stringFlag)
post	this.charFlag == chr
post	this.description == desc
post	this.myValue == &""
post	this.stringFlag == str

com.dmdirc.installer.cliparser.StringParam__static_init

Kind	Annotation Text

String getStringValue()

Kind	Annotation Text
pre	init'ed(this.myValue)
post	init'ed(return_value)
post	return_value == this.myValue

String getValue()

Kind	Annotation Text
pre	init'ed(this.myValue)
post	init'ed(return_value)
post	return_value == this.myValue

bool setValue(String)

Kind	Annotation Text
post	init'ed(this.myValue)
post	return_value == 1
post	this.myValue == value