def AaMtB.finish.go

bend-osdev-apparmor@0.1.0.0 · rule_mount.bend:204

import bend-osdev-apparmor@0.1.0.0/rule_mount.bend as RuleMount
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
import bend-osdev-apparmor@0.1.0.0/error.bend as E

204def AaMtB.finish.go(m: Bool, ar: Bool, op: AaMountOp, q: P.AaQual, fs: Maybe<&2, List<&2, G.AaGlob>>, os: List<&2, AaMountOpts>, p1: Maybe<&2, G.AaGlob>, p2: Maybe<&2, G.AaGlob>, src: E.AaSrc) -> Result<&2, &2, E.AaError, AaMountRule>:
205  match m:
206    case True{}:
207      Done{AaMountRule{q, op, fs, os, p1, p2}}
208    case False{}:
209      match ar:
210        case True{}:
211          Fail{E.AaSrc.syntax(src)}
212        case False{}:
213          Done{AaMountRule{q, op, fs, os, None{}, p1}}

Uses (12)

Used by (1)