public CopyDataFlowOperationVisitor(CopyAnalysisContext analysisContext)
: base(analysisContext)
{
var coreAnalysisDomain = new CoreCopyAnalysisDataDomain(CopyAbstractValueDomain.Default, GetDefaultCopyValue);
AnalysisDomain = new CopyAnalysisDomain(coreAnalysisDomain);
analysisContext.InterproceduralAnalysisDataOpt?.InitialAnalysisData.AssertValidCopyAnalysisData();
}
private CopyAnalysis(CopyAnalysisDomain analysisDomain, CopyDataFlowOperationVisitor operationVisitor)
: base(analysisDomain, operationVisitor)
{
}
