method

org.apache.roller.weblogger.config.runtime. DisplayGroup__static_init

method	void org.apache.roller.weblogger.config.runtime. DisplayGroup()
post	this.key == null
post	this.name == null
post	this.propertyDefs == &new ArrayList(DisplayGrou p#1)
post	new ArrayList(DisplayGroup#1) num objects == 1

method	void org.apache.roller.weblogger.config.runtime. DisplayGroup(List)
post	this.key == null
post	this.name == null
post	this.propertyDefs == propdefs
post	init'ed(this.propertyDefs)

method	bool addPropertyDef(PropertyDef)
pre	this.propertyDefs != null
post	init'ed(return_value)

method	bool removePropertyDef(PropertyDef)
pre	this.propertyDefs != null
post	init'ed(return_value)

method	String toString()
pre	init'ed(this.key)
pre	init'ed(this.name)
post	java.lang.StringBuilder:toString(...)._tainted == this.name._tainted | this.key._tainted
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)

method	List getPropertyDefs()
pre	init'ed(this.propertyDefs)
post	return_value == this.propertyDefs
post	init'ed(return_value)

method	void setPropertyDefs(List)
post	this.propertyDefs == propertyDefs
post	init'ed(this.propertyDefs)

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)