method

org.apache.roller.weblogger.config.runtime. PropertyDef__static_init

method	void org.apache.roller.weblogger.config.runtime. PropertyDef()
post	this.cols == 25
post	this.defaultValue == null
post	this.key == null
post	this.name == null
post	this.type == null
post	this.rows == 5

method	String toString()
pre	init'ed(this.cols)
pre	init'ed(this.defaultValue)
pre	init'ed(this.key)
pre	init'ed(this.name)
pre	init'ed(this.rows)
pre	init'ed(this.type)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)

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

method	void setName(String)
post	this.name == name
post	init'ed(this.name)

method	String getKey()
pre	init'ed(this.key)
post	return_value == this.key
post	init'ed(return_value)

method	void setKey(String)
post	this.key == key
post	init'ed(this.key)

method	String getType()
pre	init'ed(this.type)
post	return_value == this.type
post	init'ed(return_value)

method	void setType(String)
post	this.type == type
post	init'ed(this.type)

method	String getDefaultValue()
pre	init'ed(this.defaultValue)
post	return_value == this.defaultValue
post	init'ed(return_value)

method	void setDefaultValue(String)
post	this.defaultValue == defaultvalue
post	init'ed(this.defaultValue)

method	int getRows()
pre	init'ed(this.rows)
post	return_value == this.rows
post	init'ed(return_value)

method	void setRows(int)
post	this.rows == rows
post	init'ed(this.rows)

method	void setRows(String)
post	possibly_updated(this.rows)

method	int getCols()
pre	init'ed(this.cols)
post	return_value == this.cols
post	init'ed(return_value)

method	void setCols(int)
post	this.cols == cols
post	init'ed(this.cols)

method	void setCols(String)
post	possibly_updated(this.cols)