FlowProgram vs. Program

Question

TUアイントホーフェンに提供されているFlowGraphsAndClassDiagramsスケルトンを使用しようとしています。関数buildGraphについては、FlowProgramを与える必要があります。私は以下を実行しようとしました：

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

これは、エラーメッセージ：expected FlowProgram、but got programを返します。

フロープログラムとは何ですか、それはどこに定義されていますか？ createOFGによって作成されたプログラムとの違いは何ですか？

Answer 1

バージョンの違いがあるようです。 createOFGは以前のバージョンFlowProgramにあったタイプProgramの何かを返します。したがって、あなたのコードでFlowProgramをProgramに変更すると動作します。または、型を完全に無視してp = createOFG(|project://eLib|);を使用して、その型を推論する必要があります。

追加情報：

• Programはdata Program = program(set[Decl] decls, set[Stm] statements);

として lang::ofg::ast::FlowLanguageに定義されています