def AaParse.stmt

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

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
import bend-osdev-apparmor@0.1.0.0/profile.bend as PR

1231# a statement inside a profile: its rules
1232def AaParse.stmt(ts: List<&2, T.AaTok>, +block: AaBQ, +pname: List<&2, U32>, +ctx: AaCtx, +src: E.AaSrc) -> Result<&2, &2, E.AaError, PR.AaRules>:
1233  do Result<&2, &2, E.AaError, PR.AaRules>:
1234    xs : List<&2, T.AaTok> <- AaVars.toks(ts, AaCtx.env(ctx), Some{pname}, src)
1235    terms : List<&2, T.AaTerm> <- AaParse.terms(T.AaTerm.of_toks(xs), src)
1236    AaParse.rule.qual(AaQ.parse(terms, 0n, AaBQ.none()), block, AaCtx.aliases(ctx), src)