See screenshot. (code marked with red is *never* entered) It uses such cool algorithms as Control Flow Graph, Definition-Use, and my various ideas
About Eclipse JDT component guts. See whole course. See my lecture details.
Cool, isn’t it? My tiny part (together with Przemek) of this 4-person craft was about improving user experience with really usable rich text editor, that understands the content and stores it in a high level structured model. We extensively exploited model driven development approach. I felt in love with Eclipse and met it’s text editor framework, as well as other incredible mechanisms.