CONFIG_ELEMENTS
public static final String CONFIG_ELEMENTS
CONTROLLERS
public static final String CONTROLLERS
LISTENERS
public static final String LISTENERS
NON_TEST_ELEMENTS
public static final String NON_TEST_ELEMENTS
POST_PROCESSORS
public static final String POST_PROCESSORS
PRE_PROCESSORS
public static final String PRE_PROCESSORS
REPORT_PAGE
public static final String REPORT_PAGE
TABLES
public static final String TABLES
TIMERS
public static final String TIMERS
addEditMenu
public static void addEditMenu(JPopupMenu menu,
boolean removable)
addFileMenu
public static void addFileMenu(JPopupMenu menu)
getDefaultAssertionMenu
public static JPopupMenu getDefaultAssertionMenu()
getDefaultConfigElementMenu
public static JPopupMenu getDefaultConfigElementMenu()
getDefaultControllerMenu
public static JPopupMenu getDefaultControllerMenu()
getDefaultExtractorMenu
public static JPopupMenu getDefaultExtractorMenu()
getDefaultTimerMenu
public static JPopupMenu getDefaultTimerMenu()
getDefaultVisualizerMenu
public static JPopupMenu getDefaultVisualizerMenu()
makeMenu
public static JMenu makeMenu(Collection menuInfo,
String actionCommand,
String menuName)
makeMenu
public static JMenu makeMenu(String category,
String actionCommand)
makeMenuItem
public static JMenuItem makeMenuItem(String label,
String name,
String actionCommand)
makeMenuItem
public static JMenuItem makeMenuItem(String label,
String name,
String actionCommand,
KeyStroke accel)
makeMenus
public static JMenu makeMenus(String[] categories,
String label,
String actionCommand)
setEnabled
public static void setEnabled(JMenu menu)