void (@NotNull DomElement element, @NotNull DomElementAnnotationHolder holder, @NotNull DomHighlightingHelper helper) { throw new UnsupportedOperationException("checkDomElement() is not implemented in " + getClass().getName()); }