Module ATDGenerated.Sarifbug_t

type region = {
  1. startLine : int;
  2. startColumn : int;
}
type fileloc = {
  1. uri : string;
  2. uriBaseId : string;
}
type physicalloc = {
  1. artifactLocation : fileloc;
  2. region : region;
}
type message = {
  1. text : string;
}
type trace_loc = {
  1. physicalLocation : physicalloc;
  2. message : message;
}
type trace = {
  1. nestingLevel : int;
  2. location : trace_loc;
}
type threadflow = {
  1. locations : trace list;
}
type loc = {
  1. physicalLocation : physicalloc;
}
type fingerprints = {
  1. hashV1 : string;
  2. key : string;
}
type codeflow = {
  1. threadFlows : threadflow list;
}
type sarifbug = {
  1. message : message;
  2. level : string;
  3. ruleId : string;
  4. codeFlows : codeflow list option;
  5. locations : loc list;
  6. fingerprints : fingerprints;
}
type rule = {
  1. id : string;
  2. shortDescription : message;
  3. helpUri : string;
}