# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["System.Diagnostics.CodeAnalysis", "MemberNotNullAttribute", False, "MemberNotNullAttribute", "(System.String)", "", "Argument[0]", "Argument[this].Property[System.Diagnostics.CodeAnalysis.MemberNotNullAttribute.Members].Element", "value", "dfc-generated"]
      - ["System.Diagnostics.CodeAnalysis", "MemberNotNullAttribute", False, "MemberNotNullAttribute", "(System.String[])", "", "Argument[0]", "Argument[this].Property[System.Diagnostics.CodeAnalysis.MemberNotNullAttribute.Members]", "value", "dfc-generated"]
      - ["System.Diagnostics.CodeAnalysis", "MemberNotNullWhenAttribute", False, "MemberNotNullWhenAttribute", "(System.Boolean,System.String)", "", "Argument[1]", "Argument[this].Property[System.Diagnostics.CodeAnalysis.MemberNotNullWhenAttribute.Members].Element", "value", "dfc-generated"]
      - ["System.Diagnostics.CodeAnalysis", "MemberNotNullWhenAttribute", False, "MemberNotNullWhenAttribute", "(System.Boolean,System.String[])", "", "Argument[1]", "Argument[this].Property[System.Diagnostics.CodeAnalysis.MemberNotNullWhenAttribute.Members]", "value", "dfc-generated"]
      - ["System.Diagnostics.CodeAnalysis", "NotNullIfNotNullAttribute", False, "NotNullIfNotNullAttribute", "(System.String)", "", "Argument[0]", "Argument[this].Property[System.Diagnostics.CodeAnalysis.NotNullIfNotNullAttribute.ParameterName]", "value", "dfc-generated"]
      - ["System.Diagnostics.CodeAnalysis", "RequiresDynamicCodeAttribute", False, "RequiresDynamicCodeAttribute", "(System.String)", "", "Argument[0]", "Argument[this].Property[System.Diagnostics.CodeAnalysis.RequiresDynamicCodeAttribute.Message]", "value", "dfc-generated"]
      - ["System.Diagnostics.CodeAnalysis", "RequiresUnreferencedCodeAttribute", False, "RequiresUnreferencedCodeAttribute", "(System.String)", "", "Argument[0]", "Argument[this].Property[System.Diagnostics.CodeAnalysis.RequiresUnreferencedCodeAttribute.Message]", "value", "dfc-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["System.Diagnostics.CodeAnalysis", "DoesNotReturnIfAttribute", "DoesNotReturnIfAttribute", "(System.Boolean)", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "DoesNotReturnIfAttribute", "get_ParameterValue", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "DynamicDependencyAttribute", "DynamicDependencyAttribute", "(System.Diagnostics.CodeAnalysis.DynamicallyAccessedMemberTypes,System.String,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "DynamicDependencyAttribute", "DynamicDependencyAttribute", "(System.Diagnostics.CodeAnalysis.DynamicallyAccessedMemberTypes,System.Type)", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "DynamicDependencyAttribute", "DynamicDependencyAttribute", "(System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "DynamicDependencyAttribute", "DynamicDependencyAttribute", "(System.String,System.String,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "DynamicDependencyAttribute", "DynamicDependencyAttribute", "(System.String,System.Type)", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "DynamicDependencyAttribute", "get_AssemblyName", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "DynamicDependencyAttribute", "get_MemberSignature", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "DynamicDependencyAttribute", "get_MemberTypes", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "DynamicDependencyAttribute", "get_Type", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "DynamicDependencyAttribute", "get_TypeName", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "DynamicallyAccessedMembersAttribute", "DynamicallyAccessedMembersAttribute", "(System.Diagnostics.CodeAnalysis.DynamicallyAccessedMemberTypes)", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "DynamicallyAccessedMembersAttribute", "get_MemberTypes", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "ExperimentalAttribute", "ExperimentalAttribute", "(System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "ExperimentalAttribute", "get_DiagnosticId", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "FeatureGuardAttribute", "FeatureGuardAttribute", "(System.Type)", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "FeatureGuardAttribute", "get_FeatureType", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "FeatureSwitchDefinitionAttribute", "FeatureSwitchDefinitionAttribute", "(System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "FeatureSwitchDefinitionAttribute", "get_SwitchName", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "MaybeNullWhenAttribute", "MaybeNullWhenAttribute", "(System.Boolean)", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "MaybeNullWhenAttribute", "get_ReturnValue", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "MemberNotNullAttribute", "get_Members", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "MemberNotNullWhenAttribute", "get_Members", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "MemberNotNullWhenAttribute", "get_ReturnValue", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "NotNullIfNotNullAttribute", "get_ParameterName", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "NotNullWhenAttribute", "NotNullWhenAttribute", "(System.Boolean)", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "NotNullWhenAttribute", "get_ReturnValue", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "RequiresAssemblyFilesAttribute", "RequiresAssemblyFilesAttribute", "(System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "RequiresAssemblyFilesAttribute", "get_Message", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "RequiresDynamicCodeAttribute", "get_Message", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "RequiresUnreferencedCodeAttribute", "get_Message", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "StringSyntaxAttribute", "StringSyntaxAttribute", "(System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "StringSyntaxAttribute", "StringSyntaxAttribute", "(System.String,System.Object[])", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "StringSyntaxAttribute", "get_Arguments", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "StringSyntaxAttribute", "get_Syntax", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "SuppressMessageAttribute", "SuppressMessageAttribute", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "SuppressMessageAttribute", "get_Category", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "SuppressMessageAttribute", "get_CheckId", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "UnconditionalSuppressMessageAttribute", "UnconditionalSuppressMessageAttribute", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "UnconditionalSuppressMessageAttribute", "get_Category", "()", "summary", "df-generated"]
      - ["System.Diagnostics.CodeAnalysis", "UnconditionalSuppressMessageAttribute", "get_CheckId", "()", "summary", "df-generated"]
