InterproceduralEdge

DRAFT

Correction

Here is what's right.

In this course we only draw intra-procedural control-flow graphs. That means, the graphs we draw describe only what happens inside a method. Method calls thus are modeled as normal nodes (one can look at them as black boxes we don’t look inside), with an arrow pointing from the method call to the next node within the method.

Note that in the real world, one could draw inter-procedural control-flow graphs, where method calls would have edges going to the callee (the method being called), and the X nodes would have edges going back to the caller(s).