policychecker: receiving signals without sender

This allows specifying of checking rules for signals without
specifying receive_sender. That is, it allows telling who can
receive some kind of signals without telling who can send them.

Without this change every receive checking rule needed receive_sender field.
This change is analogous to sending signals without send_destination.

Change-Id: Ifb0a596980631315d175b33460ad2579265c1e5e

diff --git a/policychecker/rules.xsl b/policychecker/rules.xsl
index 188a572..7f20b0f 100644 (file)
--- a/policychecker/rules.xsl
+++ b/policychecker/rules.xsl
@@ -172,7 +172,7 @@
                        <sch:assert test="@send_destination or @send_destination_prefix or @send_type='signal'">You mustn't use send_interface without send_destination or send_destination_prefix, unless you limit the rule to only signals with send_type="signal"</sch:assert>
                </sch:rule>
                <sch:rule context="*[@receive_interface]">
-                       <sch:assert test="@receive_sender">You mustn't use receive_interface without receive_sender</sch:assert>
+                       <sch:assert test="@receive_sender or @receive_type='signal'">You mustn't use receive_interface without receive_sender</sch:assert>
                </sch:rule>
        </sch:pattern>