12dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley######################################## 22dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley# 32dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley# gen_cats(N) 42dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley# 52dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley# declares categores c0 to c(N-1) 62dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley# 72dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalleydefine(`decl_cats',`dnl 82dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalleycategory c$1; 92dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalleyifelse(`$1',`$2',,`decl_cats(incr($1),$2)')dnl 102dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley') 112dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley 122dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalleydefine(`gen_cats',`decl_cats(0,decr($1))') 132dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley 142dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley######################################## 152dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley# 162dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley# gen_sens(N) 172dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley# 182dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley# declares sensitivites s0 to s(N-1) with dominance 192dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley# in increasing numeric order with s0 lowest, s(N-1) highest 202dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley# 212dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalleydefine(`decl_sens',`dnl 222dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalleysensitivity s$1; 232dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalleyifelse(`$1',`$2',,`decl_sens(incr($1),$2)')dnl 242dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley') 252dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley 262dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalleydefine(`gen_dominance',`s$1 ifelse(`$1',`$2',,`gen_dominance(incr($1),$2)')') 272dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley 282dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalleydefine(`gen_sens',` 292dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley# Each sensitivity has a name and zero or more aliases. 302dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalleydecl_sens(0,decr($1)) 312dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley 322dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley# Define the ordering of the sensitivity levels (least to greatest) 332dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalleydominance { gen_dominance(0,decr($1)) } 342dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley') 352dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley 362dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley######################################## 372dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley# 382dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley# gen_levels(N,M) 392dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley# 402dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley# levels from s0 to (N-1) with categories c0 to (M-1) 412dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley# 422dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalleydefine(`decl_levels',`dnl 432dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalleylevel s$1:c0.c$3; 442dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalleyifelse(`$1',`$2',,`decl_levels(incr($1),$2,$3)')dnl 452dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley') 462dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley 472dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalleydefine(`gen_levels',`decl_levels(0,decr($1),decr($2))') 482dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley 492dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley######################################## 502dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley# 512dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley# Basic level names for system low and high 522dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalley# 532dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalleydefine(`mls_systemlow',`s0') 542dd4e51d5c2a2dfc0bfdee9303269f5a665f6e3Stephen Smalleydefine(`mls_systemhigh',`s`'decr(mls_num_sens):c0.c`'decr(mls_num_cats)') 55