モデルファイルに式のミスがあったため、モデルファイルの修正後に再生成し、該当部分のメソッドのみを修正
具体的には、モデルにおけるチャンネルInputSelectArgAのHandsA、InputSelectArgBのHandsBの状態遷移関数で使用するSucceedSelectリソースで参照する値を間違っていたことが原因(Succeed~の第三引数ではなく、第二引数を参照していた) |
---|
|
src/main/java/models/HandsA.java |
---|
src/main/java/models/HandsB.java |
---|