def AaPre.step
bend-osdev-apparmor@0.1.0.0 · parse.bend:929
import bend-osdev-apparmor@0.1.0.0/parse.bend as Parse
import Base
929def AaPre.step(+p: AaPre, it: AaItem) -> AaPre:
930 match it:
931 case AaIVar{ts, src}:
932 AaPre.var(Bool.and(Nat.is_eq(AaPre.depth(p), 0n), Bool.not(AaPre.started(p))), ts, p, src)
933 case AaIStmt{ts, src}:
934 AaPre.stmt(AaPre.depth(p), ts, p, src)
935 case AaIOpen{ts, src}:
936 AaPre.open(p)
937 case AaIClose{src}:
938 AaPre.close(p, src)
939 case AaIInclude{n, o, src}:
940 p
941 case AaIError{e}:
942 AaPre.fail(p, e)