public void build() { ofcgb.processReachables(); processReachables(); processCallEdges(); }
public void build() { QueueReader<MethodOrMethodContext> worklist = reachables.listener(); while (true) { ofcgb.processReachables(); reachables.update(); if (!worklist.hasNext()) {
public void build() { QueueReader worklist = reachables.listener(); while(true) { ofcgb.processReachables(); reachables.update(); if( !worklist.hasNext() ) break;
public void build() { QueueReader worklist = reachables.listener(); while(true) { ofcgb.processReachables(); reachables.update(); if( !worklist.hasNext() ) break;