def AaFile.all

bend-osdev-apparmor@0.1.0.0 · rule_file.bend:403

import Base
import bend-osdev-apparmor@0.1.0.0/glob.bend as G
import bend-osdev-apparmor@0.1.0.0/perm.bend as P

403# `file,` alone: every path, every permission (an allow rule grants
404# r w a l k m and ix; a deny rule denies all of them and x)
405def AaFile.all(q: P.AaQual) -> AaFileRule:
406  match q:
407    case P.AaQual{a, +d, o}:
408      AaFileRule{P.AaQual{a, d, o}, Nil{}, G.AaGlob.all(), P.AaPerms.of_bits([True{}, True{}, True{}, True{}, True{}, True{}, True{}]), Bool.pick(Maybe<&2, AaXMode>, d, None{}, Some{AaXIx{}}), None{}}