Game.model から JAX-RS 出力すると，Velocity リソースに POST メソッドが2つ定義されてしまっていたのを修正．・PUS/POST メソッドの判定を isNeeded() ではなくて，右単項性で行うようにした．・StateTransition クラスに，isRightUnary() メソッドを追加した．

Fork: 1

y-ota / AlgebraicDataflowArchitectureModel

forked from nitta-lab/AlgebraicDataflowArchitectureModel

Browse code Game.model から JAX-RS 出力すると，Velocity リソースに POST メソッドが2つ定義されてしまっていたのを修正．・PUS/POST メソッドの判定を isNeeded() ではなくて，右単項性で行うようにした．・StateTransition クラスに，isRightUnary() メソッドを追加した． master
1 parent 1dc3470 commit bc3fb329b1da27c034331c0d876b3d13fcdece08 n-nitta authored on 24 Apr 2021

Patch

Unified Split

Showing 4 changed files

Ignore Space Show notes View AlgebraicDataflowArchitectureModel/src/algorithms/JerseyCodeGenerator.java

Ignore Space Show notes View AlgebraicDataflowArchitectureModel/src/algorithms/JerseyMethodBodyGenerator.java

Ignore Space Show notes View AlgebraicDataflowArchitectureModel/src/algorithms/NecessityOfStoringResourceStates.java

Ignore Space Show notes View AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/StateTransition.java

Show line notes below