16cd6a6acSopenharmony_ci(class CLASS (PERM))
26cd6a6acSopenharmony_ci(classorder (CLASS))
36cd6a6acSopenharmony_ci(sid SID)
46cd6a6acSopenharmony_ci(sidorder (SID))
56cd6a6acSopenharmony_ci(user USER)
66cd6a6acSopenharmony_ci(role ROLE)
76cd6a6acSopenharmony_ci(type TYPE)
86cd6a6acSopenharmony_ci(category CAT)
96cd6a6acSopenharmony_ci(categoryorder (CAT))
106cd6a6acSopenharmony_ci(sensitivity SENS)
116cd6a6acSopenharmony_ci(sensitivityorder (SENS))
126cd6a6acSopenharmony_ci(sensitivitycategory SENS (CAT))
136cd6a6acSopenharmony_ci(allow TYPE self (CLASS (PERM)))
146cd6a6acSopenharmony_ci(roletype ROLE TYPE)
156cd6a6acSopenharmony_ci(userrole USER ROLE)
166cd6a6acSopenharmony_ci(userlevel USER (SENS))
176cd6a6acSopenharmony_ci(userrange USER ((SENS)(SENS (CAT))))
186cd6a6acSopenharmony_ci(sidcontext SID (USER ROLE TYPE ((SENS)(SENS))))
196cd6a6acSopenharmony_ci
206cd6a6acSopenharmony_ci(class c1 (p1a p1b p1c))
216cd6a6acSopenharmony_ci(class c2 (p2a p2b p2c))
226cd6a6acSopenharmony_ci(class c3 (p3a p3b p3c))
236cd6a6acSopenharmony_ci
246cd6a6acSopenharmony_ci(classorder (CLASS c1 c2 c3))
256cd6a6acSopenharmony_ci
266cd6a6acSopenharmony_ci(classpermission cp1)
276cd6a6acSopenharmony_ci(classpermissionset cp1 (c1 (p1a p1b)))
286cd6a6acSopenharmony_ci(classpermissionset cp1 (c2 (p2a)))
296cd6a6acSopenharmony_ci
306cd6a6acSopenharmony_ci(classmap cm1 (mp1))
316cd6a6acSopenharmony_ci(classmapping cm1 mp1
326cd6a6acSopenharmony_ci	      (c1 (p1a)))
336cd6a6acSopenharmony_ci
346cd6a6acSopenharmony_ci(type t1)
356cd6a6acSopenharmony_ci(type t2)
366cd6a6acSopenharmony_ci(type t3)
376cd6a6acSopenharmony_ci(type t4)
386cd6a6acSopenharmony_ci(type t5)
396cd6a6acSopenharmony_ci(type t6)
406cd6a6acSopenharmony_ci(type t7)
416cd6a6acSopenharmony_ci
426cd6a6acSopenharmony_ci(typeattribute a1)
436cd6a6acSopenharmony_ci(typeattribute a2)
446cd6a6acSopenharmony_ci(typeattribute a3)
456cd6a6acSopenharmony_ci(typeattribute a4)
466cd6a6acSopenharmony_ci(typeattribute a5)
476cd6a6acSopenharmony_ci(typeattribute a6)
486cd6a6acSopenharmony_ci
496cd6a6acSopenharmony_ci(typeattributeset a1 (t1 t2 t3 t4 t5))
506cd6a6acSopenharmony_ci(typeattributeset a2 (t1 t2))
516cd6a6acSopenharmony_ci(typeattributeset a3 (t3 t4))
526cd6a6acSopenharmony_ci(typeattributeset a4 (t2 t3))
536cd6a6acSopenharmony_ci(typeattributeset a5 (t5 t6))
546cd6a6acSopenharmony_ci(typeattributeset a6 (t6 t7))
556cd6a6acSopenharmony_ci
566cd6a6acSopenharmony_ci(neverallow t1 t2 (c1 (p1a p1b)))
576cd6a6acSopenharmony_ci(allow t1 t2 (c1 (p1a)))
586cd6a6acSopenharmony_ci
596cd6a6acSopenharmony_ci(neverallow t3 t4 (cm1 (mp1)))
606cd6a6acSopenharmony_ci(allow t3 t4 (c1 (p1a)))
616cd6a6acSopenharmony_ci
626cd6a6acSopenharmony_ci(neverallow t5 t6 cp1)
636cd6a6acSopenharmony_ci(allow t5 t6 (c1 (p1b)))
646cd6a6acSopenharmony_ci(allow t5 t6 (c2 (p2a)))
656cd6a6acSopenharmony_ci
666cd6a6acSopenharmony_ci(neverallow a1 self (CLASS (PERM)))
676cd6a6acSopenharmony_ci(allow t1 t1 (CLASS (PERM)))
686cd6a6acSopenharmony_ci(allow t2 self (CLASS (PERM)))
696cd6a6acSopenharmony_ci(allow a3 self (CLASS (PERM)))
706cd6a6acSopenharmony_ci(allow a2 a4 (CLASS (PERM)))
716cd6a6acSopenharmony_ci
726cd6a6acSopenharmony_ci(neverallow a5 a6 (CLASS (PERM)))
736cd6a6acSopenharmony_ci(allow t5 t7 (CLASS (PERM)))
746cd6a6acSopenharmony_ci(allow t6 self (CLASS (PERM)))
756cd6a6acSopenharmony_ci
766cd6a6acSopenharmony_ci;; Should not call these violations
776cd6a6acSopenharmony_ci(allow a1 self (c1 (p1a)))
786cd6a6acSopenharmony_ci(allow a2 a3 (CLASS (PERM)))
796cd6a6acSopenharmony_ci(allow t5 t6 (c2 (p2b)))
80