method

org.apache.roller.weblogger.config.runtime. RuntimeConfigDefs__static_init

method	void org.apache.roller.weblogger.config.runtime. RuntimeConfigDefs()
post	this.configDefs == &new ArrayList(RuntimeConfig Defs#1)
post	new ArrayList(RuntimeConfigDefs#1) num objects == 1

method	void org.apache.roller.weblogger.config.runtime. RuntimeConfigDefs(List)
post	this.configDefs == configs
post	init'ed(this.configDefs)

method	bool addConfigDef(ConfigDef)
pre	this.configDefs != null
post	init'ed(return_value)

method	bool removeConfigDef(ConfigDef)
pre	this.configDefs != null
post	init'ed(return_value)

method	List getConfigDefs()
pre	init'ed(this.configDefs)
post	return_value == this.configDefs
post	init'ed(return_value)

method	void setConfigDefs(List)
post	this.configDefs == configDefs
post	init'ed(this.configDefs)