cz::muni::stanse::gui::ChooseCheckerManager Class Reference

Collaboration diagram for cz::muni::stanse::gui::ChooseCheckerManager:

List of all members.

Package Functions

 ChooseCheckerManager (final ChooseCheckerDialog dialog, final JList checkerNamesList, final JTextArea checkerInfoTextArea, final JButton chooseCheckerButton, final JButton cancelButton, final JCheckBox interproceduralCheckBox)
String getCheckerName ()
boolean isInterprocedural ()

Constructor & Destructor Documentation

cz::muni::stanse::gui::ChooseCheckerManager::ChooseCheckerManager ( final ChooseCheckerDialog  dialog,
final JList  checkerNamesList,
final JTextArea  checkerInfoTextArea,
final JButton  chooseCheckerButton,
final JButton  cancelButton,
final JCheckBox  interproceduralCheckBox 
) [inline, package]

Member Function Documentation

String cz::muni::stanse::gui::ChooseCheckerManager::getCheckerName (  )  [inline, package]

boolean cz::muni::stanse::gui::ChooseCheckerManager::isInterprocedural (  )  [inline, package]

The documentation for this class was generated from the following file:

Generated on Thu Jan 13 16:24:09 2011 for Stanse by  doxygen 1.5.6