law include_idempotent_change_profile

bend-osdev-apparmor@0.1.0.0 · LAWS.bend:176

import Base
import bend-osdev-apparmor@0.1.0.0/options.bend as O
import bend-osdev-apparmor@0.1.0.0/profile.bend as PR
import bend-osdev-apparmor@0.1.0.0/eval.bend as V
import bend-osdev-apparmor@0.1.0.0/rule_change_profile.bend as RX

176law include_idempotent_change_profile:
177  for opts: O.AaOptions
178  for p: PR.AaProfile
179  for r: PR.AaRules
180  for q: RX.AaChangeQuery
181  {V.AaEval.change_profile(opts, PR.AaProfile.include(PR.AaProfile.include(p, r), r), q) == V.AaEval.change_profile(opts, PR.AaProfile.include(p, r), q) : V.AaDecision}