private static CopyAnalysisResult?TryGetOrComputeResultForAnalysisContext(CopyAnalysisContext analysisContext)
{
var operationVisitor = new CopyDataFlowOperationVisitor(analysisContext);
var copyAnalysis = new CopyAnalysis(operationVisitor);
return(copyAnalysis.TryGetOrComputeResultCore(analysisContext, cacheResult: true));
}
public static DataFlowAnalysisResult <CopyBlockAnalysisResult, CopyAbstractValue> GetOrComputeResult(
ControlFlowGraph cfg,
ISymbol owningSymbol,
WellKnownTypeProvider wellKnownTypeProvider,
DataFlowAnalysisResult <PointsToAnalysis.PointsToBlockAnalysisResult, PointsToAnalysis.PointsToAbstractValue> pointsToAnalysisResultOpt = null,
bool pessimisticAnalysis = true)
{
var operationVisitor = new CopyDataFlowOperationVisitor(CopyAbstractValueDomain.Default, owningSymbol,
wellKnownTypeProvider, pessimisticAnalysis, pointsToAnalysisResultOpt);
var copyAnalysis = new CopyAnalysis(CopyAnalysisDomain.Instance, operationVisitor);
return(copyAnalysis.GetOrComputeResultCore(cfg, cacheResult: true));
}
private CopyAnalysis(CopyDataFlowOperationVisitor operationVisitor)
: base(operationVisitor.AnalysisDomain, operationVisitor)
{
}
