-
Feature Request
-
Resolution: Done
-
Major
-
1.2.2
-
None
-
Documentation (Ref Guide, User Guide, etc.)
Certain rule locations can be terminate with a count to identify a specific injection site e.g. AT READ foo 3 means the third location in the code where field foo is read. It would be useful to be able to request trigger injection at every occurence of a matching location irrespective of count. this could be done by supplying ALL in place of a count e.g. AT READ foo ALL.
This will complicate trigger injection but it ought to be feasible to inject multiple occurences of the rule. (this works ok for AT EXIT rules). Also it may require testing at injection or type check time to be sure the rule does not refer to local vars which are only in scope at some of the specified locations. This may be handled by only injecting/executing in cases where the local vars are present or else by rejecting the rule, depending on whether this can be identified at inject time.