public class ProblemRegistry
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
CONFIRMED_PROBLEMS_FILE |
Constructor and Description |
---|
ProblemRegistry(WGACore core) |
Modifier and Type | Method and Description |
---|---|
void |
addListener(ProblemListener listener,
java.lang.Class<? extends ProblemType>... types) |
void |
addProblem(Problem problem) |
void |
clear() |
void |
clearConfirmation(ProblemPath path) |
void |
clearProblemOccasion(ProblemOccasion occ) |
void |
clearProblemScope(ProblemScope scope) |
void |
clearProblemType(ProblemType type) |
void |
close() |
void |
confirmProblem(ProblemPath path) |
boolean |
dismissProblem(ProblemPath path) |
java.util.List<Problem> |
getProblems(java.lang.Class<? extends ProblemType> type) |
java.util.List<Problem> |
getProblems(java.lang.Class<? extends ProblemType> type,
boolean includeConfirmed) |
java.util.List<Problem> |
getProblems(java.lang.Class<? extends ProblemType> type,
ProblemScope scope) |
java.util.List<Problem> |
getProblems(java.lang.Class<? extends ProblemType> type,
ProblemScope scope,
boolean includeConfirmed) |
java.util.Set<ProblemScope> |
getProblemScopes(java.lang.Class<? extends ProblemType> type) |
boolean |
isConfirmedProblem(ProblemPath problemPath) |
void |
removeListener(ProblemListener listener) |
void |
updateRegistry() |
public static final java.lang.String CONFIRMED_PROBLEMS_FILE
public ProblemRegistry(WGACore core)
public void addProblem(Problem problem)
public void clearProblemOccasion(ProblemOccasion occ)
public void clearProblemScope(ProblemScope scope)
public void clearProblemType(ProblemType type)
public void updateRegistry()
public void confirmProblem(ProblemPath path) throws java.io.IOException
java.io.IOException
public void close()
public java.util.List<Problem> getProblems(java.lang.Class<? extends ProblemType> type)
public java.util.List<Problem> getProblems(java.lang.Class<? extends ProblemType> type, boolean includeConfirmed)
public java.util.Set<ProblemScope> getProblemScopes(java.lang.Class<? extends ProblemType> type)
public java.util.List<Problem> getProblems(java.lang.Class<? extends ProblemType> type, ProblemScope scope)
public java.util.List<Problem> getProblems(java.lang.Class<? extends ProblemType> type, ProblemScope scope, boolean includeConfirmed)
public boolean isConfirmedProblem(ProblemPath problemPath)
public boolean dismissProblem(ProblemPath path)
public void addListener(ProblemListener listener, java.lang.Class<? extends ProblemType>... types)
public void removeListener(ProblemListener listener)
public void clearConfirmation(ProblemPath path) throws java.io.IOException
java.io.IOException
public void clear()