Interface MenuElement

All Known Implementing Classes:

JCheckBoxMenuItem, JMenu, JMenuBar, JMenuItem, JPopupMenu, JRadioButtonMenuItem

public interface MenuElement

Port of MenuElement. Forced to port, rather than reuse the JDK interface per D_whitelist_porting, because every one of its methods traffics in a type SB-Emulators emulates: getComponent() returns a java.awt.Component we cannot produce, and the two process* methods take java.awt.event events. Reusing the JDK interface made JMenuItem.getComponent() and JPopupMenu.getComponent() return null by construction — a documented dead end, and R_no_vaadin_in_api limb 1's JDK-typed half is what names it as a violation rather than a limitation.

MenuSelectionManager stays the JDK's on the two process* signatures: SB-Emulators models no menu-selection machinery for it to drive (D_menu_tree), so there is nothing to port it to. See MenuSelectionManager for the import-swap stub that keeps a migrated file naming the type compiling.

Method Summary

Modifier and Type	Method	Description
Component	getComponent()
MenuElement[]	getSubElements()
void	menuSelectionChanged(boolean isIncluded)
void	processKeyEvent(KeyEvent event, MenuElement[] path, MenuSelectionManager manager)
void	processMouseEvent(MouseEvent event, MenuElement[] path, MenuSelectionManager manager)

Method Details

processMouseEvent

void processMouseEvent(MouseEvent event,
 MenuElement[] path,
 MenuSelectionManager manager)

processKeyEvent

void processKeyEvent(KeyEvent event,
 MenuElement[] path,
 MenuSelectionManager manager)

menuSelectionChanged

void menuSelectionChanged(boolean isIncluded)

getSubElements

MenuElement[] getSubElements()

getComponent

Component getComponent()