public TrimAnalysisPatternStore ComputeTrimAnalysisPatterns() { var visitor = new TrimAnalysisVisitor(Lattice, Context); Fixpoint(ControlFlowGraph, Lattice, visitor); return(visitor.TrimAnalysisPatterns); }
public TrimAnalysisPatternStore ComputeTrimAnalysisPatterns() { var lValueFlowCaptures = LValueFlowCapturesProvider.CreateLValueFlowCaptures(ControlFlowGraph.ControlFlowGraph); var visitor = new TrimAnalysisVisitor(Lattice, Context, lValueFlowCaptures); Fixpoint(ControlFlowGraph, Lattice, visitor); return(visitor.TrimAnalysisPatterns); }