* @param filter
* as the filter to check.
*/
private void checkFilterParameters(PredecessorResolver predecessorResolver,
FilterState filter) {
Parameters filterParameters = resolver
.getParameters(filter.getMethod());
Set<Transition> predecessors = predecessorResolver
.getPredecessors(filter);
for (Transition transition : predecessors) {
State origin = transition.getOrigin();
final SootMethod webMethod = origin.getMethod();
final Parameters webMethodParameters = resolver
.getParameters(webMethod);
checkFilterParameters(webMethod, webMethodParameters,
filterParameters);
}
}