16cd6a6acSopenharmony_ci;; Test anonymous args
26cd6a6acSopenharmony_ci
36cd6a6acSopenharmony_ci(mls true)
46cd6a6acSopenharmony_ci(class CLASS (PERM))
56cd6a6acSopenharmony_ci(classorder (CLASS))
66cd6a6acSopenharmony_ci(sid SID)
76cd6a6acSopenharmony_ci(sidorder (SID))
86cd6a6acSopenharmony_ci(user USER)
96cd6a6acSopenharmony_ci(role ROLE)
106cd6a6acSopenharmony_ci(type TYPE)
116cd6a6acSopenharmony_ci(category CAT)
126cd6a6acSopenharmony_ci(categoryorder (CAT))
136cd6a6acSopenharmony_ci(sensitivity SENS)
146cd6a6acSopenharmony_ci(sensitivityorder (SENS))
156cd6a6acSopenharmony_ci(sensitivitycategory SENS (CAT))
166cd6a6acSopenharmony_ci(allow TYPE self (CLASS (PERM)))
176cd6a6acSopenharmony_ci(roletype ROLE TYPE)
186cd6a6acSopenharmony_ci(userrole USER ROLE)
196cd6a6acSopenharmony_ci(userlevel USER (SENS))
206cd6a6acSopenharmony_ci(userrange USER ((SENS)(SENS (CAT))))
216cd6a6acSopenharmony_ci(sidcontext SID (USER ROLE TYPE ((SENS)(SENS))))
226cd6a6acSopenharmony_ci
236cd6a6acSopenharmony_ci(category c0)
246cd6a6acSopenharmony_ci(category c1)
256cd6a6acSopenharmony_ci(category c2)
266cd6a6acSopenharmony_ci(category c3)
276cd6a6acSopenharmony_ci(categoryorder (CAT c0 c1 c2 c3))
286cd6a6acSopenharmony_ci(categoryset cs01 (c0 c1))
296cd6a6acSopenharmony_ci(categoryset cs03 (range c0 c3))
306cd6a6acSopenharmony_ci
316cd6a6acSopenharmony_ci(sensitivity s0)
326cd6a6acSopenharmony_ci(sensitivity s1)
336cd6a6acSopenharmony_ci(sensitivity s2)
346cd6a6acSopenharmony_ci(sensitivity s3)
356cd6a6acSopenharmony_ci(sensitivityorder (SENS s0 s1 s2 s3))
366cd6a6acSopenharmony_ci
376cd6a6acSopenharmony_ci(sensitivitycategory s0 (cs01 c2 c3))
386cd6a6acSopenharmony_ci(sensitivitycategory s1 (c0 c1 c2 c3))
396cd6a6acSopenharmony_ci(sensitivitycategory s2 (c0 c1 c2 c3))
406cd6a6acSopenharmony_ci(sensitivitycategory s3 (range c0 c3))
416cd6a6acSopenharmony_ci
426cd6a6acSopenharmony_ci(level lvl (s0 (c0)))
436cd6a6acSopenharmony_ci(level lvl0 (s0))
446cd6a6acSopenharmony_ci(level lvl3 (s3 (range c0 c3)))
456cd6a6acSopenharmony_ci
466cd6a6acSopenharmony_ci(levelrange rng ((s0) (s3 (c0 c1 c2 c3))))
476cd6a6acSopenharmony_ci
486cd6a6acSopenharmony_ci(user u1)
496cd6a6acSopenharmony_ci(user u2)
506cd6a6acSopenharmony_ci(user u3)
516cd6a6acSopenharmony_ci(user u4)
526cd6a6acSopenharmony_ci
536cd6a6acSopenharmony_ci(userrole u1 ROLE)
546cd6a6acSopenharmony_ci(userrole u2 ROLE)
556cd6a6acSopenharmony_ci(userrole u3 ROLE)
566cd6a6acSopenharmony_ci(userrole u4 ROLE)
576cd6a6acSopenharmony_ci
586cd6a6acSopenharmony_ci; Test categoryset
596cd6a6acSopenharmony_ci(macro m1 ((user u)(sensitivity s)(categoryset cs))
606cd6a6acSopenharmony_ci  (userlevel u (s (cs)))
616cd6a6acSopenharmony_ci)
626cd6a6acSopenharmony_ci(call m1 (u1 s1 (c0 c1)))
636cd6a6acSopenharmony_ci(call m1 (u2 s2 cs01))
646cd6a6acSopenharmony_ci
656cd6a6acSopenharmony_ci; Test level
666cd6a6acSopenharmony_ci(macro m2 ((user u)(level l))
676cd6a6acSopenharmony_ci  (userlevel u l)
686cd6a6acSopenharmony_ci)
696cd6a6acSopenharmony_ci(call m2 (u3 (s3 (c2))))
706cd6a6acSopenharmony_ci(call m2 (u4 lvl))
716cd6a6acSopenharmony_ci
726cd6a6acSopenharmony_ci; Test levelrange
736cd6a6acSopenharmony_ci(macro m3 ((user u)(levelrange lr))
746cd6a6acSopenharmony_ci  (userrange u lr)
756cd6a6acSopenharmony_ci)
766cd6a6acSopenharmony_ci(call m3 (u1 ((s0) (s3 (range c0 c3)))))
776cd6a6acSopenharmony_ci(call m3 (u2 (lvl0 (s3 (cs03)))))
786cd6a6acSopenharmony_ci(call m3 (u3 (lvl0 lvl3)))
796cd6a6acSopenharmony_ci(call m3 (u4 rng))
806cd6a6acSopenharmony_ci
816cd6a6acSopenharmony_ci; Test ipaddr
826cd6a6acSopenharmony_ci(macro m4 ((user u)(ipaddr nm)(ipaddr ip))
836cd6a6acSopenharmony_ci  (nodecon ip nm (u ROLE TYPE ((s0) (s0))))
846cd6a6acSopenharmony_ci)
856cd6a6acSopenharmony_ci(ipaddr nm1 255.255.255.0)
866cd6a6acSopenharmony_ci(ipaddr ip4 1.2.3.4)
876cd6a6acSopenharmony_ci(call m4 (u1 nm1 192.25.35.200))
886cd6a6acSopenharmony_ci(call m4 (u2 255.255.255.0 ip4))
896cd6a6acSopenharmony_ci
906cd6a6acSopenharmony_ci; Test classpermission
916cd6a6acSopenharmony_ci(type t1)
926cd6a6acSopenharmony_ci(type t2)
936cd6a6acSopenharmony_ci(type t3)
946cd6a6acSopenharmony_ci
956cd6a6acSopenharmony_ci(classpermission cp1)
966cd6a6acSopenharmony_ci(classpermissionset cp1 (CLASS (PERM)))
976cd6a6acSopenharmony_ci
986cd6a6acSopenharmony_ci(classmap cm1 (cm1p))
996cd6a6acSopenharmony_ci(classmapping cm1 cm1p (CLASS (PERM)))
1006cd6a6acSopenharmony_ci
1016cd6a6acSopenharmony_ci(macro m5 ((type t)(classpermission cp))
1026cd6a6acSopenharmony_ci  (allow t self cp)
1036cd6a6acSopenharmony_ci)
1046cd6a6acSopenharmony_ci(call m5 (t1 (CLASS (PERM))))
1056cd6a6acSopenharmony_ci(call m5 (t2 cp1))
1066cd6a6acSopenharmony_ci(call m5 (t3 (cm1 (cm1p))))
107