16cd6a6acSopenharmony_cimodule modreq_perm_opt 1.0; 26cd6a6acSopenharmony_ci 36cd6a6acSopenharmony_cirequire { 46cd6a6acSopenharmony_ci class file { read write }; 56cd6a6acSopenharmony_ci} 66cd6a6acSopenharmony_ci 76cd6a6acSopenharmony_citype mod_global_t; 86cd6a6acSopenharmony_ci 96cd6a6acSopenharmony_cioptional { 106cd6a6acSopenharmony_ci require { 116cd6a6acSopenharmony_ci class msg { send receive }; 126cd6a6acSopenharmony_ci } 136cd6a6acSopenharmony_ci 146cd6a6acSopenharmony_ci type mod_opt_t; 156cd6a6acSopenharmony_ci type a_mod_t; 166cd6a6acSopenharmony_ci type b_mod_t; 176cd6a6acSopenharmony_ci allow a_mod_t b_mod_t: msg { send receive }; 186cd6a6acSopenharmony_ci} 19