Type of a property holding a value of type
'access is the access mode of the property.
type 'a r = ( 'a, [ `readable ] ) t
Type of read-only properties
type 'a w = ( 'a, [ `writable ] ) t
Type of write-only properties
type 'a rw = ( 'a, [ `readable | `writable ] ) t
Type of read and write properties
Type of all properties of an interface.
Type of a group of properties. Property groups are used to read/monitor all the properties of an interface.
Type of a function creating a signal holding the contents of all the properties of an interface. The default monitor uses the
val make : ?monitor:monitor -> ( 'a, 'access ) OBus_member.Property.t -> OBus_proxy.t -> ( 'a, 'access ) t
make ?monitor property proxy returns the property object for this proxy.
group ?monitor proxy interface creates a group for all readable properties of the given interface. Note that it is faster to read a group of properties rather than reading each property individually.
map property f g maps
map except that the context is also passed to mapping functions.
Maps a read-only property, passing the context to the mapping function
get but also returns the context
find_value name map returns the value associated to
set. It raises
name is not in
find_value but also returns the context in which the property was received.
find property map looks up for the given property in
set and maps it to a value of type
'a. It raises
property does not belong to
find but also returns the context in which the property was received.
val string_of_map : map -> string
string_of_set set prints
set into a string and returns it.
Lots of D-Bus services notify other applications with a D-Bus signal when one or more properties of an object change. In this case it is possible to monitor the contents of a property.
Note that when at least one property of an interface is monitored, obus will keep a local state of all the properties of the interface.
monitor ?switch property returns the signal holding the current contents of
Failure if the property is not monitorable.
Resources allocated to monitor the property are automatically freed when the signal is garbage collected
monitor_group ?switch group monitors all properties of the given group.
val get_all_no_cache : OBus_proxy.t -> OBus_name.interface -> (OBus_context.t * (OBus_name.member * OBus_value.V.single) list) Lwt.t
get_all_no_cache proxy interface reads the value of all properties without using the cache.
update_map context values map add all properties with their context and value to