boolean (@NotNull Document document) { synchronized (myDocumentToStatusMap) { FileStatus status = myDocumentToStatusMap.get(document); return status != null && !status.defensivelyMarked && status.wolfPassFinished && status.allDirtyScopesAreNull(); } }