Newly introduced HINTs should have a corresponding getter in the Report
interface / API
public int getHintCount() {
return hintCount;
}
public void hint(String resource, int line, int column, String message) {
hintCount++;
...
}
Original issue reported on code.google.com by tobias.c...@gmail.com on 1 Jun 2013 at 1:00
Original issue reported on code.google.com by
tobias.c...@gmail.com
on 1 Jun 2013 at 1:00