method

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

method	void org.apache.roller.weblogger.ui.core.util. menu.MenuTab()
post	this.action == null
post	this.key == null
post	this.items == &new ArrayList(MenuTab#1)
post	this.selected == 0
post	new ArrayList(MenuTab#1) num objects == 1

method	void addItem(MenuTabItem)
pre	this.items != null

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)

method	List getItems()
pre	init'ed(this.items)
post	return_value == this.items
post	init'ed(return_value)

method	void setItems(List)
post	this.items == items
post	init'ed(this.items)