def AaQ.parse

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

import Base
import bend-osdev-apparmor@0.1.0.0/token.bend as T

1031# the leading qualifiers of a rule's terms, and the terms after them
1032def AaQ.parse(ts: List<&2, T.AaTerm>, +stage: Nat, +q: AaBQ) -> AaQP:
1033  match ts:
1034    case Nil{}:
1035      AaQP{q, Nil{}}
1036    case Con{+t, +rest}:
1037      +k = AaQ.kind(t)
1038      AaQ.parse.go(k, t, rest, stage, q, AaQ.parse(rest, AaQ.stage(k), AaQ.add(q, k)))