[eclipse-pmc] API Request: IResource.findMaxProblemSeverity

[John Arthorne <John_Arthorne@xxxxxxxxxx>]

API Request

Add the following method to IResource

public int findMaxProblemSeverity(String type, boolean
includeSubTypes, int depth);

This method returns the maximum severity of all markers
of the given type within the receiver resource.  This is an important
optimization for clients such as decorators that need to quickly determine
the maximum problem severity for a large resource hierarchy.  This
optimization is not possible using existing API calls.  Platform UI,
JDT UI, and Debug have uses for this optimized API.

RISKS 

None. This is a new method, and no existing API is affected.

RISKS OF NOT SUPPLYING THIS SUPPORT 

Clients will not be able to optimize computation of
marker severity.

PERFORMANCE IMPACT

Benchmarking shows that this new API creates 91% less
garbage objects, and is roughly 3-4x faster than equivalent code using
existing API.

Associated bug: 
https://bugs.eclipse.org/bugs/show_bug.cgi?id=177384