1. Map型を追加.
2. nil をList型とMap型に限定し,null を追加.
3. if文が入れ子になったときなどに副作用が正しく出力されなかったのを修正.(若干の設計変更あり.)
4. 実行文直後の改行が出力されない場合があったのを修正.
5. 初期化子の型も推論するようにした.
6. ジェネリクス中の型のデフォルトが Integer になっていたのを修正.
7. 酒屋の在庫問題のモデルファイルを追加.
1 parent 5c0e478 commit f9dbfc0948172339439c4f8a9669d6956938b09e
Naoya Nitta authored on 17 May 2022
Showing 14 changed files
View
AlgebraicDataflowArchitectureModel/models/CustomerOffice.model
View
AlgebraicDataflowArchitectureModel/models/StockManagement.model 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/algorithms/JavaCodeGenerator.java
View
AlgebraicDataflowArchitectureModel/src/algorithms/JerseyCodeGenerator.java
View
AlgebraicDataflowArchitectureModel/src/algorithms/TypeInference.java
View
AlgebraicDataflowArchitectureModel/src/models/algebra/Constant.java
View
AlgebraicDataflowArchitectureModel/src/models/algebra/Expression.java
View
AlgebraicDataflowArchitectureModel/src/models/algebra/Symbol.java
View
AlgebraicDataflowArchitectureModel/src/models/algebra/Term.java
View
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/ChannelMember.java
View
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java
View
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/IdentifierTemplate.java
View
AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/DataflowChannelGenerator.java
View
AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/ModelExtension.java