Make (goblint.Goblint_lib.XsltResultOutput.Make)

Parameters

module Result : AnalysisResult.Result

Signature

val printXml_node : 'a BatInnerIO.output -> Node.t -> Result.Range.t -> unit

val printXml : 'a BatInnerIO.output -> Result.Range.t Result.H.t -> unit

val printXmlWarning_one_text : 'a BatInnerIO.output -> Messages.Piece.t -> unit

val printXml_warn : 'a BatInnerIO.output -> Messages.Message.t -> unit

val printXmlWarning : 'a BatInnerIO.output -> unit -> unit

val do_html_output : unit -> unit

val output : 
  Result.Range.t Result.H.t Stdlib.Lazy.t ->
  (MyCFG.node -> bool) ->
  'a ->
  (unit BatIO.output -> 'a -> unit) ->
  (module MyCFG.FileCfg) ->
  unit