Module Reviewdog_rdf

Code for reviewdog.proto

Types

type position = private {
  1. mutable _presence : Pbrt.Bitfield.t;
    (*

    presence for 2 fields

    *)
  2. mutable line : int32;
  3. mutable column : int32;
}
type range = private {
  1. mutable start : position option;
  2. mutable end_ : position option;
}
type location = private {
  1. mutable _presence : Pbrt.Bitfield.t;
    (*

    presence for 1 fields

    *)
  2. mutable path : string;
  3. mutable range : range option;
}
type severity =
  1. | Unknown_severity
  2. | Error
  3. | Warning
  4. | Info
type source = private {
  1. mutable _presence : Pbrt.Bitfield.t;
    (*

    presence for 2 fields

    *)
  2. mutable name : string;
  3. mutable url : string;
}
type code = private {
  1. mutable _presence : Pbrt.Bitfield.t;
    (*

    presence for 2 fields

    *)
  2. mutable value : string;
  3. mutable url : string;
}
type suggestion = private {
  1. mutable _presence : Pbrt.Bitfield.t;
    (*

    presence for 1 fields

    *)
  2. mutable range : range option;
  3. mutable text : string;
}
type diagnostic = private {
  1. mutable _presence : Pbrt.Bitfield.t;
    (*

    presence for 3 fields

    *)
  2. mutable message : string;
  3. mutable location : location option;
  4. mutable severity : severity;
  5. mutable source : source option;
  6. mutable code : code option;
  7. mutable suggestions : suggestion list;
  8. mutable original_output : string;
  9. mutable related_locations : related_location list;
}
type diagnostic_result = private {
  1. mutable _presence : Pbrt.Bitfield.t;
    (*

    presence for 1 fields

    *)
  2. mutable diagnostics : diagnostic list;
  3. mutable source : source option;
  4. mutable severity : severity;
}

Basic values

val default_position : unit -> position

default_position () is a new empty value for type position

val default_range : unit -> range

default_range () is a new empty value for type range

val default_location : unit -> location

default_location () is a new empty value for type location

val default_severity : unit -> severity

default_severity () is a new empty value for type severity

val default_source : unit -> source

default_source () is a new empty value for type source

val default_code : unit -> code

default_code () is a new empty value for type code

val default_suggestion : unit -> suggestion

default_suggestion () is a new empty value for type suggestion

default_related_location () is a new empty value for type related_location

val default_diagnostic : unit -> diagnostic

default_diagnostic () is a new empty value for type diagnostic

val default_diagnostic_result : unit -> diagnostic_result

default_diagnostic_result () is a new empty 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 copy_position : position -> position
val position_has_line : position -> bool

presence of field "line" in position

val position_set_line : position -> int32 -> unit

set field line in position

val position_has_column : position -> bool

presence of field "column" in position

val position_set_column : position -> int32 -> unit

set field column in position

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

make_range … () is a builder for type range

val copy_range : range -> range
val range_set_start : range -> position -> unit

set field start in range

val range_set_end_ : range -> position -> unit

set field end_ in range

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

make_location … () is a builder for type location

val copy_location : location -> location
val location_has_path : location -> bool

presence of field "path" in location

val location_set_path : location -> string -> unit

set field path in location

val location_set_range : location -> range -> unit

set field range in location

val make_source : ?name:string -> ?url:string -> unit -> source

make_source … () is a builder for type source

val copy_source : source -> source
val source_has_name : source -> bool

presence of field "name" in source

val source_set_name : source -> string -> unit

set field name in source

val source_has_url : source -> bool

presence of field "url" in source

val source_set_url : source -> string -> unit

set field url in source

val make_code : ?value:string -> ?url:string -> unit -> code

make_code … () is a builder for type code

val copy_code : code -> code
val code_has_value : code -> bool

presence of field "value" in code

val code_set_value : code -> string -> unit

set field value in code

val code_has_url : code -> bool

presence of field "url" in code

val code_set_url : code -> string -> unit

set field url in code

val make_suggestion : ?range:range -> ?text:string -> unit -> suggestion

make_suggestion … () is a builder for type suggestion

val copy_suggestion : suggestion -> suggestion
val suggestion_set_range : suggestion -> range -> unit

set field range in suggestion

val suggestion_has_text : suggestion -> bool

presence of field "text" in suggestion

val suggestion_set_text : suggestion -> string -> unit

set field text in suggestion

make_related_location … () is a builder for type related_location

presence of field "message" in related_location

set field message in related_location

set field location in related_location

val make_diagnostic : ?message:string -> ?location:location -> ?severity:severity -> ?source:source -> ?code:code -> ?suggestions:suggestion list -> ?original_output:string -> ?related_locations:related_location list -> unit -> diagnostic

make_diagnostic … () is a builder for type diagnostic

val copy_diagnostic : diagnostic -> diagnostic
val diagnostic_has_message : diagnostic -> bool

presence of field "message" in diagnostic

val diagnostic_set_message : diagnostic -> string -> unit

set field message in diagnostic

val diagnostic_set_location : diagnostic -> location -> unit

set field location in diagnostic

val diagnostic_has_severity : diagnostic -> bool

presence of field "severity" in diagnostic

val diagnostic_set_severity : diagnostic -> severity -> unit

set field severity in diagnostic

val diagnostic_set_source : diagnostic -> source -> unit

set field source in diagnostic

val diagnostic_set_code : diagnostic -> code -> unit

set field code in diagnostic

val diagnostic_set_suggestions : diagnostic -> suggestion list -> unit

set field suggestions in diagnostic

val diagnostic_has_original_output : diagnostic -> bool

presence of field "original_output" in diagnostic

val diagnostic_set_original_output : diagnostic -> string -> unit

set field original_output in diagnostic

set field related_locations in diagnostic

val make_diagnostic_result : ?diagnostics:diagnostic list -> ?source:source -> ?severity:severity -> unit -> diagnostic_result

make_diagnostic_result … () is a builder for type diagnostic_result

val copy_diagnostic_result : diagnostic_result -> diagnostic_result
val diagnostic_result_set_diagnostics : diagnostic_result -> diagnostic list -> unit

set field diagnostics in diagnostic_result

val diagnostic_result_set_source : diagnostic_result -> source -> unit

set field source in diagnostic_result

val diagnostic_result_has_severity : diagnostic_result -> bool

presence of field "severity" in diagnostic_result

val diagnostic_result_set_severity : diagnostic_result -> severity -> unit

set field severity in 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