OptionPanel

class OptionPanel extends JPanel

Tapenade graphical user interface.

Constructors

OptionPanel

protected OptionPanel()

Methods

getDump

protected JCheckBox getDump()

getDumpFile

protected JTextField getDumpFile()

getMsgLevelCheckBox

protected JCheckBox getMsgLevelCheckBox()

getMsgLevelComboBox

protected JComboBox<Integer> getMsgLevelComboBox()

getPreprocessCheckBox

protected JCheckBox getPreprocessCheckBox()

getViewCheckBox

protected JCheckBox getViewCheckBox()