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

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

[legend]

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:

• src/cz/muni/stanse/gui/ChooseCheckerManager.java