Searched refs:tmpLine (Results 1 – 2 of 2) sorted by relevance
488 int tmpLine = marker.getAttribute(IMarker.LINE_NUMBER, -1); in checkAndMark() local489 if (tmpLine != line) { in checkAndMark()
798 int tmpLine = marker.getAttribute(IMarker.LINE_NUMBER, -1); in addError() local799 if (tmpLine != lineNumber) { in addError()