summaryrefslogtreecommitdiff
path: root/src/file/varfile
diff options
context:
space:
mode:
authorDominick Grift <dominick.grift@defensec.nl>2023-08-20 15:44:41 +0200
committerDominick Grift <dominick.grift@defensec.nl>2023-08-20 15:46:23 +0200
commit0c187b6ff97f91c41dab65a6426dc61f77305cdf (patch)
tree1e35f5851154500a8a39428a45a5671f9488e1da /src/file/varfile
downloadselinux-policy-0c187b6ff97f91c41dab65a6426dc61f77305cdf.tar.gz
Import dssp5
Signed-off-by: Dominick Grift <dominick.grift@defensec.nl>
Diffstat (limited to 'src/file/varfile')
-rw-r--r--src/file/varfile/cachefile.cil38
-rw-r--r--src/file/varfile/dbfile.cil38
-rw-r--r--src/file/varfile/logfile.cil38
-rw-r--r--src/file/varfile/spoolfile.cil38
-rw-r--r--src/file/varfile/spoolfile/mailspoolfile.cil40
-rw-r--r--src/file/varfile/statefile.cil42
6 files changed, 234 insertions, 0 deletions
diff --git a/src/file/varfile/cachefile.cil b/src/file/varfile/cachefile.cil
new file mode 100644
index 0000000..19c2a5a
--- /dev/null
+++ b/src/file/varfile/cachefile.cil
@@ -0,0 +1,38 @@
+;; SPDX-FileCopyrightText: © 2023 Dominick Grift <dominick.grift@defensec.nl>
+;; SPDX-License-Identifier: Unlicense
+
+(block cache
+
+ (blockinherit .file.cache.template))
+
+(in file
+
+ (block cache
+
+ (macro type ((type ARG1))
+ (typeattributeset typeattr ARG1))
+
+ (blockinherit file.all_macro_template_dirs)
+ (blockinherit file.all_macro_template_files)
+ (blockinherit file.all_macro_template_lnk_files)
+
+ (typeattribute typeattr)
+
+ (call var.type (typeattr))
+
+ (block base_template
+
+ (blockabstract base_template)
+
+ (blockinherit .file.var.base_template)
+
+ (call .file.cache.type (file)))
+
+ (block template
+
+ (blockabstract template)
+
+ (blockinherit .file.cache.base_template)
+ (blockinherit .file.macro_template_dirs)
+ (blockinherit .file.macro_template_files)
+ (blockinherit .file.macro_template_lnk_files))))
diff --git a/src/file/varfile/dbfile.cil b/src/file/varfile/dbfile.cil
new file mode 100644
index 0000000..c54c75a
--- /dev/null
+++ b/src/file/varfile/dbfile.cil
@@ -0,0 +1,38 @@
+;; SPDX-FileCopyrightText: © 2023 Dominick Grift <dominick.grift@defensec.nl>
+;; SPDX-License-Identifier: Unlicense
+
+(block db
+
+ (blockinherit .file.db.template))
+
+(in file
+
+ (block db
+
+ (macro type ((type ARG1))
+ (typeattributeset typeattr ARG1))
+
+ (blockinherit file.all_macro_template_dirs)
+ (blockinherit file.all_macro_template_files)
+ (blockinherit file.all_macro_template_lnk_files)
+
+ (typeattribute typeattr)
+
+ (call var.type (typeattr))
+
+ (block base_template
+
+ (blockabstract base_template)
+
+ (blockinherit .file.var.base_template)
+
+ (call .file.db.type (file)))
+
+ (block template
+
+ (blockabstract template)
+
+ (blockinherit .file.db.base_template)
+ (blockinherit .file.macro_template_dirs)
+ (blockinherit .file.macro_template_files)
+ (blockinherit .file.macro_template_lnk_files))))
diff --git a/src/file/varfile/logfile.cil b/src/file/varfile/logfile.cil
new file mode 100644
index 0000000..0c62240
--- /dev/null
+++ b/src/file/varfile/logfile.cil
@@ -0,0 +1,38 @@
+;; SPDX-FileCopyrightText: © 2023 Dominick Grift <dominick.grift@defensec.nl>
+;; SPDX-License-Identifier: Unlicense
+
+(block log
+
+ (blockinherit .file.log.template))
+
+(in file
+
+ (block log
+
+ (macro type ((type ARG1))
+ (typeattributeset typeattr ARG1))
+
+ (blockinherit file.all_macro_template_dirs)
+ (blockinherit file.all_macro_template_files)
+ (blockinherit file.all_macro_template_lnk_files)
+
+ (typeattribute typeattr)
+
+ (call var.type (typeattr))
+
+ (block base_template
+
+ (blockabstract base_template)
+
+ (blockinherit .file.var.base_template)
+
+ (call .file.log.type (file)))
+
+ (block template
+
+ (blockabstract template)
+
+ (blockinherit .file.log.base_template)
+ (blockinherit .file.macro_template_dirs)
+ (blockinherit .file.macro_template_files)
+ (blockinherit .file.macro_template_lnk_files))))
diff --git a/src/file/varfile/spoolfile.cil b/src/file/varfile/spoolfile.cil
new file mode 100644
index 0000000..311ed1a
--- /dev/null
+++ b/src/file/varfile/spoolfile.cil
@@ -0,0 +1,38 @@
+;; SPDX-FileCopyrightText: © 2023 Dominick Grift <dominick.grift@defensec.nl>
+;; SPDX-License-Identifier: Unlicense
+
+(block spool
+
+ (blockinherit .file.spool.template))
+
+(in file
+
+ (block spool
+
+ (macro type ((type ARG1))
+ (typeattributeset typeattr ARG1))
+
+ (blockinherit file.all_macro_template_dirs)
+ (blockinherit file.all_macro_template_files)
+ (blockinherit file.all_macro_template_lnk_files)
+
+ (typeattribute typeattr)
+
+ (call var.type (typeattr))
+
+ (block base_template
+
+ (blockabstract base_template)
+
+ (blockinherit .file.var.base_template)
+
+ (call .file.spool.type (file)))
+
+ (block template
+
+ (blockabstract template)
+
+ (blockinherit .file.macro_template_dirs)
+ (blockinherit .file.macro_template_files)
+ (blockinherit .file.macro_template_lnk_files)
+ (blockinherit .file.spool.base_template))))
diff --git a/src/file/varfile/spoolfile/mailspoolfile.cil b/src/file/varfile/spoolfile/mailspoolfile.cil
new file mode 100644
index 0000000..5216423
--- /dev/null
+++ b/src/file/varfile/spoolfile/mailspoolfile.cil
@@ -0,0 +1,40 @@
+;; SPDX-FileCopyrightText: © 2023 Dominick Grift <dominick.grift@defensec.nl>
+;; SPDX-License-Identifier: Unlicense
+
+(block mail
+
+ (block spool
+
+ (blockinherit .file.spool.mail.template)))
+
+(in file.spool
+
+ (block mail
+
+ (macro type ((type ARG1))
+ (typeattributeset typeattr ARG1))
+
+ (blockinherit file.all_macro_template_dirs)
+ (blockinherit file.all_macro_template_files)
+ (blockinherit file.all_macro_template_lnk_files)
+
+ (typeattribute typeattr)
+
+ (call .file.spool.type (typeattr))
+
+ (block base_template
+
+ (blockabstract base_template)
+
+ (blockinherit .file.spool.base_template)
+
+ (call .file.spool.mail.type (file)))
+
+ (block template
+
+ (blockabstract template)
+
+ (blockinherit .file.macro_template_dirs)
+ (blockinherit .file.macro_template_files)
+ (blockinherit .file.macro_template_lnk_files)
+ (blockinherit .file.spool.mail.base_template))))
diff --git a/src/file/varfile/statefile.cil b/src/file/varfile/statefile.cil
new file mode 100644
index 0000000..bb74d43
--- /dev/null
+++ b/src/file/varfile/statefile.cil
@@ -0,0 +1,42 @@
+;; SPDX-FileCopyrightText: © 2023 Dominick Grift <dominick.grift@defensec.nl>
+;; SPDX-License-Identifier: Unlicense
+
+(block state
+
+ (blockinherit .file.state.template))
+
+(in file
+
+ (block state
+
+ (macro type ((type ARG1))
+ (typeattributeset typeattr ARG1))
+
+ (blockinherit file.all_macro_template_dirs)
+ (blockinherit file.all_macro_template_fifo_files)
+ (blockinherit file.all_macro_template_files)
+ (blockinherit file.all_macro_template_lnk_files)
+ (blockinherit file.all_macro_template_sock_files)
+
+ (typeattribute typeattr)
+
+ (call var.type (typeattr))
+
+ (block base_template
+
+ (blockabstract base_template)
+
+ (blockinherit .file.var.base_template)
+
+ (call .file.state.type (file)))
+
+ (block template
+
+ (blockabstract template)
+
+ (blockinherit .file.macro_template_dirs)
+ (blockinherit .file.macro_template_fifo_files)
+ (blockinherit .file.macro_template_files)
+ (blockinherit .file.macro_template_lnk_files)
+ (blockinherit .file.macro_template_sock_files)
+ (blockinherit .file.state.base_template))))