Reviewdog_rdf
Code for reviewdog.proto
type diagnostic = {
message : string;
location : location option;
severity : severity;
source : source option;
code : code option;
suggestions : suggestion list;
original_output : string;
}
type diagnostic_result = {
diagnostics : diagnostic list;
source : source option;
severity : severity;
}
val default_position : ?line:int32 -> ?column:int32 -> unit -> position
default_position ()
is the default value for type position
default_range ()
is the default value for type range
default_location ()
is the default value for type location
val default_severity : unit -> severity
default_severity ()
is the default value for type severity
val default_source : ?name:string -> ?url:string -> unit -> source
default_source ()
is the default value for type source
val default_code : ?value:string -> ?url:string -> unit -> code
default_code ()
is the default value for type code
val default_suggestion :
?range:range option ->
?text:string ->
unit ->
suggestion
default_suggestion ()
is the default value for type suggestion
default_related_location ()
is the default value for type related_location
val default_diagnostic :
?message:string ->
?location:location option ->
?severity:severity ->
?source:source option ->
?code:code option ->
?suggestions:suggestion list ->
?original_output:string ->
?related_locations:related_location list ->
unit ->
diagnostic
default_diagnostic ()
is the default value for type diagnostic
val default_diagnostic_result :
?diagnostics:diagnostic list ->
?source:source option ->
?severity:severity ->
unit ->
diagnostic_result
default_diagnostic_result ()
is the default value for type diagnostic_result
val make_position : line:int32 -> column:int32 -> unit -> position
make_position … ()
is a builder for type position
make_range … ()
is a builder for type range
make_location … ()
is a builder for type location
val make_source : name:string -> url:string -> unit -> source
make_source … ()
is a builder for type source
val make_code : value:string -> url:string -> unit -> code
make_code … ()
is a builder for type code
val make_suggestion : ?range:range option -> text:string -> unit -> suggestion
make_suggestion … ()
is a builder for type suggestion
make_related_location … ()
is a builder for type related_location
val make_diagnostic :
message:string ->
?location:location option ->
severity:severity ->
?source:source option ->
?code:code option ->
suggestions:suggestion list ->
original_output:string ->
related_locations:related_location list ->
unit ->
diagnostic
make_diagnostic … ()
is a builder for type diagnostic
val make_diagnostic_result :
diagnostics:diagnostic list ->
?source:source option ->
severity:severity ->
unit ->
diagnostic_result
make_diagnostic_result … ()
is a builder for type diagnostic_result
val encode_json_position : position -> Yojson.Basic.t
encode_json_position v encoder
encodes v
to to json
val encode_json_range : range -> Yojson.Basic.t
encode_json_range v encoder
encodes v
to to json
val encode_json_location : location -> Yojson.Basic.t
encode_json_location v encoder
encodes v
to to json
val encode_json_severity : severity -> Yojson.Basic.t
encode_json_severity v encoder
encodes v
to to json
val encode_json_source : source -> Yojson.Basic.t
encode_json_source v encoder
encodes v
to to json
val encode_json_code : code -> Yojson.Basic.t
encode_json_code v encoder
encodes v
to to json
val encode_json_suggestion : suggestion -> Yojson.Basic.t
encode_json_suggestion v encoder
encodes v
to to json
encode_json_related_location v encoder
encodes v
to to json
val encode_json_diagnostic : diagnostic -> Yojson.Basic.t
encode_json_diagnostic v encoder
encodes v
to to json
val encode_json_diagnostic_result : diagnostic_result -> Yojson.Basic.t
encode_json_diagnostic_result v encoder
encodes v
to to json
val decode_json_position : Yojson.Basic.t -> position
decode_json_position decoder
decodes a position
value from decoder
val decode_json_range : Yojson.Basic.t -> range
decode_json_range decoder
decodes a range
value from decoder
val decode_json_location : Yojson.Basic.t -> location
decode_json_location decoder
decodes a location
value from decoder
val decode_json_severity : Yojson.Basic.t -> severity
decode_json_severity decoder
decodes a severity
value from decoder
val decode_json_source : Yojson.Basic.t -> source
decode_json_source decoder
decodes a source
value from decoder
val decode_json_code : Yojson.Basic.t -> code
decode_json_code decoder
decodes a code
value from decoder
val decode_json_suggestion : Yojson.Basic.t -> suggestion
decode_json_suggestion decoder
decodes a suggestion
value from decoder
decode_json_related_location decoder
decodes a related_location
value from decoder
val decode_json_diagnostic : Yojson.Basic.t -> diagnostic
decode_json_diagnostic decoder
decodes a diagnostic
value from decoder
val decode_json_diagnostic_result : Yojson.Basic.t -> diagnostic_result
decode_json_diagnostic_result decoder
decodes a diagnostic_result
value from decoder