RunnerResult (@NotNull PsiElement psiBlock, @NotNull DfaListener listener) { Collection<DfaMemoryState> initialStates = createInitialStates(psiBlock, listener, true); if (initialStates == null) { return RunnerResult.NOT_APPLICABLE; } if (initialStates.isEmpty()) { return RunnerResult.OK; } return analyzeMethod(psiBlock, listener, initialStates); }