1ec3d1a
## <summary>Mplayer media player and encoder</summary>
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Role access for mplayer
1ec3d1a
## </summary>
1ec3d1a
## <param name="role">
1ec3d1a
##	<summary>
1ec3d1a
##	Role allowed access
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	User domain for the role
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`mplayer_role',`
1ec3d1a
	gen_require(`
1ec3d1a
		type mencoder_t, mencoder_exec_t;
1ec3d1a
		type mplayer_t, mplayer_exec_t;
1ec3d1a
		type mplayer_home_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	role $1 types { mencoder_t mplayer_t };
1ec3d1a
1ec3d1a
	# domain transition
1ec3d1a
	domtrans_pattern($2, mencoder_exec_t, mencoder_t)
1ec3d1a
1ec3d1a
	# Allow the user domain to signal/ps.
1ec3d1a
	ps_process_pattern($2, mencoder_t)
1ec3d1a
	allow $2 mencoder_t:process signal_perms;
1ec3d1a
1ec3d1a
	# Home access
1ec3d1a
	manage_dirs_pattern($2, mplayer_home_t, mplayer_home_t)
1ec3d1a
	manage_files_pattern($2, mplayer_home_t, mplayer_home_t)
1ec3d1a
	manage_lnk_files_pattern($2, mplayer_home_t, mplayer_home_t)
1ec3d1a
	relabel_dirs_pattern($2, mplayer_home_t, mplayer_home_t)
1ec3d1a
	relabel_files_pattern($2, mplayer_home_t, mplayer_home_t)
1ec3d1a
	relabel_lnk_files_pattern($2, mplayer_home_t, mplayer_home_t)
1ec3d1a
1ec3d1a
	# domain transition
1ec3d1a
	domtrans_pattern($2, mplayer_exec_t, mplayer_t)
1ec3d1a
1ec3d1a
	# Allow the user domain to signal/ps.
1ec3d1a
	ps_process_pattern($2, mplayer_t)
1ec3d1a
	allow $2 mplayer_t:process signal_perms;
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Run mplayer in mplayer domain.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed to transition.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`mplayer_domtrans',`
1ec3d1a
	gen_require(`
1ec3d1a
		type mplayer_t, mplayer_exec_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	domtrans_pattern($1, mplayer_exec_t, mplayer_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Execute mplayer in the caller domain.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
#
1ec3d1a
interface(`mplayer_exec',`
1ec3d1a
	gen_require(`
1ec3d1a
		type mplayer_exec_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	can_exec($1, mplayer_exec_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Read mplayer per user homedir
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`mplayer_read_user_home_files',`
1ec3d1a
	gen_require(`
1ec3d1a
		type mplayer_home_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	read_files_pattern($1, mplayer_home_t, mplayer_home_t)
1ec3d1a
	userdom_search_user_home_dirs($1)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
a0b3013
##	Manage mplayer per user homedir
a0b3013
## </summary>
a0b3013
## <param name="domain">
a0b3013
##	<summary>
a0b3013
##	Domain allowed access.
a0b3013
##	</summary>
a0b3013
## </param>
a0b3013
#
a0b3013
interface(`mplayer_manage_user_home_dirs',`
a0b3013
	gen_require(`
a0b3013
		type mplayer_home_t;
a0b3013
	')
a0b3013
a0b3013
	manage_dirs_pattern($1, mplayer_home_t, mplayer_home_t)
a0b3013
	userdom_search_user_home_dirs($1)
a0b3013
')
a0b3013
a0b3013
########################################
a0b3013
## <summary>
a0b3013
##	Manage mplayer per user homedir
a0b3013
## </summary>
a0b3013
## <param name="domain">
a0b3013
##	<summary>
a0b3013
##	Domain allowed access.
a0b3013
##	</summary>
a0b3013
## </param>
a0b3013
#
a0b3013
interface(`mplayer_manage_user_home_files',`
a0b3013
	gen_require(`
a0b3013
		type mplayer_home_t;
a0b3013
	')
a0b3013
a0b3013
	manage_files_pattern($1, mplayer_home_t, mplayer_home_t)
a0b3013
	manage_lnk_files_pattern($1, mplayer_home_t, mplayer_home_t)
a0b3013
	userdom_search_user_home_dirs($1)
a0b3013
')
a0b3013
a0b3013
########################################
a0b3013
## <summary>
a0b3013
##	Transition to mplayer named content
a0b3013
## </summary>
a0b3013
## <param name="domain">
a0b3013
##	<summary>
a0b3013
##      Domain allowed access.
a0b3013
##	</summary>
a0b3013
## </param>
a0b3013
#
a0b3013
interface(`mplayer_filetrans_home_content',`
a0b3013
	gen_require(`
a0b3013
		type mplayer_home_t;
a0b3013
	')
a0b3013
a0b3013
	userdom_user_home_dir_filetrans($1, mplayer_home_t, file, ".mplayer")
a0b3013
')
a0b3013
a0b3013
########################################
a0b3013
## <summary>
1ec3d1a
##	Execute mplayer_exec_t 
1ec3d1a
##	in the specified domain.
1ec3d1a
## </summary>
1ec3d1a
## <desc>
1ec3d1a
##	

1ec3d1a
##	Execute a mplayer_exec_t
1ec3d1a
##	in the specified domain.  
1ec3d1a
##	

1ec3d1a
##	

1ec3d1a
##	No interprocess communication (signals, pipes,
1ec3d1a
##	etc.) is provided by this interface since
1ec3d1a
##	the domains are not owned by this module.
1ec3d1a
##	

1ec3d1a
## </desc>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
## <param name="target_domain">
1ec3d1a
##	<summary>
1ec3d1a
##	The type of the new process.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`mplayer_exec_domtrans',`
1ec3d1a
	gen_require(`
1ec3d1a
		type mplayer_exec_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $2 mplayer_exec_t:file entrypoint;
1ec3d1a
	domtrans_pattern($1, mplayer_exec_t, $2)
1ec3d1a
')