;; SPDX-FileCopyrightText: M-BM-) 2025 Dominick Grift <dominick.grift@defensec.nl>
;; SPDX-License-Identifier: Unlicense

(block dev
    (macro type ((type ARG1))
	(typeattributeset typeattr ARG1))

    (macro root_file_type_transition_file ((type ARG1))
        (call .root.file_type_transition
	    (ARG1 file dir "dev")))
    
    (blockinherit .file.all_macro_template_blk_files)
    (blockinherit .file.all_macro_template_chr_files)

    (typeattribute typeattr)

    (call .obj.type (typeattr))

    (call .devtmp.associate_fs (typeattr))
    (call .tmp.associate_fs (typeattr))
    (call .tmp.associate_fs (file))
    (call .xattr.associate_fs (file))
    
    (filecon "/dev" dir file_context)
    (filecon "/dev/.*" block file_context)
    (filecon "/dev/.*" char file_context)
    (filecon "/dev/.*" dir file_context)
    (filecon "/dev/.*" file file_context)
    (filecon "/dev/.*" pipe file_context)
    (filecon "/dev/.*" socket file_context)
    (filecon "/dev/.*" symlink file_context)    

    (block except

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

	(blockinherit .file.all_macro_template_blk_files)
	(blockinherit .file.all_macro_template_chr_files)

	(typeattribute typeattr)

	(typeattributeset typeattr (and dev.typeattr (not (exception.typeattr)))))

    (block exception

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

	(typeattribute typeattr)

	(call dev.type (typeattr)))

    (block unconfined

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

	(typeattribute typeattr)))

(in unconfined

    (call .dev.unconfined.type (typeattr)))