~/jendhub

def AaSignal.access

bend-osdev-apparmor@0.1.0.0 · rule_signal.bend:61

import bend-osdev-apparmor@0.1.0.0/rule_signal.bend as RuleSignal
import Base
import bend-osdev-apparmor@0.1.0.0/text.bend as X
import bend-osdev-apparmor@0.1.0.0/perm.bend as P

61# the bits of an access word
62def AaSignal.access(+w: List<&2, U32>) -> Maybe<&2, P.AaPerms>:
63  Bool.pick(Maybe<&2, P.AaPerms>, Bool.or(X.AaText.is(w, "send"), Bool.or(X.AaText.is(w, "w"), X.AaText.is(w, "write"))), Some{P.AaPerms.bit(0n)}, Bool.pick(Maybe<&2, P.AaPerms>, Bool.or(X.AaText.is(w, "receive"), Bool.or(X.AaText.is(w, "r"), X.AaText.is(w, "read"))), Some{P.AaPerms.bit(1n)}, Bool.pick(Maybe<&2, P.AaPerms>, X.AaText.is(w, "rw"), Some{P.AaPerms.of_bits([True{}, True{}])}, None{})))

Uses (10)

Used by (2)