method

org.apache.roller.weblogger.config.runtime. ConfigDef__static_init

method	void org.apache.roller.weblogger.config.runtime. ConfigDef()
post	this.displayGroups == &new ArrayList(ConfigDef# 1)
post	this.name == null
post	new ArrayList(ConfigDef#1) num objects == 1

method	void org.apache.roller.weblogger.config.runtime. ConfigDef(List)
post	this.displayGroups == displaygroups
post	init'ed(this.displayGroups)
post	this.name == null

method	bool addDisplayGroup(DisplayGroup)
pre	this.displayGroups != null
post	init'ed(return_value)

method	bool removeDisplayGroup(DisplayGroup)
pre	this.displayGroups != null
post	init'ed(return_value)

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

method	List getDisplayGroups()
pre	init'ed(this.displayGroups)
post	return_value == this.displayGroups
post	init'ed(return_value)

method	void setDisplayGroups(List)
post	this.displayGroups == displayGroups
post	init'ed(this.displayGroups)

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)