Sarif.Message
type t = {
text : string; |
id : string; |
markdown : string; |
arguments : string list; |
properties : Properties.t; |
}
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val create :
?text:string ->
?id:string ->
?markdown:string ->
?arguments:string list ->
?properties:Properties.t ->
unit ->
t
val plain_text :
text:string ->
?id:string ->
?arguments:string list ->
unit ->
t
val markdown :
markdown:Frama_c_kernel.Markdown.elements ->
?id:string ->
?arguments:string list ->
unit ->
t