1255e72915d4cbddceb435e13d81601755714e9fSE Androidclass security
2255e72915d4cbddceb435e13d81601755714e9fSE Androidclass file
3255e72915d4cbddceb435e13d81601755714e9fSE Android
4255e72915d4cbddceb435e13d81601755714e9fSE Androidsid kernel
5255e72915d4cbddceb435e13d81601755714e9fSE Android
6255e72915d4cbddceb435e13d81601755714e9fSE Androidcommon file
7255e72915d4cbddceb435e13d81601755714e9fSE Android{
8255e72915d4cbddceb435e13d81601755714e9fSE Android	read
9255e72915d4cbddceb435e13d81601755714e9fSE Android}
10255e72915d4cbddceb435e13d81601755714e9fSE Android
11255e72915d4cbddceb435e13d81601755714e9fSE Androidclass file
12255e72915d4cbddceb435e13d81601755714e9fSE Androidinherits file
13255e72915d4cbddceb435e13d81601755714e9fSE Android{
14255e72915d4cbddceb435e13d81601755714e9fSE Android	entrypoint
15255e72915d4cbddceb435e13d81601755714e9fSE Android}
16255e72915d4cbddceb435e13d81601755714e9fSE Android
17255e72915d4cbddceb435e13d81601755714e9fSE Androidclass security
18255e72915d4cbddceb435e13d81601755714e9fSE Android{
19255e72915d4cbddceb435e13d81601755714e9fSE Android	compute_av
20255e72915d4cbddceb435e13d81601755714e9fSE Android}
21255e72915d4cbddceb435e13d81601755714e9fSE Android
22255e72915d4cbddceb435e13d81601755714e9fSE Androidifdef(`enable_mls',`
23255e72915d4cbddceb435e13d81601755714e9fSE Androidsensitivity s0;
24255e72915d4cbddceb435e13d81601755714e9fSE Android
25255e72915d4cbddceb435e13d81601755714e9fSE Androiddominance { s0 }
26255e72915d4cbddceb435e13d81601755714e9fSE Android
27255e72915d4cbddceb435e13d81601755714e9fSE Androidcategory c0;
28255e72915d4cbddceb435e13d81601755714e9fSE Android
29255e72915d4cbddceb435e13d81601755714e9fSE Androidlevel s0:c0;
30255e72915d4cbddceb435e13d81601755714e9fSE Android
31255e72915d4cbddceb435e13d81601755714e9fSE Androidmlsconstrain file { read }
32255e72915d4cbddceb435e13d81601755714e9fSE Android	( h1 dom h2 );
33255e72915d4cbddceb435e13d81601755714e9fSE Android')
34255e72915d4cbddceb435e13d81601755714e9fSE Android
35255e72915d4cbddceb435e13d81601755714e9fSE Androidattribute myattr;
36255e72915d4cbddceb435e13d81601755714e9fSE Androidtype mytype_t;
37255e72915d4cbddceb435e13d81601755714e9fSE Androidrole myrole_r types mytype_t;
38255e72915d4cbddceb435e13d81601755714e9fSE Androidbool mybool true;
39255e72915d4cbddceb435e13d81601755714e9fSE Androidgen_user(myuser_u,, myrole_r, s0, s0 - s0:c0)
40255e72915d4cbddceb435e13d81601755714e9fSE Android
41255e72915d4cbddceb435e13d81601755714e9fSE Androidsid kernel	gen_context(myuser_u:myrole_r:mytype_t, s0)
42255e72915d4cbddceb435e13d81601755714e9fSE Android
43255e72915d4cbddceb435e13d81601755714e9fSE Android
44