Merge pull request #19 from nitta-lab/typeInferenceForOperators

Fork: 1

nitta-lab / AlgebraicDataflowArchitectureModel

Browse code Merge pull request #19 from nitta-lab/typeInferenceForOperators TypeInferenceForOperators すべてのモデルファイルからコードが生成できることを確認． ASE2022submit FACS2023 Models2024 SimulatorVisualization bug-pathParam bug-swingNativeReceiver controlFlowModeling dynamicResourceCreation experiment20231128 experiment_2023_1_25 extendForWebServices feature-addTableUI feature-keyboard-shortcuts feature_addLoggerToCFD fix-window-position fixSerializeException fix_connectionAnEdgeAtDependsOnMediator forMultipleOutputResources forWebServices gameEngine gameEngine-DTRAM gameEngine2 generatorBugFix4 hieararchicalLayout htmlGUi importVisualModelingUpdates master moveCharacters outputChannelAsAClass refactor simulationLayout simulator simulatorAddFunctions swingInterface test two-stage-modeling update-dtram-parser updateHierarchicalResources
commit 8c9e54d053ec89c5366893e6bb729d14f1295d59 2 parents 47545d8 + 474e089 Naoya Nitta authored on 2 Sep 2021

Browse code

TypeInferenceForOperators
すべてのモデルファイルからコードが生成できることを確認．

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

commit 8c9e54d053ec89c5366893e6bb729d14f1295d59

2 parents 47545d8 + 474e089

Naoya Nitta authored on 2 Sep 2021

Patch

Unified Split

Showing 3 changed files

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

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

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

Show line notes below