.hasNext();) {
_addMethod((SootMethod) reachableMethods.next());
}
while (methods.hasNext()) {
SootMethod nextMethod = (SootMethod) methods.next();
EffectFlow in = _getEffectFlow(nextMethod);
EffectFlow out = _processMethod(nextMethod);
// If the flow has changed, then add all the reachable
// methods that invoke this method.
if (!in.equals(out)) {
_setEffectFlow(nextMethod, out);
for (Iterator invokers = new Sources(callGraph
.edgesInto(nextMethod)); invokers.hasNext();) {
SootMethod invoker = (SootMethod) invokers.next();
if (_reachables.contains(invoker)) {
_addMethod(invoker);
}
}