Module Reviewdog_rdf

Code for reviewdog.proto

Types

type position = {
  1. line : int32;
  2. column : int32;
}
type range = {
  1. start : position option;
  2. end_ : position option;
}
type location = {
  1. path : string;
  2. range : range option;
}
type severity =
  1. | Unknown_severity
  2. | Error
  3. | Warning
  4. | Info
type source = {
  1. name : string;
  2. url : string;
}
type code = {
  1. value : string;
  2. url : string;
}
type suggestion = {
  1. range : range option;
  2. text : string;
}
type diagnostic = {
  1. message : string;
  2. location : location option;
  3. severity : severity;
  4. source : source option;
  5. code : code option;
  6. suggestions : suggestion list;
  7. original_output : string;
  8. related_locations : related_location list;
}
type diagnostic_result = {
  1. diagnostics : diagnostic list;
  2. source : source option;
  3. severity : severity;
}

Basic values

val default_position : ?line:int32 -> ?column:int32 -> unit -> position

default_position () is the default value for type position

val default_range : ?start:position option -> ?end_:position option -> unit -> range

default_range () is the default value for type range

val default_location : ?path:string -> ?range:range option -> unit -> location

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

Make functions

val make_position : line:int32 -> column:int32 -> unit -> position

make_position … () is a builder for type position

val make_range : ?start:position option -> ?end_:position option -> unit -> range

make_range … () is a builder for type range

val make_location : path:string -> ?range:range option -> unit -> location

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

Protobuf YoJson Encoding

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

JSON Decoding

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