def AaTrans.exec.pick

bend-osdev-apparmor@0.1.0.0 · transitions.bend:289

import Base
import bend-osdev-apparmor@0.1.0.0/profile.bend as PR
import bend-osdev-apparmor@0.1.0.0/eval.bend as V

289def AaTrans.exec.pick(k: AaXPick, pol: PR.AaPolicy, p: PR.AaProfile, pname: List<&2, U32>, path: List<&2, U32>, d: V.AaDecision) -> AaExecResult:
290  match k:
291    case AaXNone{}:
292      AaExecOk{AaTStay{}, False{}, d}
293    case AaXOne{sel}:
294      AaTrans.apply(sel, pol, p, pname, path, d)
295    case AaXClash{}:
296      AaExecErr{AaExecConflict{}}