◆ addBugs()
| void cz.muni.stanse.gui.MainWindow.addBugs |
( |
final Collection< CheckerError > |
bugs | ) |
|
|
inline |
◆ addFalsePositives()
| void cz.muni.stanse.gui.MainWindow.addFalsePositives |
( |
final Collection< CheckerError > |
falses | ) |
|
|
inline |
◆ addUnchecked()
| void cz.muni.stanse.gui.MainWindow.addUnchecked |
( |
final Collection< CheckerError > |
unchecked | ) |
|
|
inline |
◆ getBugs()
◆ getFalsePositives()
| Set<CheckerError> cz.muni.stanse.gui.MainWindow.getFalsePositives |
( |
| ) |
|
|
inline |
◆ getInstance()
| synchronized static MainWindow cz.muni.stanse.gui.MainWindow.getInstance |
( |
| ) |
|
|
inlinestatic |
◆ getUnchecked()
| Set<CheckerError> cz.muni.stanse.gui.MainWindow.getUnchecked |
( |
| ) |
|
|
inline |
◆ isRunning()
| static boolean cz.muni.stanse.gui.MainWindow.isRunning |
( |
| ) |
|
|
inlinestatic |
◆ refreshErrorsTree()
| void cz.muni.stanse.gui.MainWindow.refreshErrorsTree |
( |
| ) |
|
|
inline |
◆ setLookAndFeel()
| static void cz.muni.stanse.gui.MainWindow.setLookAndFeel |
( |
final String |
type | ) |
|
|
inlinestatic |
The documentation for this class was generated from the following file: