namespace Microsoft.CodeAnalysis.FlowAnalysis.DataFlow.PointsToAnalysis
{
    public sealed class PointsToAnalysisContext : AbstractDataFlowAnalysisContext<PointsToAnalysisData!, PointsToAnalysisContext!, PointsToAnalysisResult!, PointsToAbstractValue!>
    {
        public override PointsToAnalysisContext! ForkForInterproceduralAnalysis(?! invokedMethod, ?! invokedCfg, PointsToAnalysisResult? pointsToAnalysisResult, DataFlowAnalysisResult<CopyBlockAnalysisResult!, CopyAbstractValue!>? copyAnalysisResult, DataFlowAnalysisResult<ValueContentBlockAnalysisResult!, ValueContentAbstractValue!>? valueContentAnalysisResult, InterproceduralAnalysisData<PointsToAnalysisData!, PointsToAnalysisContext!, PointsToAbstractValue!>? interproceduralAnalysisData);
    }
}