package heros;
import java.util.Collection;
import java.util.List;
import java.util.Set;
public interface InterproceduralCFG<N,M>  {
<BUG>public M getMethodOf(N n);
public List<N> getSuccsOf(N n);</BUG>
public Collection<M> getCalleesOfCallAt(N n);
public Collection<N> getCallersOf(M m);
public Set<N> getCallsFromWithin(M m);

package heros;
import java.util.Collection;
import java.util.List;
import java.util.Set;
public interface InterproceduralCFG<N,M>  {
public M getMethodOf(N n);
public List<N> getPredsOf(N u);
public List<N> getSuccsOf(N n);
public Collection<M> getCalleesOfCallAt(N n);
public Collection<N> getCallersOf(M m);
public Set<N> getCallsFromWithin(M m);
