COP 5021 Lecture -*- Outline -*- * Control Flow Graphs (2.1) ** use of (Control) flow graphs ------------------------------------------ USE OF (CONTROL) FLOW GRAPHS CFGs are used to: summarize control flow in a program, direct information in a dataflow analysis ------------------------------------------ ** overview in JastAdd ------------------------------------------ CFGs IN JASTADD Not a built-in feature of JastAdd Can be implemented in: a Java class: FlowGraph and/or as attributes in a CFG.jrag file ------------------------------------------ *** implementation using attributes in file CFG.jrag ------------------------------------------ import java.util.*; import utility.SetRepUtility; import utility.FlowGraph; aspect CFG { syn Label S.init(); // ... syn Set