Maxim Shafirov - 07 Feb 05 16:57 What kind of functionality this API should provide. Would you like to be able to build standard control flow graph for java code and use it in your own refactorings/analysis or you'd like to build its analog for other type of the code or you have to patch java CFG somehow to tweak CFG clients behavior?

Peter Gromov - 07 Feb 05 17:35 Sometimes Fabrique code fragments should return something. This is verified as that every return statement has non-empty return value and every control flow path ends with return statement (ControlFlowUtil.returnPresent(controlFlow))