codeql/csharp/ql/lib/ext/generated/System.Diagnostics.Contracts.model.yml

# 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", "ContractException", False, "ContractException", "(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.String,System.Exception)", "", "Argument[2]", "Argument[this]", "taint", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractException", False, "ContractException", "(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.String,System.Exception)", "", "Argument[3]", "Argument[this]", "taint", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractException", False, "get_Condition", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractException", False, "get_Failure", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractException", False, "get_UserMessage", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractFailedEventArgs", False, "ContractFailedEventArgs", "(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractFailedEventArgs", False, "ContractFailedEventArgs", "(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)", "", "Argument[2]", "Argument[this]", "taint", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractFailedEventArgs", False, "ContractFailedEventArgs", "(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)", "", "Argument[3]", "Argument[this]", "taint", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractFailedEventArgs", False, "get_Condition", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractFailedEventArgs", False, "get_Message", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractFailedEventArgs", False, "get_OriginalException", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractOptionAttribute", False, "ContractOptionAttribute", "(System.String,System.String,System.Boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractOptionAttribute", False, "ContractOptionAttribute", "(System.String,System.String,System.Boolean)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractOptionAttribute", False, "ContractOptionAttribute", "(System.String,System.String,System.String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractOptionAttribute", False, "ContractOptionAttribute", "(System.String,System.String,System.String)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractOptionAttribute", False, "ContractOptionAttribute", "(System.String,System.String,System.String)", "", "Argument[2]", "Argument[this]", "taint", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractOptionAttribute", False, "get_Category", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractOptionAttribute", False, "get_Setting", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractOptionAttribute", False, "get_Value", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractPublicPropertyNameAttribute", False, "ContractPublicPropertyNameAttribute", "(System.String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Diagnostics.Contracts", "ContractPublicPropertyNameAttribute", False, "get_Name", "()", "", "Argument[this]", "ReturnValue", "taint", "df-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", "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", "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"]