method

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

method	void org.apache.roller.weblogger.ui.core.util. menu.Menu()
post	this.tabs == &new ArrayList(Menu#1)
post	new ArrayList(Menu#1) num objects == 1

method	void addTab(MenuTab)
pre	this.tabs != null

method	List getTabs()
pre	init'ed(this.tabs)
post	return_value == this.tabs
post	init'ed(return_value)

method	void setTabs(List)
post	this.tabs == menus
post	init'ed(this.tabs)