Steven Moreland | e4f0ccf | 2020-03-24 15:35:17 -0700 | [diff] [blame] | 1 | type hal_lazy_test_hwservice, hwservice_manager_type, protected_hwservice; |
Inseob Kim | 75806ef | 2024-03-27 17:18:41 +0900 | [diff] [blame] | 2 | |
3 | ### | ||||
4 | ### Neverallow rules | ||||
5 | ### | ||||
6 | |||||
7 | # hwservicemanager handles registering or looking up named services. | ||||
8 | # It does not make sense to register or lookup something which is not a | ||||
9 | # hwservice. Trigger a compile error if this occurs. | ||||
10 | neverallow domain ~hwservice_manager_type:hwservice_manager { add find }; |