def AaDbB.access_list

bend-osdev-apparmor@0.1.0.0 · rule_dbus.bend:113

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

113def AaDbB.access_list(xs: List<&2, T.AaTerm>, b: AaDbB, +src: E.AaSrc) -> Result<&2, &2, E.AaError, AaDbB>:
114  match xs:
115    case Nil{}:
116      Done{b}
117    case Con{x, rest}:
118      match x:
119        case T.AaTmWord{w}:
120          do Result<&2, &2, E.AaError, AaDbB>:
121            b2 : AaDbB <- AaDbB.perms(AaDbus.access(w), b, src)
122            AaDbB.access_list(rest, b2, src)
123        case _:
124          Fail{E.AaSrc.syntax(src)}