method

org.apache.roller.weblogger.business.themes. SharedTheme__static_init

method	void org.apache.roller.weblogger.business.themes. SharedTheme()
post	this.author == null
post	this.description == null
post	this.id == null
post	this.lastModified == null
post	this.name == null
post	this.enabled == 0

method	int compareTo(Object)
pre	o != null
pre	init'ed(o.name)
pre	this.name != null
post	init'ed(return_value)

method	String getId()
pre	init'ed(this.id)
post	return_value == this.id
post	init'ed(return_value)

method	void setId(String)
post	this.id == id
post	init'ed(this.id)

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 getDescription()
pre	init'ed(this.description)
post	return_value == this.description
post	init'ed(return_value)

method	void setDescription(String)
post	this.description == description
post	init'ed(this.description)

method	String getAuthor()
pre	init'ed(this.author)
post	return_value == this.author
post	init'ed(return_value)

method	void setAuthor(String)
post	this.author == author
post	init'ed(this.author)

method	Date getLastModified()
pre	init'ed(this.lastModified)
post	return_value == this.lastModified
post	init'ed(return_value)

method	void setLastModified(Date)
post	this.lastModified == lastModified
post	init'ed(this.lastModified)

method	bool isEnabled()
pre	init'ed(this.enabled)
post	return_value == this.enabled
post	init'ed(return_value)

method	void setEnabled(bool)
post	this.enabled == enabled
post	init'ed(this.enabled)