public String toString() { return super.toString() + "-" + pos.toString(); } }
public IExceptionEntryProxy parseLine(String line) { if(line == null) throw new NullPointerException(); String[] forms = spacePattern.split(line); if (forms.length < 2) throw new MisformattedLineException(line); String surface = forms[0].trim(); String[] trimmed = new String[forms.length - 1]; for (int i = 1; i < forms.length; i++) trimmed[i - 1] = forms[i].trim(); return new ExceptionEntryProxy(surface, trimmed); } }