16cd6a6acSopenharmony_ci(class testing (read open close write exec))
26cd6a6acSopenharmony_ci(class fooclass (read open close write exec))
36cd6a6acSopenharmony_ci
46cd6a6acSopenharmony_ci(category c0)
56cd6a6acSopenharmony_ci(category c1)
66cd6a6acSopenharmony_ci(category c2)
76cd6a6acSopenharmony_ci(category c3)
86cd6a6acSopenharmony_ci(category c4)
96cd6a6acSopenharmony_ci(categoryalias c0 cat)
106cd6a6acSopenharmony_ci(categoryorder (c0 c1 c2 c3 c4))
116cd6a6acSopenharmony_ci(categoryset catset (c0 c2 c3))
126cd6a6acSopenharmony_ci(sensitivity s0)
136cd6a6acSopenharmony_ci(sensitivity s1)
146cd6a6acSopenharmony_ci(sensitivity s2)
156cd6a6acSopenharmony_ci(sensitivity s3)
166cd6a6acSopenharmony_ci(sensitivityalias s3 sens)
176cd6a6acSopenharmony_ci(dominance (s0 s1 s2 s3))
186cd6a6acSopenharmony_ci(sensitivitycategory s0 (c0 c2 c3))
196cd6a6acSopenharmony_ci(sensitivitycategory s0 (cat))
206cd6a6acSopenharmony_ci; the following causes a segfault
216cd6a6acSopenharmony_ci;(sensitivitycategory sens (c2))
226cd6a6acSopenharmony_ci(type foo_t)
236cd6a6acSopenharmony_ci(type typea_t)
246cd6a6acSopenharmony_ci(type typeb_t)
256cd6a6acSopenharmony_ci(type typec_t)
266cd6a6acSopenharmony_ci(role foo_r)
276cd6a6acSopenharmony_ci(role rolea_r)
286cd6a6acSopenharmony_ci(role roleb_r)
296cd6a6acSopenharmony_ci(user foo_u)
306cd6a6acSopenharmony_ci(user user_u)
316cd6a6acSopenharmony_ci(userrole foo_u foo_r)
326cd6a6acSopenharmony_ci(level low (s0 catset))
336cd6a6acSopenharmony_ci(level high (s0 (c0)))
346cd6a6acSopenharmony_ci(level test_l (s0 (cat)))
356cd6a6acSopenharmony_ci
366cd6a6acSopenharmony_ci(sid test_sid)
376cd6a6acSopenharmony_ci(sidcontext test_sid (foo_u foo_r foo_t (s0 (c0)) (s0 (c0))))
386cd6a6acSopenharmony_ci(sid test_sid_anon_l)
396cd6a6acSopenharmony_ci(sidcontext test_sid_anon_l (foo_u foo_r foo_t low high))
406cd6a6acSopenharmony_ci
416cd6a6acSopenharmony_ci(context con (foo_u foo_r foo_t low high))
426cd6a6acSopenharmony_ci(context con_anon_l (foo_u foo_r foo_t (s0 (c0)) high))
436cd6a6acSopenharmony_ci(fsuse xattr ext3 con)
446cd6a6acSopenharmony_ci(fsuse xattr ext3 con_anon_l)
456cd6a6acSopenharmony_ci
466cd6a6acSopenharmony_ci(netifcon eth0 con con_anon_l)
476cd6a6acSopenharmony_ci
486cd6a6acSopenharmony_ci(ipaddr ip_v4 192.25.35.200)
496cd6a6acSopenharmony_ci(ipaddr netmask 192.168.1.1)
506cd6a6acSopenharmony_ci(ipaddr ip_v6 2001:0DB8:AC10:FE01::)
516cd6a6acSopenharmony_ci(ipaddr netmask_v6 2001:0DE0:DA88:2222::)
526cd6a6acSopenharmony_ci; will need anon levels
536cd6a6acSopenharmony_ci(nodecon ip_v4 netmask con)
546cd6a6acSopenharmony_ci(nodecon ip_v6 netmask_v6 con_anon_l)
556cd6a6acSopenharmony_ci
566cd6a6acSopenharmony_ci;needs anon levels
576cd6a6acSopenharmony_ci(portcon type 25 con)
586cd6a6acSopenharmony_ci
596cd6a6acSopenharmony_ci(filecon root path file con)
606cd6a6acSopenharmony_ci
616cd6a6acSopenharmony_ci(genfscon type path con)
626cd6a6acSopenharmony_ci
636cd6a6acSopenharmony_ci(netifcon eth0 con con_anon_l)
646cd6a6acSopenharmony_ci
656cd6a6acSopenharmony_ci(typemember typea_t typeb_t testing typec_t)
666cd6a6acSopenharmony_ci(typechange typea_t typeb_t testing typec_t)
676cd6a6acSopenharmony_ci(typetransition typea_t typeb_t testing typec_t)
686cd6a6acSopenharmony_ci
696cd6a6acSopenharmony_ci(permissionset permset (open close))
706cd6a6acSopenharmony_ci(allow typea_t typeb_t testing (write))
716cd6a6acSopenharmony_ci(allow typea_t typeb_t testing permset)
726cd6a6acSopenharmony_ci
736cd6a6acSopenharmony_ci(roleallow rolea_r roleb_r)
746cd6a6acSopenharmony_ci
756cd6a6acSopenharmony_ci(rolebounds rolea_r roleb_r)
766cd6a6acSopenharmony_ci
776cd6a6acSopenharmony_ci(roletransition foo_r foo_t testing rolea_r)
786cd6a6acSopenharmony_ci
796cd6a6acSopenharmony_ci(level l2 (s0 (c0)))
806cd6a6acSopenharmony_ci(level h2 (s0 (c0)))
816cd6a6acSopenharmony_ci(mlsconstrain (fooclass testing)(open close)(eq l2 h2))
826cd6a6acSopenharmony_ci
836cd6a6acSopenharmony_ci(common fooclass (open))
846cd6a6acSopenharmony_ci(classcommon fooclass fooclass)
856cd6a6acSopenharmony_ci
866cd6a6acSopenharmony_ci(rangetransition typea_t typeb_t fooclass low high)
876cd6a6acSopenharmony_ci
886cd6a6acSopenharmony_ci(nametypetransition string typea_t typeb_t fooclass foo_t)
896cd6a6acSopenharmony_ci
906cd6a6acSopenharmony_ci(typepermissive foo_t)
916cd6a6acSopenharmony_ci
926cd6a6acSopenharmony_ci(typebounds typea_t typeb_t)
936cd6a6acSopenharmony_ci
946cd6a6acSopenharmony_ci(block test_b
956cd6a6acSopenharmony_ci 	(typealias .test_b.test typea_t)
966cd6a6acSopenharmony_ci	(type test))
976cd6a6acSopenharmony_ci
986cd6a6acSopenharmony_ci(attribute attrs)
996cd6a6acSopenharmony_ci(attributetypes attrs (foo_t))
1006cd6a6acSopenharmony_ci
1016cd6a6acSopenharmony_ci(roletype foo_r foo_t)
1026cd6a6acSopenharmony_ci
1036cd6a6acSopenharmony_ci(userbounds user_u foo_u)
1046cd6a6acSopenharmony_ci
1056cd6a6acSopenharmony_ci(userrole user_u foo_r)
1066cd6a6acSopenharmony_ci
1076cd6a6acSopenharmony_ci(bool foo_b true)
1086cd6a6acSopenharmony_ci(bool baz_b false)
1096cd6a6acSopenharmony_ci(booleanif (&& foo_b baz_b)
1106cd6a6acSopenharmony_ci 	(allow typea_t typeb_t fooclass(read)))
1116cd6a6acSopenharmony_ci;(class baz (read))
1126cd6a6acSopenharmony_ci;(booleanif (&& foo_b baz_b)
1136cd6a6acSopenharmony_ci;	(allow foo_b baz_b fooclass (read)))
1146cd6a6acSopenharmony_ci
1156cd6a6acSopenharmony_ci
116