# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["System.Diagnostics.Contracts", "Contract", False, "Exists<T>", "(System.Collections.Generic.IEnumerable<T>,System.Predicate<T>)", "", "Argument[0].Element", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["System.Diagnostics.Contracts", "Contract", False, "ForAll<T>", "(System.Collections.Generic.IEnumerable<T>,System.Predicate<T>)", "", "Argument[0].Element", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["System.Diagnostics.Contracts", "ContractException", False, "ContractException", "(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.String,System.Exception)", "", "Argument[2]", "Argument[this].SyntheticField[System.Diagnostics.Contracts.ContractException._userMessage]", "value", "dfc-generated"]
      - ["System.Diagnostics.Contracts", "ContractException", False, "ContractException", "(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.String,System.Exception)", "", "Argument[3]", "Argument[this].SyntheticField[System.Diagnostics.Contracts.ContractException._condition]", "value", "dfc-generated"]
      - ["System.Diagnostics.Contracts", "ContractException", False, "get_Condition", "()", "", "Argument[this].SyntheticField[System.Diagnostics.Contracts.ContractException._condition]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Diagnostics.Contracts", "ContractException", False, "get_Failure", "()", "", "Argument[this].Property[System.Exception.Message]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Diagnostics.Contracts", "ContractException", False, "get_UserMessage", "()", "", "Argument[this].SyntheticField[System.Diagnostics.Contracts.ContractException._userMessage]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Diagnostics.Contracts", "ContractFailedEventArgs", False, "ContractFailedEventArgs", "(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)", "", "Argument[1]", "Argument[this].SyntheticField[System.Diagnostics.Contracts.ContractFailedEventArgs._message]", "value", "dfc-generated"]
      - ["System.Diagnostics.Contracts", "ContractFailedEventArgs", False, "ContractFailedEventArgs", "(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)", "", "Argument[2]", "Argument[this].SyntheticField[System.Diagnostics.Contracts.ContractFailedEventArgs._condition]", "value", "dfc-generated"]
      - ["System.Diagnostics.Contracts", "ContractFailedEventArgs", False, "ContractFailedEventArgs", "(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)", "", "Argument[3]", "Argument[this].SyntheticField[System.Diagnostics.Contracts.ContractFailedEventArgs._originalException]", "value", "dfc-generated"]
      - ["System.Diagnostics.Contracts", "ContractFailedEventArgs", False, "get_Condition", "()", "", "Argument[this].SyntheticField[System.Diagnostics.Contracts.ContractFailedEventArgs._condition]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Diagnostics.Contracts", "ContractFailedEventArgs", False, "get_Message", "()", "", "Argument[this].SyntheticField[System.Diagnostics.Contracts.ContractFailedEventArgs._message]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Diagnostics.Contracts", "ContractFailedEventArgs", False, "get_OriginalException", "()", "", "Argument[this].SyntheticField[System.Diagnostics.Contracts.ContractFailedEventArgs._originalException]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Diagnostics.Contracts", "ContractOptionAttribute", False, "ContractOptionAttribute", "(System.String,System.String,System.Boolean)", "", "Argument[0]", "Argument[this].SyntheticField[System.Diagnostics.Contracts.ContractOptionAttribute._category]", "value", "dfc-generated"]
      - ["System.Diagnostics.Contracts", "ContractOptionAttribute", False, "ContractOptionAttribute", "(System.String,System.String,System.Boolean)", "", "Argument[1]", "Argument[this].SyntheticField[System.Diagnostics.Contracts.ContractOptionAttribute._setting]", "value", "dfc-generated"]
      - ["System.Diagnostics.Contracts", "ContractOptionAttribute", False, "ContractOptionAttribute", "(System.String,System.String,System.String)", "", "Argument[0]", "Argument[this].SyntheticField[System.Diagnostics.Contracts.ContractOptionAttribute._category]", "value", "dfc-generated"]
      - ["System.Diagnostics.Contracts", "ContractOptionAttribute", False, "ContractOptionAttribute", "(System.String,System.String,System.String)", "", "Argument[1]", "Argument[this].SyntheticField[System.Diagnostics.Contracts.ContractOptionAttribute._setting]", "value", "dfc-generated"]
      - ["System.Diagnostics.Contracts", "ContractOptionAttribute", False, "ContractOptionAttribute", "(System.String,System.String,System.String)", "", "Argument[2]", "Argument[this].SyntheticField[System.Diagnostics.Contracts.ContractOptionAttribute._value]", "value", "dfc-generated"]
      - ["System.Diagnostics.Contracts", "ContractOptionAttribute", False, "get_Category", "()", "", "Argument[this].SyntheticField[System.Diagnostics.Contracts.ContractOptionAttribute._category]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Diagnostics.Contracts", "ContractOptionAttribute", False, "get_Setting", "()", "", "Argument[this].SyntheticField[System.Diagnostics.Contracts.ContractOptionAttribute._setting]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Diagnostics.Contracts", "ContractOptionAttribute", False, "get_Value", "()", "", "Argument[this].SyntheticField[System.Diagnostics.Contracts.ContractOptionAttribute._value]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Diagnostics.Contracts", "ContractPublicPropertyNameAttribute", False, "ContractPublicPropertyNameAttribute", "(System.String)", "", "Argument[0]", "Argument[this].SyntheticField[System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute._publicName]", "value", "dfc-generated"]
      - ["System.Diagnostics.Contracts", "ContractPublicPropertyNameAttribute", False, "get_Name", "()", "", "Argument[this].SyntheticField[System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute._publicName]", "ReturnValue", "value", "dfc-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["System.Diagnostics.Contracts", "Contract", "Assert", "(System.Boolean)", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "Contract", "Assert", "(System.Boolean,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "Contract", "Assume", "(System.Boolean)", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "Contract", "Assume", "(System.Boolean,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "Contract", "EndContractBlock", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "Contract", "Ensures", "(System.Boolean)", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "Contract", "Ensures", "(System.Boolean,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "Contract", "EnsuresOnThrow<TException>", "(System.Boolean)", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "Contract", "EnsuresOnThrow<TException>", "(System.Boolean,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "Contract", "Exists", "(System.Int32,System.Int32,System.Predicate<System.Int32>)", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "Contract", "ForAll", "(System.Int32,System.Int32,System.Predicate<System.Int32>)", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "Contract", "Invariant", "(System.Boolean)", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "Contract", "Invariant", "(System.Boolean,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "Contract", "OldValue<T>", "(T)", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "Contract", "Requires", "(System.Boolean)", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "Contract", "Requires", "(System.Boolean,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "Contract", "Requires<TException>", "(System.Boolean)", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "Contract", "Requires<TException>", "(System.Boolean,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "Contract", "Result<T>", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "Contract", "ValueAtReturn<T>", "(T)", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "Contract", "add_ContractFailed", "(System.EventHandler<System.Diagnostics.Contracts.ContractFailedEventArgs>)", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "Contract", "remove_ContractFailed", "(System.EventHandler<System.Diagnostics.Contracts.ContractFailedEventArgs>)", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractClassAttribute", "ContractClassAttribute", "(System.Type)", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractClassAttribute", "get_TypeContainingContracts", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractClassForAttribute", "ContractClassForAttribute", "(System.Type)", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractClassForAttribute", "get_TypeContractsAreFor", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractException", "get_Kind", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractFailedEventArgs", "SetHandled", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractFailedEventArgs", "SetUnwind", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractFailedEventArgs", "get_FailureKind", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractFailedEventArgs", "get_Handled", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractFailedEventArgs", "get_Unwind", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractOptionAttribute", "get_Enabled", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractVerificationAttribute", "ContractVerificationAttribute", "(System.Boolean)", "summary", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractVerificationAttribute", "get_Value", "()", "summary", "df-generated"]
