public class HighlightInfoFactory13 extends HighlightInfoFactory {
@Override
public HighlightInfo createHighlightInfo(@NotNull HighlightInfoType type, @NotNull PsiElement element, @Nullable String message, @Nullable TextAttributes attributes) {
Builder builder = HighlightInfo.newHighlightInfo(type)
.range(element);
if(message != null) {
builder.description(message);
}
if(attributes != null) {
builder.textAttributes(attributes);
}
return builder.create();
}