method

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

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

method	void addTab(ParsedTab)
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 == tabs
post	init'ed(this.tabs)