OptionPanel
Tapenade graphical user interface.
getDump
getDumpFile
getMsgLevelCheckBox
getMsgLevelComboBox
getPreprocessCheckBox
getViewCheckBox