documentation for the macro "process_transition"

defines a type transition from the type specified by argument 1 to the type specified by argument 3 which happens when a file with type specified by argument 2 is executed. The necessary permissions are also added. For more information, see this article.

It is defined in the file sets.m4.

m4 code:

define(`process_transition',
`define(`transitionsX$1X$2Xprocess',$3)dnl
add_permission($1X$3Xprocess,transition)dnl
add_permission($3X$2Xfile,entrypoint)dnl
add_permission($1X$2Xfile,execute)')