## High quality television application.
########################################
##
## Role access for tvtime
##
##
##
## Role allowed access
##
##
##
##
## User domain for the role
##
##
#
interface(`tvtime_role',`
gen_require(`
attribute_role tvtime_roles;
type tvtime_t, tvtime_exec_t, tvtime_tmp_t;
type tvtime_home_t, tvtime_tmpfs_t;
')
roleattribute $1 tvtime_roles;
domtrans_pattern($2, tvtime_exec_t, tvtime_t)
ps_process_pattern($2, tvtime_t)
allow $2 tvtime_t:process { ptrace signal_perms };
allow $2 { tvtime_home_t tvtime_tmp_t }:dir { manage_dir_perms relabel_dir_perms };
allow $2 { tvtime_home_t tvtime_tmpfs_t tvtime_tmp_t }:file { manage_file_perms relabel_file_perms };
allow $2 { tvtime_home_t tvtime_tmpfs_t }:lnk_file { manage_lnk_file_perms relabel_lnk_file_perms };
allow $2 tvtime_tmpfs_t:fifo_file { manage_fifo_file_perms relabel_fifo_file_perms };
allow $2 tvtime_tmpfs_t:sock_file { manage_sock_file_perms relabel_sock_file_perms };
userdom_user_home_dir_filetrans($2, tvtime_home_t, dir, ".tvtime")
')