diff --git a/policy/modules/system/application.if b/policy/modules/system/application.if index 06e7b0a..ac50333 100644 --- a/policy/modules/system/application.if +++ b/policy/modules/system/application.if @@ -83,11 +83,21 @@ interface(`application_exec_all',` ######################################## ## <summary> -## Create a domain which can be started by users +## Create a domain for applications. ## </summary> +## <desc> +## <p> +## Create a domain for applications. Typically these are +## programs that are run interactively. +## </p> +## <p> +## The types will be made usable as a domain and file, making +## calls to domain_type() and files_type() redundant. +## </p> +## </desc> ## <param name="domain"> ## <summary> -## Type to be used as a domain. +## Type to be used as an application domain. ## </summary> ## </param> ## <param name="entry_point"> @@ -95,6 +105,7 @@ interface(`application_exec_all',` ## Type of the program to be used as an entry point to this domain. ## </summary> ## </param> +## <infoflow type="none"/> # interface(`application_domain',` application_type($1)