package xenstore

You can search for identifiers within the package.

in-package search v0.2.0

Xenstore protocol in pure OCam

Install

sha256=11b63bb2a5a8bc487d36f36ecb195b2a2135aa13ab401cbc73da67505c08faa4

sha512=b921aa4265503677f4984007efee6865461a18031dc49583be040781307cc6cbfcd84bc11e9ebc0a23e9b0cf281bd94528c475624bc30471ad8ff70607e0732f

Sourcetype t

A role containing a set of privileges

Sourceval superuser : t

The superuser role has all privileges

Sourceval of_domain : int -> t

The role associated with a specific domain id

Sourceval restrict : t -> int -> t

restrict role domid returns a new role which contains the subset of role which applies to domain domid

Sourceval set_target : t -> int -> t

set_target role domid needs rationalising

Sourcetype permission =

| READ
(*
ability to read the value associated with a node
*)
| WRITE
(*
ability to modify the value associated with a node
*)
| CHANGE_ACL
(*
ability to change the ACL associated with a node
*)
| DEBUG
(*
ability to invoke debug operations
*)
| INTRODUCE
(*
ability to grant access to other domains
*)
| ISINTRODUCED
(*
ability to query whether a domain has been introduced
*)
| RESUME
(*
ability to restore access to previously shutdown domains
*)
| RELEASE
(*
ability to revoke access from other domains
*)
| SET_TARGET
(*
ability to allow one domain to impersonate a specific other
*)
| RESTRICT
(*
ability to imperonate a specific other domain
*)
| CONFIGURE
(*
ability to view/edit the daemon configuration
*)

Sourceexception Permission_denied

Thrown by the check function if role does not have a specific permission

Sourceval check : t -> permission -> Xs_protocol.ACL.t -> unit

check role permission acl throws Permission_denied if role does not have permission according to the access control list acl

Sourceval has : t -> permission -> unit

has role permission throws Permission_denied if role does not have permission