method

com.dmdirc.commandparser.PopupMenu__static_init

method	void com.dmdirc.commandparser.PopupMenu()
post	this.items == &new ArrayList(PopupMenu#1)
post	new ArrayList(PopupMenu#1) num objects == 1

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

method	void add(PopupMenuItem)
pre	this.items != null

method	void addAll(Collection)
pre	this.items != null