public TrimAnalysisVisitor(
LocalStateLattice <MultiValue, ValueSetLattice <SingleValue> > lattice,
OperationBlockAnalysisContext context
) : base(lattice, context)
{
_multiValueLattice = lattice.Lattice.ValueLattice;
TrimAnalysisPatterns = new TrimAnalysisPatternStore(_multiValueLattice);
}
public TrimAnalysisVisitor(
LocalStateLattice <MultiValue, ValueSetLattice <SingleValue> > lattice,
OperationBlockAnalysisContext context,
ImmutableDictionary <CaptureId, FlowCaptureKind> lValueFlowCaptures
) : base(lattice, context, lValueFlowCaptures)
{
_multiValueLattice = lattice.Lattice.ValueLattice;
TrimAnalysisPatterns = new TrimAnalysisPatternStore(_multiValueLattice);
}
public LocalDataFlowVisitor(LocalStateLattice <TValue, TValueLattice> lattice, OperationBlockAnalysisContext context, ImmutableDictionary <CaptureId, FlowCaptureKind> lValueFlowCaptures) => (LocalStateLattice, Context, this.lValueFlowCaptures) = (lattice, context, lValueFlowCaptures);
public TrimDataFlowAnalysis(OperationBlockAnalysisContext context, ControlFlowGraph cfg)
{
ControlFlowGraph = new ControlFlowGraphProxy(cfg);
Lattice = new (new ValueSetLattice <SingleValue> ());
Context = context;
}
public LocalDataFlowVisitor(LocalStateLattice <TValue, TValueLattice> lattice, OperationBlockAnalysisContext context) => (LocalStateLattice, Context) = (lattice, context);
