for (Iterator<WarningProperty> i = map.keySet().iterator(); i.hasNext();) { PriorityAdjustment adj = i.next().getPriorityAdjustment(); if (adj == PriorityAdjustment.FALSE_POSITIVE) return Detector.EXP_PRIORITY + 1; else if (adj == PriorityAdjustment.RAISE_PRIORITY) --priority; else if (adj == PriorityAdjustment.LOWER_PRIORITY) ++priority;
if (!relaxedReporting) { for (Iterator<WarningProperty> i = map.keySet().iterator(); i.hasNext();) { PriorityAdjustment adj = i.next().getPriorityAdjustment(); if (adj == PriorityAdjustment.FALSE_POSITIVE) return Detector.EXP_PRIORITY + 1; else if (adj == PriorityAdjustment.RAISE_PRIORITY) --priority; else if (adj == PriorityAdjustment.LOWER_PRIORITY) ++priority; }  if (priority < Detector.HIGH_PRIORITY) priority = Detector.HIGH_PRIORITY; else if (priority > Detector.EXP_PRIORITY) priority = Detector.EXP_PRIORITY;
	public int computePriority(int basePriority) {		int priority = basePriority;		for (Iterator<WarningProperty> i = map.keySet().iterator(); i.hasNext();) {			PriorityAdjustment adj = i.next().getPriorityAdjustment();			if (adj == PriorityAdjustment.FALSE_POSITIVE)				return Detector.EXP_PRIORITY + 1;			else if (adj == PriorityAdjustment.RAISE_PRIORITY)				--priority;			else if (adj == PriorityAdjustment.LOWER_PRIORITY)				++priority;		}				if (priority < Detector.HIGH_PRIORITY)			priority = Detector.HIGH_PRIORITY;		else if (priority > Detector.EXP_PRIORITY)			priority = Detector.EXP_PRIORITY;				return priority;	}