method

com.dmdirc.commandparser.PopupMenuItem__static_ init

method	void com.dmdirc.commandparser.PopupMenuItem()
post	this.divider == 1
post	this.submenu == null

method	void com.dmdirc.commandparser.PopupMenuItem(String , PopupMenu)
post	this.divider == 0
post	this.name == name
post	init'ed(this.name)
post	this.submenu == submenu
post	init'ed(this.submenu)

method	void com.dmdirc.commandparser.PopupMenuItem(String , String)
post	this.command == command
post	init'ed(this.command)
post	this.divider == 0
post	this.name == name
post	init'ed(this.name)
post	this.submenu == null

method	bool isDivider()
pre	init'ed(this.divider)
post	return_value == this.divider
post	init'ed(return_value)

method	bool isSubMenu()
pre	init'ed(this.submenu)
post	init'ed(return_value)

method	PopupMenu getSubMenu()
pre	init'ed(this.submenu)
post	return_value == this.submenu
post	init'ed(return_value)

method	String getName()
pre	init'ed(this.name)
post	return_value == this.name
post	init'ed(return_value)

method	String getCommand(Object[])
pre	init'ed(com/dmdirc/commandparser/CommandManager. commandChar)
pre	init'ed(this.command)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)