Control Flow Graphs

[emiln]

Project Goal

The next goal for TIP should be to generate control flow graphs from the AST returned by the parser. To this end, I think the loom library looks very promising.

Some good initial goals (and therefore Midje tests) would probably be to:

• Represent all the "easy" AST statements by a directed graph. All of the following should be created by inductive graph construction, and should therefore be an easy start:
  • Assignment.
  • Output.
  • Return.
  • Var declaration.
  • Sequences of statements.
  • Conditional statement.
  • While loop.
• Find a way to label the CFG sensibly.
• Write behavior tests for every construct.