Skip to content
Failed

Changes

Summary

  1. issue-50: Add simulator (details)
  2. issue-51: initial implementation (details)
  3. issue-51: removed temp parameters (details)
  4. issue-51: refactorings (details)
  5. issue-51: help update (details)
  6. issue-51: added a test (details)
  7. issue-52: new CLI parameters (skip and run tasks) (details)
Commit f5faf702b84f3e3eb6a36b797932dc51acfc4e0c by Koen Kanters
issue-50: Add simulator
The file was modified lib/org.eclipse.comma.java.tests/src/org/eclipse/comma/java/tests/MockArtifactInfo.java (diff)
The file was modified lib/pom.xml (diff)
The file was modified lib/org.eclipse.comma.evaluator/src/org/eclipse/comma/evaluator/EInterfaceState.java (diff)
The file was addedlib/org.eclipse.comma.simulator/.classpath
The file was modified lib/org.eclipse.comma.evaluator/src/org/eclipse/comma/evaluator/EReply.java (diff)
The file was modified lib/org.eclipse.comma.reachabilitygraph/src/org/eclipse/comma/reachabilitygraph/ReachabilityGraphBuilder.java (diff)
The file was modified org.eclipse.comma.standard.launch/tests/org.eclipse.comma.reachabilitygraph.tests.launch (diff)
The file was modified lib/org.eclipse.comma.project.ui/src/org/eclipse/comma/project/ui/handler/LaunchShortcut.java (diff)
The file was removedlib/org.eclipse.comma.reachabilitygraph/src/org/eclipse/comma/reachabilitygraph/InputParameters.java
The file was modified lib/org.eclipse.comma.help/toc.xml (diff)
The file was modified lib/org.eclipse.comma.reachabilitygraph.tests/resource/VendingMachineTest/scenarios.txt (diff)
The file was addedlib/org.eclipse.comma.simulator/.settings/org.eclipse.jdt.core.prefs
The file was modified lib/org.eclipse.comma.reachabilitygraph.tests/src/org/eclipse/comma/reachabilitygraph/tests/itf/RecordVectorMapTestAdvanced.xtend (diff)
The file was modified lib/org.eclipse.comma.evaluator/src/org/eclipse/comma/evaluator/ENotification.java (diff)
The file was modified org.eclipse.comma.standard.launch/Comma_Runtime.launch (diff)
The file was modified lib/org.eclipse.comma.lib.feature/feature.xml (diff)
The file was modified lib/org.eclipse.comma.project/src/org/eclipse/comma/project/ProjectUtility.xtend (diff)
The file was modified org.eclipse.comma.standard.launch/tests/org.eclipse.comma.parameters.tests.launch (diff)
The file was modified lib/org.eclipse.comma.evaluator/src/org/eclipse/comma/evaluator/ESignal.java (diff)
The file was modified lib/org.eclipse.comma.evaluator/src/org/eclipse/comma/evaluator/ECommand.java (diff)
The file was addedlib/org.eclipse.comma.help/asciidoc/generators/simulator.adoc
The file was modified docs/developing.md (diff)
The file was modified lib/org.eclipse.comma.project.ui/src/org/eclipse/comma/project/ui/contentassist/ProjectProposalProvider.xtend (diff)
The file was addedlib/org.eclipse.comma.java/src/org/eclipse/comma/java/JProcessMonitor.java
The file was modified lib/org.eclipse.comma.java.tests/src/org/eclipse/comma/java/tests/JCmdExecutorTest.java (diff)
The file was addedlib/org.eclipse.comma.help/asciidoc/img/simulator.png
The file was modified lib/org.eclipse.comma.reachabilitygraph.tests/resource/VendingMachineTest/graph.json (diff)
The file was addedlib/org.eclipse.comma.simulator/src/org/eclipse/comma/simulator/Model.java
The file was modified org.eclipse.comma.standard.launch/tests/org.eclipse.comma.testgeneration.tests.launch (diff)
The file was modified lib/org.eclipse.comma.java/src/org/eclipse/comma/java/JArtifactInfoBuilder.java (diff)
The file was modified lib/org.eclipse.comma.reachabilitygraph.tests/src/org/eclipse/comma/reachabilitygraph/tests/itf/ParametersTest.xtend (diff)
The file was modified lib/org.eclipse.comma.java/src/org/eclipse/comma/java/JCmdBuilder.java (diff)
The file was addedlib/org.eclipse.comma.simulator/resource/model.json
The file was modified lib/org.eclipse.comma.reachabilitygraph/META-INF/MANIFEST.MF (diff)
The file was modified lib/org.eclipse.comma.java/src/org/eclipse/comma/java/JCmdExecutor.java (diff)
The file was modified lib/org.eclipse.comma.java/src/org/eclipse/comma/java/JDependencyInfos.java (diff)
The file was modified lib/org.eclipse.comma.project/src/org/eclipse/comma/project/Project.xtext (diff)
The file was addedlib/org.eclipse.comma.evaluator/src/org/eclipse/comma/evaluator/EOccurence.java
The file was addedlib/org.eclipse.comma.parameters/src/org/eclipse/comma/parameters/ParametersCollection.java
The file was modified lib/org.eclipse.comma.evaluator/src/org/eclipse/comma/evaluator/EAction.java (diff)
The file was addedlib/org.eclipse.comma.simulator/src/org/eclipse/comma/simulator/Action.java
The file was modified lib/org.eclipse.comma.reachabilitygraph/src/org/eclipse/comma/reachabilitygraph/GsonHelper.java (diff)
The file was modified lib/org.eclipse.comma.reachabilitygraph.tests/src/org/eclipse/comma/reachabilitygraph/tests/comp/StateBasedFunctionalConstraintVarsTest.xtend (diff)
The file was modified lib/org.eclipse.comma.project/src/org/eclipse/comma/project/validation/ProjectValidator.xtend (diff)
The file was modified lib/org.eclipse.comma.java/src/org/eclipse/comma/java/impl/JArtifactInfoImpl.java (diff)
The file was modified lib/org.eclipse.comma.reachabilitygraph/src/org/eclipse/comma/reachabilitygraph/DeterministicScenarios.java (diff)
The file was modified lib/org.eclipse.comma.reachabilitygraph.tests/src/org/eclipse/comma/reachabilitygraph/tests/itf/BasicTest.xtend (diff)
The file was modified lib/org.eclipse.comma.reachabilitygraph.tests/src/org/eclipse/comma/reachabilitygraph/tests/comp/PredicateFunctionalConstraintTest.xtend (diff)
The file was addedlib/org.eclipse.comma.simulator/src/org/eclipse/comma/simulator/SimulatorState.java
The file was addedlib/org.eclipse.comma.simulator/src/org/eclipse/comma/simulator/Helper.java
The file was addedlib/org.eclipse.comma.project/src/org/eclipse/comma/project/generatortasks/SimulatorGeneratorTask.xtend
The file was addedlib/org.eclipse.comma.simulator/pom.xml
The file was modified lib/org.eclipse.comma.java/src/org/eclipse/comma/java/JArtifactInfo.java (diff)
The file was addedlib/org.eclipse.comma.simulator/build.properties
The file was modified lib/org.eclipse.comma.project/src/org/eclipse/comma/project/generator/ProjectGenerator.xtend (diff)
The file was modified lib/org.eclipse.comma.types/src/org/eclipse/comma/types/generator/CommaMain.xtend (diff)
The file was addedlib/org.eclipse.comma.evaluator/src/org/eclipse/comma/evaluator/EHelper.java
The file was modified lib/org.eclipse.comma.project.ui/src/org/eclipse/comma/project/ui/contentassist/TaskProposalProvider.xtend (diff)
The file was modified lib/org.eclipse.comma.reachabilitygraph.tests/src/org/eclipse/comma/reachabilitygraph/tests/itf/NotificationTest.xtend (diff)
The file was addedlib/org.eclipse.comma.simulator/.project
The file was addedlib/org.eclipse.comma.simulator/src/org/eclipse/comma/simulator/Window.java
The file was modified lib/org.eclipse.comma.project/META-INF/MANIFEST.MF (diff)
The file was addedlib/org.eclipse.comma.simulator/src/org/eclipse/comma/simulator/Step.java
The file was modified pom.xml (diff)
The file was modified lib/org.eclipse.comma.reachabilitygraph.tests/src/org/eclipse/comma/reachabilitygraph/tests/itf/MultiMachineTest.xtend (diff)
The file was modified lib/org.eclipse.comma.reachabilitygraph.tests/src/org/eclipse/comma/reachabilitygraph/tests/itf/RecordVectorMapTestBasic.xtend (diff)
The file was modified org.eclipse.comma.standard.project/META-INF/MANIFEST.MF (diff)
The file was modified lib/org.eclipse.comma.java/src/org/eclipse/comma/java/JSourceInfos.java (diff)
The file was addedlib/org.eclipse.comma.simulator/META-INF/MANIFEST.MF
The file was modified comma.setup (diff)
The file was modified lib/org.eclipse.comma.reachabilitygraph.tests/src/org/eclipse/comma/reachabilitygraph/tests/comp/StateBasedFunctionalConstraintTest.xtend (diff)
The file was modified lib/org.eclipse.comma.project/src/org/eclipse/comma/project/formatting2/ProjectFormatter.xtend (diff)
The file was addedlib/org.eclipse.comma.simulator/.settings/org.eclipse.core.resources.prefs
The file was addedlib/org.eclipse.comma.java.tests/src/org/eclipse/comma/java/tests/JArtifactInfoBuilderTest.java
The file was modified lib/org.eclipse.comma.reachabilitygraph.tests/src/org/eclipse/comma/reachabilitygraph/tests/itf/OperationsTest.xtend (diff)
The file was modified org.eclipse.comma.standard.launch/tests/org.eclipse.comma.java.tests.launch (diff)
The file was modified lib/org.eclipse.comma.reachabilitygraph.tests/resource/VendingMachineTest/scenarios.json (diff)
The file was modified lib/org.eclipse.comma.reachabilitygraph.tests/src/org/eclipse/comma/reachabilitygraph/tests/comp/MultiClientTest.xtend (diff)
The file was modified org.eclipse.comma.standard.project.tests/src/org/eclipse/comma/standard/project/tests/GeneratorTest.xtend (diff)
Commit da7db6c78636cd84a6148fc238bcc8478bed9225 by Ivan Kurtev
issue-51: initial implementation
The file was modified lib/org.eclipse.comma.monitoring.generator/src/org/eclipse/comma/monitoring/generator/FunctionalConstraintGenerator.xtend (diff)
The file was modified lib/org.eclipse.comma.monitoring.lib/src/org/eclipse/comma/monitoring/lib/CFunctionalConstraintResult.java (diff)
The file was modified lib/org.eclipse.comma.monitoring.lib/src/org/eclipse/comma/monitoring/lib/CFunctionalConstraintState.java (diff)
The file was modified lib/org.eclipse.comma.monitoring.lib/src/org/eclipse/comma/monitoring/lib/CFunctionalConstraint.java (diff)
The file was addedlib/org.eclipse.comma.monitoring.lib/src/org/eclipse/comma/monitoring/lib/CFunctionalConstraintContext.java
The file was modified lib/org.eclipse.comma.monitoring.lib/src/org/eclipse/comma/monitoring/lib/CFunctionalConstraintMonitor.java (diff)
Commit 54e9f5891d5deef0d792b9ab760ba6b643d01c82 by Ivan Kurtev
issue-51: removed temp parameters
The file was modified lib/org.eclipse.comma.monitoring.generator/src/org/eclipse/comma/monitoring/generator/FunctionalConstraintGenerator.xtend (diff)
Commit 478cec6447b7982239ed77b15d566f79ddc514ba by Ivan Kurtev
issue-51: refactorings
The file was modified lib/org.eclipse.comma.monitoring.lib/src/org/eclipse/comma/monitoring/lib/CFunctionalConstraintContext.java (diff)
The file was modified lib/org.eclipse.comma.monitoring.lib/src/org/eclipse/comma/monitoring/lib/CFunctionalConstraintMonitor.java (diff)
The file was modified lib/org.eclipse.comma.monitoring.generator/src/org/eclipse/comma/monitoring/generator/FunctionalConstraintGenerator.xtend (diff)
The file was modified lib/org.eclipse.comma.monitoring.lib/src/org/eclipse/comma/monitoring/lib/CFunctionalConstraint.java (diff)
The file was modified lib/org.eclipse.comma.help/asciidoc/language/components.adoc (diff)
Commit 22e81036dff722bf1a7011e8e8ff3b63e3fc69d4 by Ivan Kurtev
issue-51: added a test
The file was modified org.eclipse.comma.standard.project.tests/src/org/eclipse/comma/standard/project/tests/GeneratorTest.xtend (diff)
The file was addedorg.eclipse.comma.standard.project.tests/test_resources/ComponentSemanticsTest/ExpectedtasksResults.json
The file was addedorg.eclipse.comma.standard.project.tests/test_resources/ComponentSemanticsTest/iA.signature
The file was addedorg.eclipse.comma.standard.project.tests/test_resources/ComponentSemanticsTest/events/trace.events
The file was addedorg.eclipse.comma.standard.project.tests/test_resources/ComponentSemanticsTest/Project.prj
The file was addedorg.eclipse.comma.standard.project.tests/test_resources/ComponentSemanticsTest/C.component
The file was addedorg.eclipse.comma.standard.project.tests/test_resources/ComponentSemanticsTest/iA.interface
Commit 19866e7dd4ee762e6f70cd6629e318859c5f55ec by Ivan Kurtev
issue-52: new CLI parameters (skip and run tasks)
The file was modified lib/org.eclipse.comma.project/src/org/eclipse/comma/project/generator/ProjectGenerator.xtend (diff)
The file was modified lib/org.eclipse.comma.types/src/org/eclipse/comma/types/generator/CommaMain.xtend (diff)
The file was modified lib/org.eclipse.comma.project/src/org/eclipse/comma/project/ProjectUtility.xtend (diff)
The file was modified lib/org.eclipse.comma.types/src/org/eclipse/comma/types/generator/CmdLineContext.xtend (diff)