def AaMtB.finish

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

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

215# mount: source and mountpoint; remount, umount: one path, the mountpoint, and no arrow
216def AaMtB.finish(+op: AaMountOp, q: P.AaQual, b: AaMtB, src: E.AaSrc) -> Result<&2, &2, E.AaError, AaMountRule>:
217  match b:
218    case AaMtB{pe, fs, os, p1, ar, p2}:
219      match pe:
220        case 0n:
221          AaMtB.finish.go(AaMountOp.is_mount(op), ar, op, q, fs, os, p1, p2, src)
222        case 1n+x:
223          Fail{E.AaSrc.syntax(src)}