cz::muni::stanse::gui::ErrorsTreeManager Class Reference

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

[legend]

List of all members.

Public Member Functions
void	sortErrors ()
HashSet< CheckerError >	getBugs ()
HashSet< CheckerError >	getFalsePositives ()
HashSet< CheckerError >	getUnchecked ()
Package Functions
	ErrorsTreeManager (final javax.swing.JTree errorsTree, final javax.swing.JButton markBugButton, final javax.swing.JButton markFalsePosButton, final javax.swing.JButton unmarkReportButton)
synchronized void	clear ()
synchronized void	present ()
synchronized void	addBugs (final Collection< CheckerError > bugs)
synchronized void	addFalsePositives (final Collection< CheckerError > falses)
synchronized void	addUnchecked (final Collection< CheckerError > unchecked)
synchronized void	addUnchecked (final CheckerError unchecked)
Classes
class	ErrorsComparator

---

Constructor & Destructor Documentation

cz::muni::stanse::gui::ErrorsTreeManager::ErrorsTreeManager	(	final javax.swing.JTree	errorsTree,
		final javax.swing.JButton	markBugButton,
		final javax.swing.JButton	markFalsePosButton,
		final javax.swing.JButton	unmarkReportButton
	)			[inline, package]

---

Member Function Documentation

void cz::muni::stanse::gui::ErrorsTreeManager::sortErrors

(

)

[inline]

This function will sort checker errors according to their importance

Author:

radim cebis

synchronized void cz::muni::stanse::gui::ErrorsTreeManager::clear

(

)

[inline, package]

synchronized void cz::muni::stanse::gui::ErrorsTreeManager::present

(

)

[inline, package]

synchronized void cz::muni::stanse::gui::ErrorsTreeManager::addBugs

(

final Collection< CheckerError >

bugs

)

[inline, package]

synchronized void cz::muni::stanse::gui::ErrorsTreeManager::addFalsePositives

(

final Collection< CheckerError >

falses

)

[inline, package]

synchronized void cz::muni::stanse::gui::ErrorsTreeManager::addUnchecked

(

final Collection< CheckerError >

unchecked

)

[inline, package]

synchronized void cz::muni::stanse::gui::ErrorsTreeManager::addUnchecked

(

final CheckerError

unchecked

)

[inline, package]

HashSet<CheckerError> cz::muni::stanse::gui::ErrorsTreeManager::getBugs

(

)

[inline]

HashSet<CheckerError> cz::muni::stanse::gui::ErrorsTreeManager::getFalsePositives

(

)

[inline]

HashSet<CheckerError> cz::muni::stanse::gui::ErrorsTreeManager::getUnchecked

(

)

[inline]

---

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

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