100 lines
1.8 KiB
OCaml
100 lines
1.8 KiB
OCaml
(* (c) 2018 Hannes Mehnert, all rights reserved *)
|
|
|
|
open Vmm_core
|
|
|
|
(** The type of versions of the grammar defined below. *)
|
|
type version = [ `AV3 | `AV4 ]
|
|
|
|
(** [current] is the current version. *)
|
|
val current : version
|
|
|
|
val is_current : version -> bool
|
|
|
|
(** [pp_version ppf version] pretty prints [version] onto [ppf]. *)
|
|
val pp_version : version Fmt.t
|
|
|
|
type since_count = [ `Since of Ptime.t | `Count of int ]
|
|
|
|
type console_cmd = [
|
|
| `Console_add
|
|
| `Console_subscribe of since_count
|
|
]
|
|
|
|
type stats_cmd = [
|
|
| `Stats_add of string * int * (string * string) list
|
|
| `Stats_remove
|
|
| `Stats_subscribe
|
|
]
|
|
|
|
type log_cmd = [
|
|
| `Log_subscribe of since_count
|
|
]
|
|
|
|
type unikernel_cmd = [
|
|
| `Unikernel_info
|
|
| `Unikernel_create of Unikernel.config
|
|
| `Unikernel_force_create of Unikernel.config
|
|
| `Unikernel_destroy
|
|
| `Unikernel_get
|
|
]
|
|
|
|
type policy_cmd = [
|
|
| `Policy_info
|
|
| `Policy_add of Policy.t
|
|
| `Policy_remove
|
|
]
|
|
|
|
type block_cmd = [
|
|
| `Block_info
|
|
| `Block_add of int
|
|
| `Block_remove
|
|
]
|
|
|
|
type t = [
|
|
| `Console_cmd of console_cmd
|
|
| `Stats_cmd of stats_cmd
|
|
| `Log_cmd of log_cmd
|
|
| `Unikernel_cmd of unikernel_cmd
|
|
| `Policy_cmd of policy_cmd
|
|
| `Block_cmd of block_cmd
|
|
]
|
|
|
|
val pp : t Fmt.t
|
|
|
|
type data = [
|
|
| `Console_data of Ptime.t * string
|
|
| `Stats_data of Stats.t
|
|
| `Log_data of Log.t
|
|
]
|
|
|
|
val pp_data : data Fmt.t
|
|
|
|
type header = {
|
|
version : version ;
|
|
sequence : int64 ;
|
|
name : Name.t ;
|
|
}
|
|
|
|
val header : ?version:version -> ?sequence:int64 -> Name.t -> header
|
|
|
|
type success = [
|
|
| `Empty
|
|
| `String of string
|
|
| `Policies of (Name.t * Policy.t) list
|
|
| `Unikernels of (Name.t * Unikernel.config) list
|
|
| `Block_devices of (Name.t * int * bool) list
|
|
]
|
|
|
|
type res = [
|
|
| `Command of t
|
|
| `Success of success
|
|
| `Failure of string
|
|
| `Data of data
|
|
]
|
|
|
|
type wire = header * res
|
|
|
|
val pp_wire : wire Fmt.t
|
|
|
|
val endpoint : t -> service * [ `End | `Read ]
|