Tree-wide: various fixes and clean-ups

Signed-off-by: Dominick Grift <dominick.grift@defensec.nl>

1 files changed, 15 insertions, 0 deletions

diff --git a/src/file/datafile/execfile.cil b/src/file/datafile/execfile.cil
index e7926a2..36a66bc 100644
--- a/src/file/datafile/execfile.cil
+++ b/src/file/datafile/execfile.cil
@@ -20,6 +20,15 @@
       (macro map_all_files ((type ARG1))
 	     (allow ARG1 typeattr (file (map))))
 
+      (macro subj_range_transition ((type ARG1)(levelrange ARG2))
+	     (rangetransition ARG1 typeattr process ARG2))
+
+      (macro subj_role_transition ((role ARG1)(role ARG2))
+	     (roletransition ARG1 typeattr process ARG2))
+
+      (macro subj_type_transition ((type ARG1)(type ARG2))
+	     (typetransition ARG1 typeattr process ARG2))
+
       (macro type ((type ARG1))
 	     (typeattributeset typeattr ARG1))
 
@@ -52,6 +61,12 @@
 	(macro map_file_files ((type ARG1))
 	       (allow ARG1 file (file (map))))
 
+	(macro subj_range_transition ((type ARG1)(levelrange ARG2))
+	       (rangetransition ARG1 file process ARG2))
+
+	(macro subj_role_transition ((role ARG1)(role ARG2))
+	       (roletransition ARG1 file process ARG2))
+
 	(macro subj_type_transition ((type ARG1)(type ARG2))
 	       (typetransition ARG1 file process ARG2))