def AaChangeRule.matches

bend-osdev-apparmor@0.1.0.0 · rule_change_profile.bend:169

import Base
import bend-osdev-apparmor@0.1.0.0/rule.bend as R

169def AaChangeRule.matches(r: AaChangeRule, q: AaChangeQuery) -> Bool:
170  match r:
171    case AaChangeRule{qu, e, s, tg}:
172      match q:
173        case AaChangeQuery{qe, qt}:
174          Bool.and(AaChange.exec_ok(e, qe), R.AaRule.opt_match(tg, qt))