method

org.apache.roller.weblogger.webservices. atomprotocol.Categories__static_init

method	void org.apache.roller.weblogger.webservices. atomprotocol.Categories()
post	this.categories == &new ArrayList(Categories#1)
post	this.fixed == 0
post	this.scheme == null
post	new ArrayList(Categories#1) num objects == 1

method	void addCategory(Category)
pre	this.categories != null

method	List getCategories()
pre	init'ed(this.categories)
post	return_value == this.categories
post	init'ed(return_value)

method	bool isFixed()
pre	init'ed(this.fixed)
post	return_value == this.fixed
post	init'ed(return_value)

method	void setFixed(bool)
post	this.fixed == fixed
post	init'ed(this.fixed)

method	String getScheme()
pre	init'ed(this.scheme)
post	return_value == this.scheme
post	init'ed(return_value)

method	void setScheme(String)
post	this.scheme == scheme
post	init'ed(this.scheme)