method

org.apache.roller.weblogger.ui.core.util.menu. MenuTabItem__static_init

method	void org.apache.roller.weblogger.ui.core.util. menu.MenuTabItem()
post	this.action == null
post	this.key == null
post	this.selected == 0

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)

method	String getAction()
pre	init'ed(this.action)
post	return_value == this.action
post	init'ed(return_value)

method	void setAction(String)
post	this.action == url
post	init'ed(this.action)

method	bool isSelected()
pre	init'ed(this.selected)
post	return_value == this.selected
post	init'ed(return_value)

method	void setSelected(bool)
post	this.selected == selected
post	init'ed(this.selected)