# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["ILLink.Shared.DataFlow", "Box<T>", False, "Box", "(T)", "", "Argument[0]", "Argument[this].Property[ILLink.Shared.DataFlow.Box`1.Value]", "value", "dfc-generated"]
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", False, "Clone", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", False, "DefaultValueDictionary", "(ILLink.Shared.DataFlow.DefaultValueDictionary<TKey,TValue>)", "", "Argument[0].SyntheticField[ILLink.Shared.DataFlow.DefaultValueDictionary`2.DefaultValue]", "Argument[this].SyntheticField[ILLink.Shared.DataFlow.DefaultValueDictionary`2.DefaultValue]", "value", "dfc-generated"]
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", False, "DefaultValueDictionary", "(TValue)", "", "Argument[0]", "Argument[this].SyntheticField[ILLink.Shared.DataFlow.DefaultValueDictionary`2.DefaultValue]", "value", "dfc-generated"]
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", False, "Get", "(TKey)", "", "Argument[this].SyntheticField[ILLink.Shared.DataFlow.DefaultValueDictionary`2.DefaultValue]", "ReturnValue", "value", "dfc-generated"]
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", False, "ToString", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "DictionaryLattice<TKey,TValue,TValueLattice>", False, "DictionaryLattice", "(TValueLattice)", "", "Argument[0]", "Argument[this].Field[ILLink.Shared.DataFlow.DictionaryLattice`3.ValueLattice]", "value", "dfc-generated"]
      - ["ILLink.Shared.DataFlow", "DictionaryLattice<TKey,TValue,TValueLattice>", False, "Meet", "(ILLink.Shared.DataFlow.DefaultValueDictionary<TKey,TValue>,ILLink.Shared.DataFlow.DefaultValueDictionary<TKey,TValue>)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ForwardDataFlowAnalysis<TValue,TState,TLattice,TBlock,TRegion,TControlFlowGraph,TTransfer,TConditionValue>", False, "ForwardDataFlowAnalysis", "(TLattice,TValue)", "", "Argument[0]", "Argument[this].Field[ILLink.Shared.DataFlow.ForwardDataFlowAnalysis`8.lattice]", "value", "dfc-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>+ControlFlowBranch", False, "ControlFlowBranch", "(TBlock,System.Nullable<TBlock>,System.Collections.Immutable.ImmutableArray<TRegion>,ILLink.Shared.DataFlow.ConditionKind)", "", "Argument[0]", "Argument[this].Field[ILLink.Shared.DataFlow.IControlFlowGraph`2+ControlFlowBranch.Source]", "value", "dfc-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>+ControlFlowBranch", False, "ControlFlowBranch", "(TBlock,System.Nullable<TBlock>,System.Collections.Immutable.ImmutableArray<TRegion>,ILLink.Shared.DataFlow.ConditionKind)", "", "Argument[1]", "Argument[this].Field[ILLink.Shared.DataFlow.IControlFlowGraph`2+ControlFlowBranch.Destination]", "value", "dfc-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>+ControlFlowBranch", False, "ControlFlowBranch", "(TBlock,System.Nullable<TBlock>,System.Collections.Immutable.ImmutableArray<TRegion>,ILLink.Shared.DataFlow.ConditionKind)", "", "Argument[2]", "Argument[this].Field[ILLink.Shared.DataFlow.IControlFlowGraph`2+ControlFlowBranch.FinallyRegions]", "value", "dfc-generated"]
      - ["ILLink.Shared.DataFlow", "Maybe<T>", False, "Maybe", "(T)", "", "Argument[0]", "Argument[this].Field[ILLink.Shared.DataFlow.Maybe`1.MaybeValue]", "value", "dfc-generated"]
      - ["ILLink.Shared.DataFlow", "MaybeLattice<T,TValueLattice>", False, "MaybeLattice", "(TValueLattice)", "", "Argument[0]", "Argument[this].Field[ILLink.Shared.DataFlow.MaybeLattice`2.ValueLattice]", "value", "dfc-generated"]
      - ["ILLink.Shared.DataFlow", "SingleValue", True, "DeepCopy", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>+Enumerable", False, "Enumerable", "(System.Object)", "", "Argument[0]", "Argument[this].SyntheticField[ILLink.Shared.DataFlow.ValueSet`1+Enumerable._values]", "value", "dfc-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>+Enumerable", False, "GetEnumerator", "()", "", "Argument[this].SyntheticField[ILLink.Shared.DataFlow.ValueSet`1+Enumerable._values].Element", "ReturnValue.SyntheticField[ILLink.Shared.DataFlow.ValueSet`1+Enumerator._enumerator].Property[System.Collections.Generic.HashSet`1+Enumerator.Current]", "value", "dfc-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>+Enumerable", False, "GetEnumerator", "()", "", "Argument[this].SyntheticField[ILLink.Shared.DataFlow.ValueSet`1+Enumerable._values]", "ReturnValue.SyntheticField[ILLink.Shared.DataFlow.ValueSet`1+Enumerator._value]", "value", "dfc-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>+Enumerator", False, "get_Current", "()", "", "Argument[this].Property[ILLink.Shared.DataFlow.ValueSet`1+Enumerator.Current]", "ReturnValue", "value", "dfc-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>+Enumerator", False, "get_Current", "()", "", "Argument[this].SyntheticField[ILLink.Shared.DataFlow.ValueSet`1+Enumerator._enumerator].Property[System.Collections.Generic.IEnumerator`1.Current]", "ReturnValue", "value", "dfc-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>+Enumerator", False, "get_Current", "()", "", "Argument[this].SyntheticField[ILLink.Shared.DataFlow.ValueSet`1+Enumerator._value]", "ReturnValue", "value", "dfc-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", False, "DeepCopy", "()", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", False, "GetKnownValues", "()", "", "Argument[this].SyntheticField[ILLink.Shared.DataFlow.ValueSet`1._values]", "ReturnValue.SyntheticField[ILLink.Shared.DataFlow.ValueSet`1+Enumerable._values]", "value", "dfc-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", False, "ValueSet", "(TValue)", "", "Argument[0]", "Argument[this].SyntheticField[ILLink.Shared.DataFlow.ValueSet`1._values]", "value", "dfc-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSetLattice<TValue>", False, "Meet", "(ILLink.Shared.DataFlow.ValueSet<TValue>,ILLink.Shared.DataFlow.ValueSet<TValue>)", "", "Argument[0]", "ReturnValue", "value", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSetLattice<TValue>", False, "Meet", "(ILLink.Shared.DataFlow.ValueSet<TValue>,ILLink.Shared.DataFlow.ValueSet<TValue>)", "", "Argument[1]", "ReturnValue", "value", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", "Equals", "(ILLink.Shared.DataFlow.DefaultValueDictionary<TKey,TValue>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", "Equals", "(System.Object)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", "GetHashCode", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", "Set", "(TKey,TValue)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", "get_Count", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", "op_Equality", "(ILLink.Shared.DataFlow.DefaultValueDictionary<TKey,TValue>,ILLink.Shared.DataFlow.DefaultValueDictionary<TKey,TValue>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", "op_Inequality", "(ILLink.Shared.DataFlow.DefaultValueDictionary<TKey,TValue>,ILLink.Shared.DataFlow.DefaultValueDictionary<TKey,TValue>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "DictionaryLattice<TKey,TValue,TValueLattice>", "get_Top", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ForwardDataFlowAnalysis<TValue,TState,TLattice,TBlock,TRegion,TControlFlowGraph,TTransfer,TConditionValue>", "Fixpoint", "(TControlFlowGraph,TTransfer)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ForwardDataFlowAnalysis<TValue,TState,TLattice,TBlock,TRegion,TControlFlowGraph,TTransfer,TConditionValue>", "TraceBlockInput", "(TValue,System.Nullable<TValue>,System.Nullable<TValue>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ForwardDataFlowAnalysis<TValue,TState,TLattice,TBlock,TRegion,TControlFlowGraph,TTransfer,TConditionValue>", "TraceBlockOutput", "(TValue,System.Nullable<TValue>,System.Nullable<TValue>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ForwardDataFlowAnalysis<TValue,TState,TLattice,TBlock,TRegion,TControlFlowGraph,TTransfer,TConditionValue>", "TraceEdgeInput", "(ILLink.Shared.DataFlow.IControlFlowGraph<TBlock,TRegion>+ControlFlowBranch,TValue)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ForwardDataFlowAnalysis<TValue,TState,TLattice,TBlock,TRegion,TControlFlowGraph,TTransfer,TConditionValue>", "TraceStart", "(TControlFlowGraph)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ForwardDataFlowAnalysis<TValue,TState,TLattice,TBlock,TRegion,TControlFlowGraph,TTransfer,TConditionValue>", "TraceVisitBlock", "(TBlock)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>+ControlFlowBranch", "Equals", "(ILLink.Shared.DataFlow.IControlFlowGraph<TBlock,TRegion>+ControlFlowBranch)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>+ControlFlowBranch", "Equals", "(System.Object)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>+ControlFlowBranch", "GetHashCode", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "FirstBlock", "(TRegion)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "GetCorrespondingTry", "(TRegion)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "GetPredecessors", "(TBlock)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "GetPreviousFilters", "(TRegion)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "GetSuccessors", "(TBlock)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "HasFilter", "(TRegion)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "LastBlock", "(TRegion)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "TryGetEnclosingFinally", "(TBlock,TRegion)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "TryGetEnclosingTryOrCatchOrFilter", "(TBlock,TRegion)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "TryGetEnclosingTryOrCatchOrFilter", "(TRegion,TRegion)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "get_Blocks", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "get_Entry", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IDeepCopyValue<TSingleValue>", "DeepCopy", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ILattice<TValue>", "Meet", "(TValue,TValue)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ILattice<TValue>", "get_Top", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "INegate<TValue>", "Negate", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IRegion<TRegion>", "get_Kind", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ITransfer<TOperation,TValue,TState,TLattice,TConditionValue>", "ApplyCondition", "(TConditionValue,TValue)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ITransfer<TOperation,TValue,TState,TLattice,TConditionValue>", "Transfer", "(TOperation,TState)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "Maybe<T>", "DeepCopy", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "Maybe<T>", "Equals", "(ILLink.Shared.DataFlow.Maybe<T>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "Maybe<T>", "Equals", "(System.Object)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "Maybe<T>", "GetHashCode", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "Maybe<T>", "op_Equality", "(ILLink.Shared.DataFlow.Maybe<T>,ILLink.Shared.DataFlow.Maybe<T>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "Maybe<T>", "op_Inequality", "(ILLink.Shared.DataFlow.Maybe<T>,ILLink.Shared.DataFlow.Maybe<T>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "MaybeLattice<T,TValueLattice>", "Meet", "(ILLink.Shared.DataFlow.Maybe<T>,ILLink.Shared.DataFlow.Maybe<T>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "MaybeLattice<T,TValueLattice>", "get_Top", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "SingleValue", "get_EqualityContract", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "SingleValue", "op_Equality", "(ILLink.Shared.DataFlow.SingleValue,ILLink.Shared.DataFlow.SingleValue)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "SingleValue", "op_Inequality", "(ILLink.Shared.DataFlow.SingleValue,ILLink.Shared.DataFlow.SingleValue)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>+Enumerator", "Dispose", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>+Enumerator", "MoveNext", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>+Enumerator", "Reset", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", "Contains", "(TValue)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", "Equals", "(ILLink.Shared.DataFlow.ValueSet<TValue>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", "Equals", "(System.Object)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", "GetHashCode", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", "IsEmpty", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", "IsUnknown", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", "ToString", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", "ValueSet", "(System.Collections.Generic.IEnumerable<TValue>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", "get_HasMultipleValues", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", "op_Equality", "(ILLink.Shared.DataFlow.ValueSet<TValue>,ILLink.Shared.DataFlow.ValueSet<TValue>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", "op_Inequality", "(ILLink.Shared.DataFlow.ValueSet<TValue>,ILLink.Shared.DataFlow.ValueSet<TValue>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSetLattice<TValue>", "get_Top", "()", "summary", "df-generated"]