Control Flow as GraphRepresent execution paths through a method or function as a graph
This notional machine represents method bodies as graphs. Statements are represented as rectangles and conditions as diamonds.
This makes the possible execution paths through the different statements of a method visible and is particularly useful for explaining compound statements (loops and conditional statements), conditional expressions, and exception handling.
22 Misconceptions Expressible in this Notional Machine
A notional machine focuses on a subset of the syntax and semantics of a programming language. The following misconceptions are related to the language features expressible in this notional machine.