public TrimAnalysisVisitor(
LocalStateLattice <MultiValue, ValueSetLattice <SingleValue> > lattice,
OperationBlockAnalysisContext context
) : base(lattice, context)
{
_multiValueLattice = lattice.Lattice.ValueLattice;
TrimAnalysisPatterns = new TrimAnalysisPatternStore(_multiValueLattice);
}
public ReflectionMethodBodyScanner(LinkContext context, MarkStep parent, MessageOrigin origin)
: base(context)
{
_markStep = parent;
_origin = origin;
_annotations = context.Annotations.FlowAnnotations;
_reflectionMarker = new ReflectionMarker(context, parent, enabled: false);
TrimAnalysisPatterns = new TrimAnalysisPatternStore(MultiValueLattice, context);
}
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);
}
