.. java:import:: javax.swing BorderFactory

.. java:import:: javax.swing JCheckBox

.. java:import:: javax.swing JComboBox

.. java:import:: javax.swing JPanel

.. java:import:: javax.swing JSplitPane

.. java:import:: javax.swing JTextField

.. java:import:: java.awt GridBagConstraints

.. java:import:: java.awt GridBagLayout

OptionPanel
===========

.. java:package:: fr.inria.tapenade.gui
   :noindex:

.. java:type::  class OptionPanel extends JPanel

   Tapenade graphical user interface.

Constructors
------------
OptionPanel
^^^^^^^^^^^

.. java:constructor:: protected OptionPanel()
   :outertype: OptionPanel

Methods
-------
getDump
^^^^^^^

.. java:method:: protected JCheckBox getDump()
   :outertype: OptionPanel

getDumpFile
^^^^^^^^^^^

.. java:method:: protected JTextField getDumpFile()
   :outertype: OptionPanel

getMsgLevelCheckBox
^^^^^^^^^^^^^^^^^^^

.. java:method:: protected JCheckBox getMsgLevelCheckBox()
   :outertype: OptionPanel

getMsgLevelComboBox
^^^^^^^^^^^^^^^^^^^

.. java:method:: protected JComboBox<Integer> getMsgLevelComboBox()
   :outertype: OptionPanel

getPreprocessCheckBox
^^^^^^^^^^^^^^^^^^^^^

.. java:method:: protected JCheckBox getPreprocessCheckBox()
   :outertype: OptionPanel

getViewCheckBox
^^^^^^^^^^^^^^^

.. java:method:: protected JCheckBox getViewCheckBox()
   :outertype: OptionPanel