FlowProgram与程序

Question

我正在尝试使用提供给TU Eindhoven的FlowGraphsAndClassDiagrams骨架。对于函数buildGraph，应该给出FlowProgram。我试着运行以下内容：

m = createM3FromEclipseProject(|project://eLib|);
FlowProgram p = createOFG(|project://eLib|);
rel[loc from, loc to] relations = buildGraph(p);

这会产生错误消息：预期的FlowProgram，但得到了程序。

所以，问题是，什么是FlowProgram，它在哪里定义？它与createOFG创建的程序有什么区别？

Answer 1

似乎存在版本差异。 createOFG会返回Program类型的某些内容，该类似于以前的版本FlowProgram。因此，如果您在代码中将FlowProgram更改为Program，则可以使用。或者您可以完全忽略该类型并使用p = createOFG(|project://eLib|);，并且应该为您推断出类型。

其他信息：

• Program在lang::ofg::ast::FlowLanguage中定义为data Program = program(set[Decl] decls, set[Stm] statements);