void (@NotNull PsiElement docElement, @NotNull PsiElement context, boolean shouldHaveDoc) { DocumentationProvider documentationProvider = DocumentationManager.getProviderFromElement(context); String inlineDoc = documentationProvider.generateDoc(docElement, context); String quickNavigate = documentationProvider.getQuickNavigateInfo(docElement, context); checkExpectedDoc(shouldHaveDoc, inlineDoc, false); checkExpectedDoc(shouldHaveDoc, quickNavigate, true); }