| 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.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: