def AaFl.step

bend-osdev-apparmor@0.1.0.0 · parse.bend:1276

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

1276# kill.signal=SIGNAL and attach_disconnected.path=PATH are accepted and not modelled
1277def AaFl.step(t: T.AaTerm, +b: AaFlB, +src: E.AaSrc) -> Result<&2, &2, E.AaError, AaFlB>:
1278  match t:
1279    case T.AaTmWord{+w}:
1280      AaFl.word.mode(AaFl.mode_of(w), w, b, src)
1281    case T.AaTmCond{+k, v}:
1282      Bool.pick(Result<&2, &2, E.AaError, AaFlB>, Bool.or(X.AaText.is(k, "kill.signal"), X.AaText.is(k, "attach_disconnected.path")), Done{b}, Fail{E.AaSrc.flag(src)})
1283    case _:
1284      Fail{E.AaSrc.flag(src)}