[selinux-policy: 1175/3172] add example module.

[Daniel J Walsh]

commit 6bb0da317452e621ac2199322df8f0a661a6e8c5
Author: Chris PeBenito <cpebenito at tresys.com>
Date:   Wed Feb 1 13:09:09 2006 +0000

    add example module.

 refpolicy/doc/example.fc |    6 +++++
 refpolicy/doc/example.if |   55 ++++++++++++++++++++++++++++++++++++++++++++++
 refpolicy/doc/example.te |   29 ++++++++++++++++++++++++
 3 files changed, 90 insertions(+), 0 deletions(-)
---
diff --git a/refpolicy/doc/example.fc b/refpolicy/doc/example.fc
new file mode 100644
index 0000000..9cf7c4c
--- /dev/null
+++ b/refpolicy/doc/example.fc
@@ -0,0 +1,6 @@
+# myapp executable will have:
+# label: system_u:object_r:myapp_exec_t
+# MLS sensitivity: s0
+# MCS categories: <none>
+
+/usr/sbin/myapp		--	gen_context(system_u:object_r:myapp_exec_t,s0)
diff --git a/refpolicy/doc/example.if b/refpolicy/doc/example.if
new file mode 100644
index 0000000..8e9591b
--- /dev/null
+++ b/refpolicy/doc/example.if
@@ -0,0 +1,55 @@
+## <summary>Myapp example policy</summary>
+## <desc>
+##	<p>
+##		More descriptive text about myapp.  The <desc>
+##		tag can also use <p>, <ul>, and <ol>
+##		html tags for formatting.
+##	</p>
+##	<p>
+##		This policy supports the following myapp features:
+##		<ul>
+##		<li>Feature A</li>
+##		<li>Feature B</li>
+##		<li>Feature C</li>
+##		</ul>
+##	</p>
+## </desc>
+#
+
+########################################
+## <summary>
+##	Execute a domain transition to run myapp.
+## </summary>
+## <param name="domain">
+##	Domain allowed to transition.
+## </param>
+#
+interface(`myapp_domtrans',`
+	gen_requires(`
+		type myapp_t, myapp_exec_t;
+	')
+
+	domain_auto_trans($1,myapp_exec_t,myapp_t)
+
+	allow $1 myapp_t:fd use;
+	allow myapp_t $1:fd use;
+	allow $1 myapp_t:fifo_file rw_file_perms;
+	allow $1 myapp_t:process sigchld;
+')
+
+########################################
+## <summary>
+##	Read myapp log files.
+## </summary>
+## <param name="domain">
+##	Domain allowed to read the log files.
+## </param>
+#
+interface(`myapp_read_log',`
+	gen_requires(`
+		type myapp_log_t;
+	')
+
+	logging_search_logs($1)
+	allow $1 myapp_log_t:file r_file_perms;
+')
diff --git a/refpolicy/doc/example.te b/refpolicy/doc/example.te
new file mode 100644
index 0000000..7d4581b
--- /dev/null
+++ b/refpolicy/doc/example.te
@@ -0,0 +1,29 @@
+
+policy_module(myapp,1.0.0)
+
+########################################
+#
+# Declarations
+#
+
+type myapp_t;
+type myapp_exec_t;
+domain_type(myapp_t)
+domain_entry_file(myapp_t, myapp_exec_t)
+
+type myapp_log_t;
+logging_log_file(myapp_log_t)
+
+type myapp_tmp_t;
+files_tmp_file(myapp_tmp_t)
+
+########################################
+#
+# Myapp local policy
+#
+
+allow myapp_t myapp_log_t:file ra_file_perms;
+
+allow myapp_t myapp_tmp_t:file manage_file_perms;
+files_filetrans_tmp(myapp_t,myapp_tmp_t,file)
+