public interface ProblemListener
Modifier and Type | Method and Description |
---|---|
void |
problemsAdded(java.lang.Class<? extends ProblemType> type,
java.util.Set<Problem> problems) |
void problemsAdded(java.lang.Class<? extends ProblemType> type, java.util.Set<Problem> problems)