summaryrefslogtreecommitdiff
path: root/src/file/datafile/libfile.cil
blob: 4730264501cfe3d4221250e7a08cb556e45b3376 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
;; SPDX-FileCopyrightText: © 2023 Dominick Grift <dominick.grift@defensec.nl>
;; SPDX-License-Identifier: Unlicense

(block lib

  (blockinherit .file.lib.template)
  (blockinherit .file.macro_template_dirs)
  (blockinherit .file.macro_template_lnk_files))

(block textrel

  (block lib

    (macro execmod_file_files ((type ARG1))
	   (allow ARG1 file (file (execmod))))

    (blockinherit .file.lib.template)))

(in file

    (block lib

      (macro map_all_files ((type ARG1))
	     (allow ARG1 typeattr (file (map))))

      (macro type ((type ARG1))
	     (typeattributeset typeattr ARG1))

      (blockinherit file.all_macro_template_files)

      (typeattribute typeattr)

      (call data.type (typeattr))

      (block base_template

	(blockabstract base_template)

	(blockinherit .file.base_template)

	(call .file.lib.type (file)))

      (block template

	(blockabstract template)

	(macro map_file_files ((type ARG1))
	       (allow ARG1 file (file (map))))

	(blockinherit .file.lib.base_template)
	(blockinherit .file.macro_template_files))))