def AaRule.no_owner

bend-osdev-apparmor@0.1.0.0 · rule.bend:143

import Base
import bend-osdev-apparmor@0.1.0.0/error.bend as E
import bend-osdev-apparmor@0.1.0.0/perm.bend as P

143# the qualifiers of a rule kind that does not take owner
144def AaRule.no_owner(q: P.AaQual, src: E.AaSrc) -> Result<&2, &2, E.AaError, P.AaQual>:
145  match q:
146    case P.AaQual{a, d, o}:
147      match o:
148        case True{}:
149          Fail{E.AaSrc.syntax(src)}
150        case False{}:
151          Done{P.AaQual{a, d, False{}}}