def AaPtB.access_list

bend-osdev-apparmor@0.1.0.0 · rule_ptrace.bend:52

import Base
import bend-osdev-apparmor@0.1.0.0/token.bend as T
import bend-osdev-apparmor@0.1.0.0/error.bend as E

52def AaPtB.access_list(xs: List<&2, T.AaTerm>, b: AaPtB, +src: E.AaSrc) -> Result<&2, &2, E.AaError, AaPtB>:
53  match xs:
54    case Nil{}:
55      Done{b}
56    case Con{x, rest}:
57      match x:
58        case T.AaTmWord{w}:
59          do Result<&2, &2, E.AaError, AaPtB>:
60            b2 : AaPtB <- AaPtB.perms(AaPtrace.access(w), b, src)
61            AaPtB.access_list(rest, b2, src)
62        case _:
63          Fail{E.AaSrc.syntax(src)}