public void reportTrouble(UnpositionedError trouble) { inform(trouble); errorFound = true;
public void reportTrouble(PositionedError trouble) { if (trouble instanceof CWarning) { if (KjcOptions.warning != 0 && filterWarning((CWarning)trouble)) { inform(trouble); } } else { if (trouble.getTokenReference() != TokenReference.NO_REF) { inform(trouble); errorFound = true; } }
    public void reportTrouble(UnpositionedError trouble) {	inform(trouble);	errorFound = true;    }