public boolean isToolEnabled(HighlightDisplayKey key) {
return key != null && availableToolsMap.containsKey(key.toString());
}
public HighlightDisplayLevel getErrorLevel(HighlightDisplayKey key) {
final LocalInspectionTool localInspectionTool = availableToolsMap.get(key.toString());
return localInspectionTool != null ? localInspectionTool.getDefaultLevel() : HighlightDisplayLevel.WARNING;
}
public InspectionTool getInspectionTool(String shortName) {
if (availableToolsMap.containsKey(shortName)) {