void (@NotNull PsiDocumentManagerBase documentManager, @NotNull DocumentWindowImpl documentWindow, @NotNull PsiFile psiFile) { InjectedFileViewProvider injectedFileViewProvider = (InjectedFileViewProvider)psiFile.getViewProvider(); assert injectedFileViewProvider.isValid() : "Invalid view provider: "+injectedFileViewProvider; DocumentEx frozenWindow = documentManager.getLastCommittedDocument(documentWindow); assert psiFile.textMatches(frozenWindow.getText()) : "Document window text mismatch"; assert injectedFileViewProvider.getDocument() == documentWindow : "Provider document mismatch"; assert documentManager.getCachedDocument(psiFile) == documentWindow : "Cached document mismatch"; assert Comparing.equal(psiFile.getVirtualFile(), injectedFileViewProvider.getVirtualFile()) : "Virtual file mismatch: " + psiFile.getVirtualFile() + "; " + injectedFileViewProvider.getVirtualFile(); PsiDocumentManagerBase.checkConsistency(psiFile, frozenWindow); }