summaryrefslogtreecommitdiff
path: root/src/vyconf_pbt.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/vyconf_pbt.ml')
-rw-r--r--src/vyconf_pbt.ml57
1 files changed, 57 insertions, 0 deletions
diff --git a/src/vyconf_pbt.ml b/src/vyconf_pbt.ml
index 4c7fcc6..9d2845d 100644
--- a/src/vyconf_pbt.ml
+++ b/src/vyconf_pbt.ml
@@ -113,6 +113,10 @@ type request_enter_configuration_mode = {
type request_exit_configuration_mode = unit
+type request_reload_reftree = {
+ on_behalf_of : int32 option;
+}
+
type request =
| Status
| Setup_session of request_setup_session
@@ -136,6 +140,7 @@ type request =
| Exit_configure
| Validate of request_validate
| Teardown of request_teardown
+ | Reload_reftree of request_reload_reftree
type request_envelope = {
token : string option;
@@ -328,6 +333,12 @@ let rec default_request_enter_configuration_mode
let rec default_request_exit_configuration_mode = ()
+let rec default_request_reload_reftree
+ ?on_behalf_of:((on_behalf_of:int32 option) = None)
+ () : request_reload_reftree = {
+ on_behalf_of;
+}
+
let rec default_request (): request = Status
let rec default_request_envelope
@@ -550,6 +561,14 @@ let default_request_enter_configuration_mode_mutable () : request_enter_configur
override_exclusive = false;
}
+type request_reload_reftree_mutable = {
+ mutable on_behalf_of : int32 option;
+}
+
+let default_request_reload_reftree_mutable () : request_reload_reftree_mutable = {
+ on_behalf_of = None;
+}
+
type request_envelope_mutable = {
mutable token : string option;
mutable request : request;
@@ -745,6 +764,12 @@ let rec pp_request_exit_configuration_mode fmt (v:request_exit_configuration_mod
in
Pbrt.Pp.pp_brk pp_i fmt ()
+let rec pp_request_reload_reftree fmt (v:request_reload_reftree) =
+ let pp_i fmt () =
+ Pbrt.Pp.pp_record_field ~first:true "on_behalf_of" (Pbrt.Pp.pp_option Pbrt.Pp.pp_int32) fmt v.on_behalf_of;
+ in
+ Pbrt.Pp.pp_brk pp_i fmt ()
+
let rec pp_request fmt (v:request) =
match v with
| Status -> Format.fprintf fmt "Status"
@@ -769,6 +794,7 @@ let rec pp_request fmt (v:request) =
| Exit_configure -> Format.fprintf fmt "Exit_configure"
| Validate x -> Format.fprintf fmt "@[<hv2>Validate(@,%a)@]" pp_request_validate x
| Teardown x -> Format.fprintf fmt "@[<hv2>Teardown(@,%a)@]" pp_request_teardown x
+ | Reload_reftree x -> Format.fprintf fmt "@[<hv2>Reload_reftree(@,%a)@]" pp_request_reload_reftree x
let rec pp_request_envelope fmt (v:request_envelope) =
let pp_i fmt () =
@@ -1047,6 +1073,15 @@ let rec encode_pb_request_enter_configuration_mode (v:request_enter_configuratio
let rec encode_pb_request_exit_configuration_mode (v:request_exit_configuration_mode) encoder =
()
+let rec encode_pb_request_reload_reftree (v:request_reload_reftree) encoder =
+ begin match v.on_behalf_of with
+ | Some x ->
+ Pbrt.Encoder.int32_as_varint x encoder;
+ Pbrt.Encoder.key 1 Pbrt.Varint encoder;
+ | None -> ();
+ end;
+ ()
+
let rec encode_pb_request (v:request) encoder =
begin match v with
| Status ->
@@ -1115,6 +1150,9 @@ let rec encode_pb_request (v:request) encoder =
| Teardown x ->
Pbrt.Encoder.nested encode_pb_request_teardown x encoder;
Pbrt.Encoder.key 22 Pbrt.Bytes encoder;
+ | Reload_reftree x ->
+ Pbrt.Encoder.nested encode_pb_request_reload_reftree x encoder;
+ Pbrt.Encoder.key 23 Pbrt.Bytes encoder;
end
let rec encode_pb_request_envelope (v:request_envelope) encoder =
@@ -1705,6 +1743,24 @@ let rec decode_pb_request_exit_configuration_mode d =
| Some (_, pk) ->
Pbrt.Decoder.unexpected_payload "Unexpected fields in empty message(request_exit_configuration_mode)" pk
+let rec decode_pb_request_reload_reftree d =
+ let v = default_request_reload_reftree_mutable () in
+ let continue__= ref true in
+ while !continue__ do
+ match Pbrt.Decoder.key d with
+ | None -> (
+ ); continue__ := false
+ | Some (1, Pbrt.Varint) -> begin
+ v.on_behalf_of <- Some (Pbrt.Decoder.int32_as_varint d);
+ end
+ | Some (1, pk) ->
+ Pbrt.Decoder.unexpected_payload "Message(request_reload_reftree), field(1)" pk
+ | Some (_, payload_kind) -> Pbrt.Decoder.skip d payload_kind
+ done;
+ ({
+ on_behalf_of = v.on_behalf_of;
+ } : request_reload_reftree)
+
let rec decode_pb_request d =
let rec loop () =
let ret:request = match Pbrt.Decoder.key d with
@@ -1740,6 +1796,7 @@ let rec decode_pb_request d =
end
| Some (21, _) -> (Validate (decode_pb_request_validate (Pbrt.Decoder.nested d)) : request)
| Some (22, _) -> (Teardown (decode_pb_request_teardown (Pbrt.Decoder.nested d)) : request)
+ | Some (23, _) -> (Reload_reftree (decode_pb_request_reload_reftree (Pbrt.Decoder.nested d)) : request)
| Some (n, payload_kind) -> (
Pbrt.Decoder.skip d payload_kind;
loop ()