・既存のファイルを選んで名前を付けて保存ができなくなっていたので修正.
・nil のコード生成で正しく副作用を生成できていなかったのを修正.
・副作用を持つ項のコード生成で,同じ副作用を2回分出力することがあったのを修正.
・append 関数について型推論が未実装だったのを実装.
・insert 関数の型推論が不十分だったのを強化.
・コード生成時に,Json型をクラスに置き換えていなかったので,置き換えるようにした.
1 parent a7d4ed7 commit b33fccfe05ace501b006ef325771a92fd4b7b5a5
Naoya Nitta authored 19 hours ago
Showing 8 changed files
View
AlgebraicDataflowArchitectureModel/src/algorithms/TypeInference.java
View
AlgebraicDataflowArchitectureModel/src/application/actions/SaveAsAction.java
View
AlgebraicDataflowArchitectureModel/src/application/editor/Editor.java
View
AlgebraicDataflowArchitectureModel/src/generators/CodeGeneratorFromDataFlowGraph.java
View
AlgebraicDataflowArchitectureModel/src/generators/JavaMethodBodyGenerator.java
View
AlgebraicDataflowArchitectureModel/src/generators/JerseyMethodBodyGenerator.java
View
AlgebraicDataflowArchitectureModel/src/models/algebra/Term.java
View
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java