cz::muni::stanse::gui::MainWindow Class Reference

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

[legend]

List of all members.

Public Member Functions
void	addBugs (final Collection< CheckerError > bugs)
void	addFalsePositives (final Collection< CheckerError > falses)
void	addUnchecked (final Collection< CheckerError > unchecked)
void	refreshErrorsTree ()
Set< CheckerError >	getBugs ()
Set< CheckerError >	getFalsePositives ()
Set< CheckerError >	getUnchecked ()
Static Public Member Functions
static boolean	isRunning ()
synchronized static MainWindow	getInstance ()
static void	setLookAndFeel (final String type)
Package Functions
Configuration	getConfiguration ()
void	setConfiguration (final Configuration configuration)
ErrorsTreeManager	getErrorsTreeManager ()
OpenedSourceFilesManager	getOpenedSourceFilesManager ()
ErrorTracingManager	getErrorTracingManager ()
ConsoleManager	getConsoleManager ()

---

Member Function Documentation

static boolean cz::muni::stanse::gui::MainWindow::isRunning

(

)

[inline, static]

synchronized static MainWindow cz::muni::stanse::gui::MainWindow::getInstance

(

)

[inline, static]

static void cz::muni::stanse::gui::MainWindow::setLookAndFeel

(

final String

type

)

[inline, static]

void cz::muni::stanse::gui::MainWindow::addBugs

(

final Collection< CheckerError >

bugs

)

[inline]

void cz::muni::stanse::gui::MainWindow::addFalsePositives

(

final Collection< CheckerError >

falses

)

[inline]

void cz::muni::stanse::gui::MainWindow::addUnchecked

(

final Collection< CheckerError >

unchecked

)

[inline]

void cz::muni::stanse::gui::MainWindow::refreshErrorsTree

(

)

[inline]

Set<CheckerError> cz::muni::stanse::gui::MainWindow::getBugs

(

)

[inline]

Set<CheckerError> cz::muni::stanse::gui::MainWindow::getFalsePositives

(

)

[inline]

Set<CheckerError> cz::muni::stanse::gui::MainWindow::getUnchecked

(

)

[inline]

Configuration cz::muni::stanse::gui::MainWindow::getConfiguration

(

)

[inline, package]

void cz::muni::stanse::gui::MainWindow::setConfiguration

(

final Configuration

configuration

)

[inline, package]

ErrorsTreeManager cz::muni::stanse::gui::MainWindow::getErrorsTreeManager

(

)

[inline, package]

OpenedSourceFilesManager cz::muni::stanse::gui::MainWindow::getOpenedSourceFilesManager

(

)

[inline, package]

ErrorTracingManager cz::muni::stanse::gui::MainWindow::getErrorTracingManager

(

)

[inline, package]

ConsoleManager cz::muni::stanse::gui::MainWindow::getConsoleManager

(

)

[inline, package]

---

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

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