Searched refs:tmpSeverity (Results 1 – 2 of 2) sorted by relevance
568 int tmpSeverity = marker.getAttribute(IMarker.SEVERITY, -1); in checkAndMark() local569 if (tmpSeverity != severity) { in checkAndMark()
844 int tmpSeverity = marker.getAttribute(IMarker.SEVERITY, -1); in addError() local845 if (tmpSeverity != severity) { in addError()