def AaPtrace.parse.q

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

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

107def AaPtrace.parse.q(r: Result<&2, &2, E.AaError, P.AaQual>, ts: List<&2, T.AaTerm>, +src: E.AaSrc) -> Result<&2, &2, E.AaError, AaPtraceRule>:
108  match r:
109    case Fail{e}:
110      Fail{e}
111    case Done{q}:
112      do Result<&2, &2, E.AaError, AaPtraceRule>:
113        b : AaPtB <- AaPtB.run(ts, AaPtB{None{}, None{}}, src)
114        return AaPtB.finish(q, b)