ATDGenerated.Sarifbug_j
type sarifbug = Sarifbug_t.sarifbug = {
message : message;
level : string;
ruleId : string;
codeFlows : codeflow list option;
locations : loc list;
fingerprints : fingerprints;
}
val string_of_region : ?len:int -> region -> string
Serialize a value of type region
into a JSON string.
val read_region : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> region
Input JSON data of type region
.
val string_of_fileloc : ?len:int -> fileloc -> string
Serialize a value of type fileloc
into a JSON string.
val read_fileloc : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> fileloc
Input JSON data of type fileloc
.
val write_physicalloc : Stdlib.Buffer.t -> physicalloc -> unit
Output a JSON value of type physicalloc
.
val string_of_physicalloc : ?len:int -> physicalloc -> string
Serialize a value of type physicalloc
into a JSON string.
val read_physicalloc :
Yojson.Safe.lexer_state ->
Stdlib.Lexing.lexbuf ->
physicalloc
Input JSON data of type physicalloc
.
val physicalloc_of_string : string -> physicalloc
Deserialize JSON data of type physicalloc
.
val string_of_message : ?len:int -> message -> string
Serialize a value of type message
into a JSON string.
val read_message : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> message
Input JSON data of type message
.
val string_of_trace_loc : ?len:int -> trace_loc -> string
Serialize a value of type trace_loc
into a JSON string.
val read_trace_loc :
Yojson.Safe.lexer_state ->
Stdlib.Lexing.lexbuf ->
trace_loc
Input JSON data of type trace_loc
.
val string_of_trace : ?len:int -> trace -> string
Serialize a value of type trace
into a JSON string.
val read_trace : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> trace
Input JSON data of type trace
.
val write_threadflow : Stdlib.Buffer.t -> threadflow -> unit
Output a JSON value of type threadflow
.
val string_of_threadflow : ?len:int -> threadflow -> string
Serialize a value of type threadflow
into a JSON string.
val read_threadflow :
Yojson.Safe.lexer_state ->
Stdlib.Lexing.lexbuf ->
threadflow
Input JSON data of type threadflow
.
val threadflow_of_string : string -> threadflow
Deserialize JSON data of type threadflow
.
val write_fingerprints : Stdlib.Buffer.t -> fingerprints -> unit
Output a JSON value of type fingerprints
.
val string_of_fingerprints : ?len:int -> fingerprints -> string
Serialize a value of type fingerprints
into a JSON string.
val read_fingerprints :
Yojson.Safe.lexer_state ->
Stdlib.Lexing.lexbuf ->
fingerprints
Input JSON data of type fingerprints
.
val fingerprints_of_string : string -> fingerprints
Deserialize JSON data of type fingerprints
.
val string_of_codeflow : ?len:int -> codeflow -> string
Serialize a value of type codeflow
into a JSON string.
val read_codeflow : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> codeflow
Input JSON data of type codeflow
.
val string_of_sarifbug : ?len:int -> sarifbug -> string
Serialize a value of type sarifbug
into a JSON string.
val read_sarifbug : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> sarifbug
Input JSON data of type sarifbug
.