Stanse  -1
Public Member Functions | Static Public Member Functions | List of all members
cz.muni.stanse.gui.MainWindow Class Reference
Inheritance diagram for cz.muni.stanse.gui.MainWindow:
Inheritance graph
[legend]
Collaboration diagram for cz.muni.stanse.gui.MainWindow:
Collaboration graph
[legend]

Public Member Functions

void addBugs (final Collection< CheckerError > bugs)
 
void addFalsePositives (final Collection< CheckerError > falses)
 
void addUnchecked (final Collection< CheckerError > unchecked)
 
void refreshErrorsTree ()
 
Set< CheckerErrorgetBugs ()
 
Set< CheckerErrorgetFalsePositives ()
 
Set< CheckerErrorgetUnchecked ()
 

Static Public Member Functions

static boolean isRunning ()
 
synchronized static MainWindow getInstance ()
 
static void setLookAndFeel (final String type)
 

Member Function Documentation

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
Set<CheckerError> cz.muni.stanse.gui.MainWindow.getBugs ( )
inline
Set<CheckerError> cz.muni.stanse.gui.MainWindow.getFalsePositives ( )
inline
synchronized static MainWindow cz.muni.stanse.gui.MainWindow.getInstance ( )
inlinestatic
Set<CheckerError> cz.muni.stanse.gui.MainWindow.getUnchecked ( )
inline
static boolean cz.muni.stanse.gui.MainWindow.isRunning ( )
inlinestatic
void cz.muni.stanse.gui.MainWindow.refreshErrorsTree ( )
inline
static void cz.muni.stanse.gui.MainWindow.setLookAndFeel ( final String  type)
inlinestatic

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