# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["ILLink.Shared.TrimAnalysis", "DiagnosticContext", False, "DiagnosticContext", "(Microsoft.CodeAnalysis.Location,System.Action<Microsoft.CodeAnalysis.Diagnostic>)", "", "Argument[0]", "Argument[this].Property[ILLink.Shared.TrimAnalysis.DiagnosticContext.Location]", "value", "dfc-generated"]
      - ["ILLink.Shared.TrimAnalysis", "DiagnosticContext", False, "DiagnosticContext", "(Mono.Linker.MessageOrigin,System.Boolean,Mono.Linker.LinkContext)", "", "Argument[0]", "Argument[this].Field[ILLink.Shared.TrimAnalysis.DiagnosticContext.Origin]", "value", "dfc-generated"]
      - ["ILLink.Shared.TrimAnalysis", "FieldReferenceValue", False, "FieldReferenceValue", "(Mono.Cecil.FieldReference)", "", "Argument[0]", "Argument[this].Property[ILLink.Shared.TrimAnalysis.FieldReferenceValue.Field]", "value", "dfc-generated"]
      - ["ILLink.Shared.TrimAnalysis", "FlowAnnotations", False, "FlowAnnotations", "(Mono.Linker.LinkContext)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "FlowAnnotations", False, "GetGenericParameterAnnotation", "(Mono.Cecil.GenericParameter)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "FlowAnnotations", False, "GetTypeAnnotation", "(Mono.Cecil.TypeDefinition)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "FlowAnnotations", False, "RequiresDataFlowAnalysis", "(Mono.Cecil.FieldDefinition)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "FlowAnnotations", False, "RequiresGenericArgumentDataFlow", "(Mono.Cecil.GenericParameter)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "FlowAnnotations", False, "RequiresVirtualMethodDataFlowAnalysis", "(Mono.Cecil.MethodDefinition)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "FlowAnnotations", False, "ShouldWarnWhenAccessedForReflection", "(Mono.Cecil.FieldDefinition)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "FlowAnnotations", False, "ShouldWarnWhenAccessedForReflection", "(Mono.Cecil.IMemberDefinition)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "FlowAnnotations", False, "ShouldWarnWhenAccessedForReflection", "(Mono.Cecil.MethodDefinition)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "LocalVariableReferenceValue", False, "LocalVariableReferenceValue", "(Mono.Cecil.Cil.VariableDefinition)", "", "Argument[0]", "Argument[this].Property[ILLink.Shared.TrimAnalysis.LocalVariableReferenceValue.LocalDefinition]", "value", "dfc-generated"]
      - ["ILLink.Shared.TrimAnalysis", "ReferenceValue", False, "ReferenceValue", "(Mono.Cecil.TypeReference)", "", "Argument[0]", "Argument[this].Property[ILLink.Shared.TrimAnalysis.ReferenceValue.ReferencedType]", "value", "dfc-generated"]
      - ["ILLink.Shared.TrimAnalysis", "ValueWithDynamicallyAccessedMembers", True, "GetDiagnosticArgumentsForAnnotationMismatch", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["ILLink.Shared.TrimAnalysis", "DiagnosticContext", "AddDiagnostic", "(ILLink.Shared.DiagnosticId,ILLink.Shared.TrimAnalysis.ValueWithDynamicallyAccessedMembers,ILLink.Shared.TrimAnalysis.ValueWithDynamicallyAccessedMembers,System.String[])", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "DiagnosticContext", "AddDiagnostic", "(ILLink.Shared.DiagnosticId,System.String[])", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "DiagnosticContext", "get_Location", "()", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "FieldReferenceValue", "get_EqualityContract", "()", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "FieldReferenceValue", "op_Equality", "(ILLink.Shared.TrimAnalysis.FieldReferenceValue,ILLink.Shared.TrimAnalysis.FieldReferenceValue)", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "FieldReferenceValue", "op_Inequality", "(ILLink.Shared.TrimAnalysis.FieldReferenceValue,ILLink.Shared.TrimAnalysis.FieldReferenceValue)", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "FlowAnnotations", "GetFieldAnnotation", "(Mono.Cecil.FieldReference)", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "FlowAnnotations", "GetMethodReturnValueAnnotation", "(Microsoft.CodeAnalysis.IMethodSymbol)", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "FlowAnnotations", "GetReturnParameterAnnotation", "(Mono.Cecil.MethodReference)", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "FlowAnnotations", "GetTypeAnnotation", "(Microsoft.CodeAnalysis.ITypeSymbol)", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "FlowAnnotations", "HasGenericParameterAnnotation", "(Mono.Cecil.MethodReference)", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "FlowAnnotations", "HasGenericParameterAnnotation", "(Mono.Cecil.TypeReference)", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "FlowAnnotations", "IsTypeInterestingForDataflow", "(Mono.Cecil.TypeReference)", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "FlowAnnotations", "RequiresDataFlowAnalysis", "(Microsoft.CodeAnalysis.IMethodSymbol)", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "FlowAnnotations", "RequiresDataFlowAnalysis", "(Mono.Cecil.MethodReference)", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "FlowAnnotations", "get_Instance", "()", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "LocalVariableReferenceValue", "get_EqualityContract", "()", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "LocalVariableReferenceValue", "op_Equality", "(ILLink.Shared.TrimAnalysis.LocalVariableReferenceValue,ILLink.Shared.TrimAnalysis.LocalVariableReferenceValue)", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "LocalVariableReferenceValue", "op_Inequality", "(ILLink.Shared.TrimAnalysis.LocalVariableReferenceValue,ILLink.Shared.TrimAnalysis.LocalVariableReferenceValue)", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "ReferenceValue", "get_EqualityContract", "()", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "ReferenceValue", "op_Equality", "(ILLink.Shared.TrimAnalysis.ReferenceValue,ILLink.Shared.TrimAnalysis.ReferenceValue)", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "ReferenceValue", "op_Inequality", "(ILLink.Shared.TrimAnalysis.ReferenceValue,ILLink.Shared.TrimAnalysis.ReferenceValue)", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "ValueWithDynamicallyAccessedMembers", "get_DynamicallyAccessedMemberTypes", "()", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "ValueWithDynamicallyAccessedMembers", "get_EqualityContract", "()", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "ValueWithDynamicallyAccessedMembers", "op_Equality", "(ILLink.Shared.TrimAnalysis.ValueWithDynamicallyAccessedMembers,ILLink.Shared.TrimAnalysis.ValueWithDynamicallyAccessedMembers)", "summary", "df-generated"]
      - ["ILLink.Shared.TrimAnalysis", "ValueWithDynamicallyAccessedMembers", "op_Inequality", "(ILLink.Shared.TrimAnalysis.ValueWithDynamicallyAccessedMembers,ILLink.Shared.TrimAnalysis.ValueWithDynamicallyAccessedMembers)", "summary", "df-generated"]
