・状態を保持するフィールド名の value への変更を JAX-RS のコード生成にも反映させる。
・Pair クラスのフィールドを left と right に。
・Pair 型の型推論を強化した。
・Pair クラスの追加を JAX-RS のコード生成にも反映させる。
・model ファイルの変更(単位元による遷移を削除、fst/snd関数 → left/right関数)
1 parent 7ef8c2e commit 3eabcb31ee28cd2c0fe971c1ef9e6423f8fcb4e6
Naoya Nitta authored on 31 Dec 2021
Showing 10 changed files
View
AlgebraicDataflowArchitectureModel/models/JumpGame.model
View
AlgebraicDataflowArchitectureModel/models/Twitter.model
View
AlgebraicDataflowArchitectureModel/models/WeatherObservationSystem.model
View
AlgebraicDataflowArchitectureModel/src/algorithms/JavaCodeGenerator.java
View
AlgebraicDataflowArchitectureModel/src/algorithms/JerseyCodeGenerator.java
View
AlgebraicDataflowArchitectureModel/src/algorithms/JerseyMethodBodyGenerator.java
View
AlgebraicDataflowArchitectureModel/src/algorithms/TypeInference.java
View
AlgebraicDataflowArchitectureModel/src/code/ast/ConstructorDeclaration.java 100644 → 0
View
AlgebraicDataflowArchitectureModel/src/code/ast/TypeDeclaration.java
View
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java