Lines Matching refs:allow

14 (allow TYPE self (CLASS (PERM)))
27 (allow t0 self (CLASS (PERM1)))
28 (allow .t0 self (CLASS (PERM2)))
34   (allow t1a self (CLASS (PERM)))
35   (allow b1b.t1b self (CLASS (PERM)))
38     (allow t1a self (CLASS (PERM1)))
39     (allow t1b self (CLASS (PERM1)))
40     (allow .b1a.t1a self (CLASS (PERM2)))
41     (allow .b1a.b1b.t1b self (CLASS (PERM2)))
44 (allow b1a.t1a self (CLASS (PERM3)))
45 (allow b1a.b1b.t1b self (CLASS (PERM3)))
46 (allow .b1a.t1a self (CLASS (PERM4)))
47 (allow .b1a.b1b.t1b self (CLASS (PERM4)))
53   (allow t self (CLASS (PERM)))
62     (allow t3 self (CLASS (PERM)))
72       (allow t4 self (CLASS (PERM)))
86     (allow t5a self (CLASS (PERM1)))
93   (allow t5a self (CLASS (PERM2)))
100     (allow t6a self (CLASS (PERM1)))
106   ;;(allow t6a self (CLASS (PERM2))) ;; This causes an error
114     (allow t self (CLASS (PERM)))
116   (allow t self (CLASS (PERM1)))
119     (allow t self (CLASS (PERM2)))
122       (allow t self (CLASS (PERM3)))
135     (allow t8a self (CLASS (PERM1)))
137   ;;(allow o8a.t8a self (CLASS (PERM))) ;; Bad name
139     (allow t self (CLASS (PERM1)))
141   ;;(allow m8.t self (CLASS (PERM))) ;; Bad name
160 ;;   allow t0 t0 : CLASS { PERM1 PERM2 };
161 ;;   allow b1a.b1b.t1b b1a.b1b.t1b : CLASS { PERM PERM1 PERM2 PERM3 PERM4 };
162 ;;   allow b1a.t1a b1a.t1a : CLASS { PERM PERM1 PERM2 PERM3 PERM4 };
163 ;;   allow t2 t2 : CLASS { PERM };
164 ;;   allow b3.t3 b3.t3 : CLASS { PERM };
165 ;;   allow b4.b4b.t4 b4.b4b.t4 : CLASS { PERM };
166 ;;   allow b5a.t5a b5a.t5a : CLASS { PERM1 };
167 ;;   allow b5c.t5a b5c.t5a : CLASS { PERM1 PERM2 };
168 ;;   allow b6a.t6a b6a.t6a : CLASS { PERM1 };
169 ;;   allow b7.b7a.b7b.t b7.b7a.b7b.t : CLASS { PERM PERM3 };
170 ;;   allow b7.b7a.t b7.b7a.t : CLASS { PERM2 };
171 ;;   allow b7.t b7.t : CLASS { PERM1 };
172 ;;   allow b8.t8a b8.t8a : CLASS { PERM1 };