def AaFile.rooted.go

bend-osdev-apparmor@0.1.0.0 · rule_file.bend:344

import Base
import bend-osdev-apparmor@0.1.0.0/glob.bend as G

344# every alternative of a rule's pattern starts with '/'
345def AaFile.rooted.go(alts: List<&2, List<&2, G.AaGTok>>) -> Bool:
346  match alts:
347    case Nil{}:
348      True{}
349    case Con{a, t}:
350      match a:
351        case Nil{}:
352          False{}
353        case Con{tok, r}:
354          match tok:
355            case G.AaGChar{c}:
356              Bool.and(U32.is_eq(c, 47), AaFile.rooted.go(t))
357            case _:
358              False{}