Adopting the design rule makes it feasible to check this property manually, or with a relatively
straightforward intraprocedural analysis, because adherence to the desing rule limits the scope of the required analysis.
Added:
> >
Related Design Rules
A similar design rule could be formulated for tyRuBa.tdbc.PreparedQuery.
Calls to PreparedQuery.put*(..) should always be followed by a call to PreparedQuery.executeQuery() within the same method context.
It may also be possible to distil both of these desing rules into a single rule.
Example
The following code contains a copy-paste bug: salaryFact never gets executed whereas employeeFact is executed twice.