def SeccompAction.rank

bend-osdev-bpf@0.1.0.0 · seccomp.bend:140

import Base

140# the precedence: 0 for KILL_PROCESS, the most restrictive, to 7 for ALLOW
141def SeccompAction.rank(a: SeccompAction) -> Nat:
142  match a:
143    case SeccompKillProcess{}:
144      0n
145    case SeccompKillThread{}:
146      1n
147    case SeccompTrap{d}:
148      2n
149    case SeccompErrno{d}:
150      3n
151    case SeccompUserNotif{}:
152      4n
153    case SeccompTrace{d}:
154      5n
155    case SeccompLog{}:
156      6n
157    case SeccompAllow{}:
158      7n