.. java:import:: javax.swing BorderFactory

.. java:import:: javax.swing DefaultListModel

.. java:import:: javax.swing JButton

.. java:import:: javax.swing JFileChooser

.. java:import:: javax.swing JList

.. java:import:: javax.swing JPanel

.. java:import:: javax.swing JScrollPane

.. java:import:: java.awt GridBagLayout

.. java:import:: java.awt Insets

.. java:import:: java.awt.event ActionEvent

.. java:import:: java.awt.event ActionListener

.. java:import:: java.io File

.. java:import:: java.util Enumeration

FilesPanel
==========

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

.. java:type::  class FilesPanel extends JPanel

   Tapenade graphical user interface.

Constructors
------------
FilesPanel
^^^^^^^^^^

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

Methods
-------
getFilesList
^^^^^^^^^^^^

.. java:method:: protected JList<File> getFilesList()
   :outertype: FilesPanel