diff options
Diffstat (limited to 'src/misc/obj.cil')
-rw-r--r-- | src/misc/obj.cil | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/misc/obj.cil b/src/misc/obj.cil new file mode 100644 index 0000000..1611462 --- /dev/null +++ b/src/misc/obj.cil @@ -0,0 +1,16 @@ +;; SPDX-FileCopyrightText: © 2023 Dominick Grift <dominick.grift@defensec.nl> +;; SPDX-License-Identifier: Unlicense + +(block obj + + (macro role ((role ARG1)) + (roleattributeset roleattr ARG1)) + + (macro type ((type ARG1)) + (typeattributeset typeattr ARG1)) + + (roleattribute roleattr) + + (typeattribute typeattr) + + (roletype roleattr typeattr)) |