.. java:import:: java.awt Color

.. java:import:: java.awt Component

.. java:import:: java.awt FlowLayout

.. java:import:: java.awt Font

.. java:import:: java.awt GridBagLayout

.. java:import:: java.awt.event WindowEvent

.. java:import:: java.awt.event WindowListener

.. java:import:: java.util ArrayList

.. java:import:: java.util Collections

.. java:import:: java.util List

.. java:import:: javax.swing DefaultListModel

.. java:import:: javax.swing JButton

.. java:import:: javax.swing JDialog

.. java:import:: javax.swing JFrame

.. java:import:: javax.swing JList

.. java:import:: javax.swing JPanel

.. java:import:: javax.swing JScrollPane

VariablesChooser
================

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

.. java:type::  class VariablesChooser extends JDialog

   Tapenade graphical user interface.

Constructors
------------
VariablesChooser
^^^^^^^^^^^^^^^^

.. java:constructor:: protected VariablesChooser(JFrame owner)
   :outertype: VariablesChooser

Methods
-------
getVariables
^^^^^^^^^^^^

.. java:method:: protected Iterable<String> getVariables()
   :outertype: VariablesChooser

showDialog
^^^^^^^^^^

.. java:method:: protected void showDialog(Iterable<String> vars)
   :outertype: VariablesChooser