method

com.dmdirc.addons.ui_swing.components. substitutions.Substitution__static_init

method	void com.dmdirc.addons.ui_swing.components. substitutions.Substitution(String, String)
post	java.lang.StringBuilder:toString(...)._tainted == value._tainted
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	this.name == name
post	init'ed(this.name)
post	this.value == &java.lang.StringBuilder:toString (...)

method	String getName()
post	return_value == this.name
post	init'ed(return_value)

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

method	String toString()
post	return_value == this.value
post	init'ed(return_value)