extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["System.Diagnostics.Metrics", "Measurement<>", False, "Measurement", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>[])", "", "Argument[1].Element", "Argument[this]", "taint", "df-generated"]
      - ["System.Diagnostics.Metrics", "Measurement<T>", False, "Measurement", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>[])", "", "Argument[1].Element", "Argument[this]", "taint", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["System.Diagnostics.Metrics", "Counter<>", "Add", "(T)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Counter<>", "Add", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Counter<>", "Add", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>,System.Collections.Generic.KeyValuePair<System.String,System.Object>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Counter<>", "Add", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>,System.Collections.Generic.KeyValuePair<System.String,System.Object>,System.Collections.Generic.KeyValuePair<System.String,System.Object>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Counter<>", "Add", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>[])", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Counter<>", "Add", "(T,System.Diagnostics.TagList)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Counter<>", "Add", "(T,System.ReadOnlySpan<System.Collections.Generic.KeyValuePair<System.String,System.Object>>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Counter<T>", "Add", "(T)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Counter<T>", "Add", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Counter<T>", "Add", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>,System.Collections.Generic.KeyValuePair<System.String,System.Object>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Counter<T>", "Add", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>,System.Collections.Generic.KeyValuePair<System.String,System.Object>,System.Collections.Generic.KeyValuePair<System.String,System.Object>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Counter<T>", "Add", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>[])", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Counter<T>", "Add", "(T,System.Diagnostics.TagList)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Counter<T>", "Add", "(T,System.ReadOnlySpan<System.Collections.Generic.KeyValuePair<System.String,System.Object>>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Histogram<>", "Record", "(T)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Histogram<>", "Record", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Histogram<>", "Record", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>,System.Collections.Generic.KeyValuePair<System.String,System.Object>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Histogram<>", "Record", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>,System.Collections.Generic.KeyValuePair<System.String,System.Object>,System.Collections.Generic.KeyValuePair<System.String,System.Object>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Histogram<>", "Record", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>[])", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Histogram<>", "Record", "(T,System.Diagnostics.TagList)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Histogram<>", "Record", "(T,System.ReadOnlySpan<System.Collections.Generic.KeyValuePair<System.String,System.Object>>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Histogram<T>", "Record", "(T)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Histogram<T>", "Record", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Histogram<T>", "Record", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>,System.Collections.Generic.KeyValuePair<System.String,System.Object>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Histogram<T>", "Record", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>,System.Collections.Generic.KeyValuePair<System.String,System.Object>,System.Collections.Generic.KeyValuePair<System.String,System.Object>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Histogram<T>", "Record", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>[])", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Histogram<T>", "Record", "(T,System.Diagnostics.TagList)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Histogram<T>", "Record", "(T,System.ReadOnlySpan<System.Collections.Generic.KeyValuePair<System.String,System.Object>>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Instrument", "Instrument", "(System.Diagnostics.Metrics.Meter,System.String,System.String,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Instrument", "Publish", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Instrument", "get_Description", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Instrument", "get_Enabled", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Instrument", "get_IsObservable", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Instrument", "get_Meter", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Instrument", "get_Name", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Instrument", "get_Unit", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Instrument<>", "Instrument", "(System.Diagnostics.Metrics.Meter,System.String,System.String,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Instrument<>", "RecordMeasurement", "(T)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Instrument<>", "RecordMeasurement", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Instrument<>", "RecordMeasurement", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>,System.Collections.Generic.KeyValuePair<System.String,System.Object>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Instrument<>", "RecordMeasurement", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>,System.Collections.Generic.KeyValuePair<System.String,System.Object>,System.Collections.Generic.KeyValuePair<System.String,System.Object>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Instrument<>", "RecordMeasurement", "(T,System.Diagnostics.TagList)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Instrument<>", "RecordMeasurement", "(T,System.ReadOnlySpan<System.Collections.Generic.KeyValuePair<System.String,System.Object>>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Instrument<T>", "Instrument", "(System.Diagnostics.Metrics.Meter,System.String,System.String,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Instrument<T>", "RecordMeasurement", "(T)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Instrument<T>", "RecordMeasurement", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Instrument<T>", "RecordMeasurement", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>,System.Collections.Generic.KeyValuePair<System.String,System.Object>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Instrument<T>", "RecordMeasurement", "(T,System.Collections.Generic.KeyValuePair<System.String,System.Object>,System.Collections.Generic.KeyValuePair<System.String,System.Object>,System.Collections.Generic.KeyValuePair<System.String,System.Object>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Instrument<T>", "RecordMeasurement", "(T,System.Diagnostics.TagList)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Instrument<T>", "RecordMeasurement", "(T,System.ReadOnlySpan<System.Collections.Generic.KeyValuePair<System.String,System.Object>>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Measurement<>", "Measurement", "(T)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Measurement<>", "Measurement", "(T,System.Collections.Generic.IEnumerable<System.Collections.Generic.KeyValuePair<System.String,System.Object>>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Measurement<>", "Measurement", "(T,System.ReadOnlySpan<System.Collections.Generic.KeyValuePair<System.String,System.Object>>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Measurement<>", "get_Tags", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Measurement<>", "get_Value", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Measurement<T>", "Measurement", "(T)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Measurement<T>", "Measurement", "(T,System.Collections.Generic.IEnumerable<System.Collections.Generic.KeyValuePair<System.String,System.Object>>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Measurement<T>", "Measurement", "(T,System.ReadOnlySpan<System.Collections.Generic.KeyValuePair<System.String,System.Object>>)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Measurement<T>", "get_Tags", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Measurement<T>", "get_Value", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Meter", "CreateCounter<>", "(System.String,System.String,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Meter", "CreateHistogram<>", "(System.String,System.String,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Meter", "Dispose", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Meter", "Meter", "(System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Meter", "Meter", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Meter", "get_Name", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "Meter", "get_Version", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "MeterListener", "DisableMeasurementEvents", "(System.Diagnostics.Metrics.Instrument)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "MeterListener", "Dispose", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "MeterListener", "EnableMeasurementEvents", "(System.Diagnostics.Metrics.Instrument,System.Object)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "MeterListener", "MeterListener", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "MeterListener", "RecordObservableInstruments", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "MeterListener", "Start", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "MeterListener", "get_InstrumentPublished", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "MeterListener", "get_MeasurementsCompleted", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "ObservableCounter<>", "Observe", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "ObservableCounter<T>", "Observe", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "ObservableGauge<>", "Observe", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "ObservableGauge<T>", "Observe", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "ObservableInstrument<>", "ObservableInstrument", "(System.Diagnostics.Metrics.Meter,System.String,System.String,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "ObservableInstrument<>", "Observe", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "ObservableInstrument<>", "get_IsObservable", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "ObservableInstrument<T>", "ObservableInstrument", "(System.Diagnostics.Metrics.Meter,System.String,System.String,System.String)", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "ObservableInstrument<T>", "Observe", "()", "summary", "df-generated"]
      - ["System.Diagnostics.Metrics", "ObservableInstrument<T>", "get_IsObservable", "()", "summary", "df-generated"]