codeql/csharp/ql/lib/ext/generated/modelgenerator/ILLink.Shared.model.yml at 7f12fb73522515dfbcdcbd9693f969e8d2c9536f · github/codeql · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["ILLink.Shared", "DiagnosticString", False, "GetMessage", "(System.String[])", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["ILLink.Shared", "DiagnosticString", False, "GetMessageFormat", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["ILLink.Shared", "DiagnosticString", False, "GetTitle", "(System.String[])", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["ILLink.Shared", "DiagnosticString", False, "GetTitleFormat", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["ILLink.Shared", "DiagnosticIdExtensions", "AsString", "(ILLink.Shared.DiagnosticId)", "summary", "df-generated"]
      - ["ILLink.Shared", "DiagnosticIdExtensions", "GetDiagnosticCategory", "(ILLink.Shared.DiagnosticId)", "summary", "df-generated"]
      - ["ILLink.Shared", "DiagnosticIdExtensions", "GetDiagnosticSubcategory", "(ILLink.Shared.DiagnosticId)", "summary", "df-generated"]
      - ["ILLink.Shared", "DiagnosticIdExtensions", "GetHelpUri", "(ILLink.Shared.DiagnosticId)", "summary", "df-generated"]
      - ["ILLink.Shared", "DiagnosticString", "DiagnosticString", "(ILLink.Shared.DiagnosticId)", "summary", "df-generated"]
      - ["ILLink.Shared", "DiagnosticString", "DiagnosticString", "(System.String)", "summary", "df-generated"]