Examples with PyReachingDefsSemilattice com.jetbrains.python.codeInsight.dataflow.PyReachingDefsSemilattice used on opensource projects

Example 1 with PyReachingDefsSemilattice

use of com.jetbrains.python.codeInsight.dataflow.PyReachingDefsSemilattice in project intellij-community by JetBrains.

the class ScopeImpl method computeScopeVariables.

private synchronized void computeScopeVariables() throws DFALimitExceededException {
    computeFlow();
    if (myCachedScopeVariables == null) {
        final PyReachingDefsDfaInstance dfaInstance = new PyReachingDefsDfaInstance();
        final PyReachingDefsSemilattice semilattice = new PyReachingDefsSemilattice();
        final DFAMapEngine<ScopeVariable> engine = new DFAMapEngine<>(myFlow, dfaInstance, semilattice);
        myCachedScopeVariables = engine.performDFA();
    }
}