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