・リソース更新コード生成テストプログラム（UpdateCodeGenerationTest.java）で、引数とフィールドを同じ名前にしていたため、生成コードがおかしくなっていた不具合を修正。・リソースと変数に型を定義できるようにし、シンボルにシグニチャを定義できるようにした。・入力側リソースの状態遷移関数で遷移後の項が含んでいる変数の値を、遷移前の項が含んでいる変数の値から求められる場合、求めた値を使って、メッセージ制約を導出するようにした。（そのようにしないと導出できない場合があるため。また、そのようにすることで変数の値の重複定義を回避できる場合があるため。）

Fork: 1

nitta-lab / AlgebraicDataflowArchitectureModel

Browse code ・リソース更新コード生成テストプログラム（UpdateCodeGenerationTest.java）で、引数とフィールドを同じ名前にしていたため、生成コードがおかしくなっていた不具合を修正。・リソースと変数に型を定義できるようにし、シンボルにシグニチャを定義できるようにした。・入力側リソースの状態遷移関数で遷移後の項が含んでいる変数の値を、遷移前の項が含んでいる変数の値から求められる場合、求めた値を使って、メッセージ制約を導出するようにした。（そのようにしないと導出できない場合があるため。また、そのようにすることで変数の値の重複定義を回避できる場合があるため。） ASE2022submit FACS2023 Models2024 SimulatorVisualization bug-pathParam bug-swingNativeReceiver controlFlowModeling dynamicResourceCreation experiment20231128 experiment_2023_1_25 extendForWebServices feature-addTableUI feature-keyboard-shortcuts feature_addLoggerToCFD fix fix-window-position fixSerializeException fix_connectionAnEdgeAtDependsOnMediator forMultipleOutputResources forWebServices gameEngine gameEngine-DTRAM gameEngine2 generatorBugFix4 generatorBugFix5 hieararchicalLayout htmlGUi importVisualModelingUpdates master moveCharacters ohta ohta2 ota outputChannelAsAClass refactor simulationLayout simulator simulatorAddFunctions simulatorBugFix2 swingInterface test two-stage-modeling update-dtram-parser updateHierarchicalResources
1 parent 7f8841c commit 4a06dfeed241c947a14adc953b602e821413a118 n-nittta authored on 11 Mar 2020

Browse code

・リソース更新コード生成テストプログラム（UpdateCodeGenerationTest.java）で、引数とフィールドを同じ名前にしていたため、生成コードがおかしくなっていた不具合を修正。

・リソースと変数に型を定義できるようにし、シンボルにシグニチャを定義できるようにした。
・入力側リソースの状態遷移関数で遷移後の項が含んでいる変数の値を、遷移前の項が含んでいる変数の値から求められる場合、求めた値を使って、メッセージ制約を導出するようにした。（そのようにしないと導出できない場合があるため。また、そのようにすることで変数の値の重複定義を回避できる場合があるため。）

ASE2022submit FACS2023 Models2024 SimulatorVisualization bug-pathParam bug-swingNativeReceiver controlFlowModeling dynamicResourceCreation experiment20231128 experiment_2023_1_25 extendForWebServices feature-addTableUI feature-keyboard-shortcuts feature_addLoggerToCFD fix fix-window-position fixSerializeException fix_connectionAnEdgeAtDependsOnMediator forMultipleOutputResources forWebServices gameEngine gameEngine-DTRAM gameEngine2 generatorBugFix4 generatorBugFix5 hieararchicalLayout htmlGUi importVisualModelingUpdates master moveCharacters ohta ohta2 ota outputChannelAsAClass refactor simulationLayout simulator simulatorAddFunctions simulatorBugFix2 swingInterface test two-stage-modeling update-dtram-parser updateHierarchicalResources

1 parent 7f8841c commit 4a06dfeed241c947a14adc953b602e821413a118

n-nittta authored on 11 Mar 2020

Patch

Unified Split

Showing 7 changed files

Ignore Space Show notes View AlgebraicDataflowArchitectureModel/src/models/algebra/Symbol.java

Ignore Space Show notes View AlgebraicDataflowArchitectureModel/src/models/algebra/Type.java 0 → 100644

Ignore Space Show notes View AlgebraicDataflowArchitectureModel/src/models/algebra/Variable.java

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

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

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

Ignore Space Show notes View AlgebraicDataflowArchitectureModel/src/tests/UpdateCodeGenerationTest.java

Show line notes below