namespace Microsoft.CodeAnalysis.FlowAnalysis.DataFlow.DisposeAnalysis
{
    public class DisposeAnalysis : ForwardDataFlowAnalysis<DictionaryAnalysisData<AbstractLocation!, DisposeAbstractValue!>!, DisposeAnalysisContext!, DisposeAnalysisResult!, DisposeBlockAnalysisResult!, DisposeAbstractValue!>
    {
        public static DisposeAnalysisResult? TryGetOrComputeResult(?! cfg, ?! owningSymbol, WellKnownTypeProvider! wellKnownTypeProvider, ?! analyzerOptions, ?! rule, ?! disposeOwnershipTransferLikelyTypes, PointsToAnalysisKind defaultPointsToAnalysisKind, bool trackInstanceFields, bool exceptionPathsAnalysis, out PointsToAnalysisResult? pointsToAnalysisResult, InterproceduralAnalysisKind interproceduralAnalysisKind = InterproceduralAnalysisKind.ContextSensitive, bool performCopyAnalysisIfNotUserConfigured = false, InterproceduralAnalysisPredicate? interproceduralAnalysisPredicate = null, bool defaultDisposeOwnershipTransferAtConstructor = false, bool defaultDisposeOwnershipTransferAtMethodCall = false);
    }
}