def AaGNfa.adv

bend-osdev-apparmor@0.1.0.0 · glob.bend:133

import Base

133# a single-byte token moves past a byte it takes
134def AaGNfa.adv(tok: AaGTok, +h: U32) -> Bool:
135  match tok:
136    case AaGChar{c}:
137      U32.is_eq(h, c)
138    case AaGAny{}:
139      U32.is_ne(h, 47)
140    case AaGClass{n, rs}:
141      AaGClass.has(n, rs, h)
142    case _:
143      False{}