アーキテクチャモデル内の送信メッセージを逆関数を用いて定義できるように拡張した.
|
---|
|
AlgebraicDataflowArchitectureModel/models/Triangle.model |
---|
AlgebraicDataflowArchitectureModel/models/Triangle2.model 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/generators/CodeGeneratorFromControlFlowGraph.java |
---|
AlgebraicDataflowArchitectureModel/src/generators/CodeGeneratorFromDataFlowGraph.java |
---|
AlgebraicDataflowArchitectureModel/src/generators/JavaCodeGenerator.java |
---|
AlgebraicDataflowArchitectureModel/src/generators/JavaMethodBodyGenerator.java |
---|
AlgebraicDataflowArchitectureModel/src/generators/JerseyCodeGenerator.java |
---|
AlgebraicDataflowArchitectureModel/src/generators/JerseyMethodBodyGenerator.java |
---|
AlgebraicDataflowArchitectureModel/src/models/algebra/Expression.java |
---|
AlgebraicDataflowArchitectureModel/src/models/algebra/LambdaAbstraction.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/models/algebra/Symbol.java |
---|
AlgebraicDataflowArchitectureModel/src/models/algebra/Term.java |
---|
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java |
---|
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/StateTransition.java |
---|
AlgebraicDataflowArchitectureModel/src/tests/InverseTest.java |
---|