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.
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
Benchmarking shows that this new API creates 91% less
garbage objects, and is roughly 3-4x faster than equivalent code using