## Gnome clock handler for setting the time.
########################################
##
## Execute a domain transition to run gnomeclock.
##
##
##
## Domain allowed to transition.
##
##
#
interface(`gnomeclock_domtrans',`
gen_require(`
type gnomeclock_t, gnomeclock_exec_t;
')
domtrans_pattern($1, gnomeclock_exec_t, gnomeclock_t)
')
########################################
##
## Execute gnomeclock in the gnomeclock domain, and
## allow the specified role the gnomeclock domain.
##
##
##
## Domain allowed to transition.
##
##
##
##
## Role allowed access.
##
##
#
interface(`gnomeclock_run',`
gen_require(`
type gnomeclock_t;
')
gnomeclock_domtrans($1)
role $2 types gnomeclock_t;
')
########################################
##
## Send and receive messages from
## gnomeclock over dbus.
##
##
##
## Domain allowed access.
##
##
#
interface(`gnomeclock_dbus_chat',`
gen_require(`
type gnomeclock_t;
class dbus send_msg;
')
allow $1 gnomeclock_t:dbus send_msg;
allow gnomeclock_t $1:dbus send_msg;
')