SuccessChanges

Summary

  1. [CPS] separate traceability query in BatchQuery (details)
  2. [CPS] remove commented code (details)
  3. Estimate trace statistics based on CPS model size (details)
  4. [CPS] move anonymous class to new type (details)
  5. [CPS] remove diamond operator and added class (details)
  6. [CPS] add formatting to Oomph setup (details)
  7. [CPS] move isIncremental to wrapper interface (details)
  8. [CPS] separate trigger pair computation for LS variant (details)
  9. [CPS] another approach for making LS more performant (details)
  10. [CPS] only log classnames when debug logging is enabled (details)
  11. [CPS] improve generator phases to avoid randElementExcept (details)
  12. [501046] Adds model manipulation tests for aggregators (min, max, sum) (details)
  13. [501046] Added test model to build.properties (details)
  14. Revert "[501046] Adds model manipulation tests for aggregators (min, max, sum)" (details)
  15. [501046] Adds model manipulation tests for aggregators (min, max, sum) (details)
  16. Updated dse bpmn example (details)
  17. added DSE Bpmn smoke test & maven build (details)
  18. unused import (details)
  19. [500975] Updated test with division by zero error (details)
  20. [CPS] add EMF SDK to setup (details)
  21. [497889][CPS] fixed example model to avoid spaces in identifers (details)
  22. [497889][CPS] added whitespace validation rule (details)
  23. [501046] Adds two new test cases for edge cases of the sum aggregator (details)
  24. Added Jacoco config to the DSE BPMN example (details)
  25. Updated GUI test product to use VIATRA 1.5 (details)
  26. Updated CPS viewers plug-in to use VIATRA 1.5 (details)
  27. Updated CPS MWE integration plug-in to use VIATRA 1.5 (details)
  28. [506253] Test to reproduce issue (details)
  29. [506253] Fixed (and extended) test cases for the issue (details)
  30. [506486] Test case for the verification of the wizard issue (details)
  31. [506486] Removed content assist from new test case (details)
  32. [506486] Fixed syntax error in test specification (details)
  33. [506701] Regression test for count recipe bug (details)
Commit 27ec50e04e336db39b7a95402e47ca2df13b3346 by Abel Hegedus
[CPS] separate traceability query in BatchQuery

this should allow more finegrained experimentation with LS hints
The file was modifiedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/src/org/eclipse/viatra/examples/cps/xform/m2m/batch/eiq/CPS2DeploymentBatchTransformationEiq.xtend
The file was modifiedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/src/org/eclipse/viatra/examples/cps/xform/m2m/batch/eiq/queries/cpsXformM2M.vql
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/src/org/eclipse/viatra/examples/cps/xform/m2m/batch/eiq/queries/cps2DepTraces.vql
The file was modifiedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/mappings/ActionMappingTest.xtend
The file was modifiedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/TransformationType.java
The file was modifiedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/BatchQueryOnly.xtend
The file was modifiedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/plugin.xml
Commit 1d8d8332eaa8c609bcbe22f732883e9afc5a4a6c by Abel Hegedus
[CPS] remove commented code
The file was modifiedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/mappings/ActionMappingTest.xtend
Commit 6ae60656a126e2bad9d911549b1792f2c83da038 by Grill Balazs
Estimate trace statistics based on CPS model size

Change-Id: I236c9a585d434d3b693f1a928a00b990330c4493
Signed-off-by: Grill Balazs <balazs.grill@incquerylabs.com>
The file was modifiedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/TransformationType.java
Commit 7bd604206ef6bb3b9a1ef86693364b8b16e99021 by Abel Hegedus
[CPS] move anonymous class to new type

hopefully solves Xtend maven bug
see https://bugs.eclipse.org/bugs/show_bug.cgi?id=482854
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/TraceabilitySubstitutingStatisticsBasedConstraintCostFunction.java
The file was modifiedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/TransformationType.java
Commit 336945853c4ea6aa402f2095a21751f94629c085 by Abel Hegedus
[CPS] remove diamond operator and added class
The file was removedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/TraceabilitySubstitutingStatisticsBasedConstraintCostFunction.java
The file was modifiedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/TransformationType.java
Commit 3dfaddb0f1aa609c92b4b114f01446d427764d9e by Abel Hegedus
[CPS] add formatting to Oomph setup
The file was modifiedcps/releng/org.eclipse.viatra.examples.cps.setup/CPSExample.setup
Commit ad0056a2c1a0c836c9086403f16390aa3df063f5 by Abel Hegedus
[CPS] move isIncremental to wrapper interface

Change-Id: I26e867e577d18bb6fce5a1aada97f22c5a1ccfac
Signed-off-by: Abel Hegedus <abel.hegedus@incquerylabs.com>
The file was modifiedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/TransformationType.java
The file was modifiedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/BatchSimple.xtend
The file was modifiedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/CPSTransformationWrapper.xtend
The file was modifiedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/QueryResultTraceability.xtend
The file was modifiedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/BatchQueryOnly.xtend
The file was modifiedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/PartialBatch.xtend
The file was modifiedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/ExplicitTraceability.xtend
The file was modifiedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/ViatraTransformation.xtend
The file was modifiedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/BatchViatra.xtend
The file was modifiedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/CPS2DepTest.xtend
The file was modifiedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/BatchOptimized.xtend
Commit 1d32787c6c3c3686da2c71d2618eee12c2cc344a by Abel Hegedus
[CPS] separate trigger pair computation for LS variant
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/BatchQueryLocalSearch.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/src/org/eclipse/viatra/examples/cps/xform/m2m/batch/eiq/BatchViatraQueryLocalSearchTransformation.xtend
The file was modifiedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/src/org/eclipse/viatra/examples/cps/xform/m2m/batch/eiq/queries/cps2DepTraces.vql
The file was modifiedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/src/org/eclipse/viatra/examples/cps/xform/m2m/batch/eiq/CPS2DeploymentBatchTransformationEiq.xtend
The file was modifiedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/TransformationType.java
Commit db51d1bb84ebe21836edd0897ae7bfc5dc2c30e7 by Abel Hegedus
[CPS] another approach for making LS more performant
The file was modifiedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/src/org/eclipse/viatra/examples/cps/xform/m2m/batch/eiq/BatchViatraQueryLocalSearchTransformation.xtend
The file was modifiedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/src/org/eclipse/viatra/examples/cps/xform/m2m/batch/eiq/CPS2DeploymentBatchTransformationEiq.xtend
Commit cb145577e5846e7ac98b8dc32b519006f52d39fb by Abel Hegedus
[CPS] only log classnames when debug logging is enabled
The file was modifiedcps/generator/org.eclipse.viatra.examples.cps.planexecutor/src/org/eclipse/viatra/examples/cps/planexecutor/PlanExecutor.xtend
Commit 51a958decf1961ecf7c58f1a3e215076927e3dec by Abel Hegedus
[CPS] improve generator phases to avoid randElementExcept
The file was modifiedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/phases/CPSPhaseApplicationAllocation.xtend
The file was modifiedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/phases/CPSPhaseHostCommunication.xtend
The file was modifiedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/phases/CPSPhaseActionGeneration.xtend
The file was modifiedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/utils/RandomUtils.xtend
Commit 46b7bc0e706615013b74764ec3a991e9a27225ca by Tamas Szabo
[501046] Adds model manipulation tests for aggregators (min, max, sum)
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/Requirement.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/StateItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/HostInstance.java
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/plugin.xml
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/ApplicationInstance.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/CyberPhysicalSystemPackageImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/RequestItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.editor/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/presentation/CyberPhysicalSystemActionBarContributor.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.editor/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/presentation/CyberPhysicalSystemEditor.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/Request.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/RequirementItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/StateMachine.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/ApplicationType.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/ApplicationTypeImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/HostTypeImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/CyberPhysicalSystemItemProviderAdapterFactory.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/ResourceRequirementItemProvider.java
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/ModelManipulationAggregatorTest.xtend
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/model/model.ecore
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/plugin.properties
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/CyberPhysicalSystemItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/StateMachineImpl.java
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_min0_Priority.snapshot
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/ResourceRequirementImpl.java
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_min1_Priority.snapshot
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/AllCpsTests.xtend
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/Transition.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/HostInstanceImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/ApplicationTypeItemProvider.java
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/ModelManipulationMinMaxAggregatorTest.xtend
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/CyberPhysicalSystemPackage.java
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/src/org/eclipse/viatra/examples/cps/tests/queries/aggregators.vql
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/ApplicationInstanceImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/CyberPhysicalSystemImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/ResourceRequirement.java
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_sum21_Priority.snapshot
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/TransitionItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/util/CyberPhysicalSystemSwitch.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/AppState.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/RequirementImpl.java
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_min2_Priority.snapshot
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/model/model.genmodel
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/State.java
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_max7_Priority.snapshot
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/StateMachineItemProvider.java
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.instances/aggregators.cyberphysicalsystem
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/TransitionImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/RequestImpl.java
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_max6_Priority.snapshot
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/CyberPhysicalSystemFactory.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/HostTypeItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/HostInstanceItemProvider.java
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/ModelManipulationSumAggregatorTest.xtend
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/ModelEditPlugin.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/util/CyberPhysicalSystemAdapterFactory.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.editor/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/presentation/ModelEditorPlugin.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/ApplicationInstanceItemProvider.java
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_max5_Priority.snapshot
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.editor/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/presentation/CyberPhysicalSystemModelWizard.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/CyberPhysicalSystem.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/Identifiable.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/HostType.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/CyberPhysicalSystemFactoryImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/StateImpl.java
Commit 353181442ebe9f0f68cfc3f5b73015df0e66f593 by Zoltan Ujhelyi
[501046] Added test model to build.properties

Change-Id: Ic1f16f6d8c095d508a3f5ca7a9b81d7bd3f2f75f
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.instances/build.properties
Commit 00bf4d6550adf11651dc5cbfb5adf6324eb0959b by Tamas Szabo
Revert "[501046] Adds model manipulation tests for aggregators (min, max, sum)"

This reverts commit 46b7bc0e706615013b74764ec3a991e9a27225ca.
The file was removedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_min1_Priority.snapshot
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/StateMachine.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.editor/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/presentation/CyberPhysicalSystemActionBarContributor.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/Requirement.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/util/CyberPhysicalSystemSwitch.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/model/model.genmodel
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/TransitionImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/RequestItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/CyberPhysicalSystemFactory.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/ResourceRequirementImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.editor/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/presentation/ModelEditorPlugin.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/AppState.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/util/CyberPhysicalSystemAdapterFactory.java
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/ModelManipulationAggregatorTest.xtend
The file was removedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_min2_Priority.snapshot
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/RequestImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/ApplicationType.java
The file was removedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/ModelManipulationSumAggregatorTest.xtend
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/Request.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/ApplicationInstance.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/StateItemProvider.java
The file was removedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_min0_Priority.snapshot
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/plugin.properties
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/HostTypeItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/HostType.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.editor/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/presentation/CyberPhysicalSystemEditor.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/Transition.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/model/model.ecore
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/CyberPhysicalSystem.java
The file was removedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/ModelManipulationMinMaxAggregatorTest.xtend
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/ModelEditPlugin.java
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/src/org/eclipse/viatra/examples/cps/tests/queries/aggregators.vql
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/CyberPhysicalSystemFactoryImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/StateMachineItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/CyberPhysicalSystemItemProviderAdapterFactory.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/HostInstanceItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/ApplicationTypeItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/StateImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/ApplicationInstanceItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/ResourceRequirement.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/StateMachineImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/ApplicationInstanceImpl.java
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/plugin.xml
The file was removedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_max7_Priority.snapshot
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/CyberPhysicalSystemImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/RequirementItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/HostTypeImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/CyberPhysicalSystemPackageImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/HostInstance.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/State.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/RequirementImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/TransitionItemProvider.java
The file was removedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.instances/aggregators.cyberphysicalsystem
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/ResourceRequirementItemProvider.java
The file was removedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_max6_Priority.snapshot
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/ApplicationTypeImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/HostInstanceImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/Identifiable.java
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/AllCpsTests.xtend
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/CyberPhysicalSystemPackage.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/CyberPhysicalSystemItemProvider.java
The file was removedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_max5_Priority.snapshot
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.editor/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/presentation/CyberPhysicalSystemModelWizard.java
The file was removedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_sum21_Priority.snapshot
Commit 65b5150895a10b497e8db919df20be0c8f05b8ed by Zoltan Ujhelyi
[501046] Adds model manipulation tests for aggregators (min, max, sum)

Change-Id: I0c3e458f6889246f0df29bdf6776b9fe5101cb51
Signed-off-by: Tamas Szabo <tamas.szabo@itemis.de>
Signed-off-by: Zoltan Ujhelyi <ujhelyiz@incquerylabs.com>
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/ApplicationTypeImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/Requirement.java
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/src/org/eclipse/viatra/examples/cps/tests/queries/aggregators.vql
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/HostTypeItemProvider.java
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_max5_Priority.snapshot
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/Identifiable.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/StateMachineItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/RequestItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/CyberPhysicalSystemImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/util/CyberPhysicalSystemAdapterFactory.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/ApplicationInstanceImpl.java
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_max7_Priority.snapshot
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/RequirementImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/StateItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.editor/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/presentation/CyberPhysicalSystemModelWizard.java
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/plugin.xml
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/plugin.properties
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/CyberPhysicalSystemItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/util/CyberPhysicalSystemSwitch.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/StateMachine.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/CyberPhysicalSystemPackageImpl.java
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/ModelManipulationAvgAggregatorTest.xtend
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/model/model.genmodel
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_sum21_Priority.snapshot
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/Request.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/Transition.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/TransitionItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/AppState.java
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_min0_Priority.snapshot
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/State.java
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.instances/aggregators.cyberphysicalsystem
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/ModelManipulationCpsTest.xtend
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_min1_Priority.snapshot
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/ModelManipulationMinMaxAggregatorTest.xtend
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/CyberPhysicalSystemFactoryImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/StateImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/ApplicationInstance.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/ModelEditPlugin.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.editor/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/presentation/ModelEditorPlugin.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/ResourceRequirementImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/HostTypeImpl.java
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/AllCpsTests.xtend
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/RequestImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/ApplicationTypeItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.editor/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/presentation/CyberPhysicalSystemActionBarContributor.java
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_min2_Priority.snapshot
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/ApplicationType.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/ApplicationInstanceItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/HostInstanceItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/CyberPhysicalSystemPackage.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/CyberPhysicalSystemItemProviderAdapterFactory.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/HostInstance.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/ResourceRequirement.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/CyberPhysicalSystem.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/HostInstanceImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.editor/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/presentation/CyberPhysicalSystemEditor.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/StateMachineImpl.java
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_max6_Priority.snapshot
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/ModelManipulationSumAggregatorTest.xtend
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/CyberPhysicalSystemFactory.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/model/model.ecore
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/impl/TransitionImpl.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/ResourceRequirementItemProvider.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/HostType.java
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model.edit/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/provider/RequirementItemProvider.java
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/ModelManipulationAggregatorTest.xtend
Commit 2a59a411ee1362a06b14f85af0aa6cc04f0244b2 by András Szabolcs Nagy
Updated dse bpmn example
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/EnoughResourceInstancesMatcher.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/CreateResourceMatcher.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/TaskNeedsVariantQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/EnoughResourceInstancesQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/VariantAllocatedToTaskMatcher.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/ParallelGatewayOutFlowQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/EveryTaskHasVariantQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/AbsenceOfResourceInstancesQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/InstanceOfVariantQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/AbsenceOfResourceInstancesMatcher.java
The file was modifieddse/cps/org.eclipse.viatra.dse.examples.cps.dse/META-INF/MANIFEST.MF
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/EveryTaskHasVariantMatcher.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/OutFlowQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/VariantAllocatedToTaskQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/TaskOrderQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/UnassignedTaskMatcher.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/InstanceOfVariantMatcher.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/InFlowQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/UnassignedTaskQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/AllocateTaskToVariantQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/UnrequiredResourceInstanceQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/MakeSequentialQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.dse/META-INF/MANIFEST.MF
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/TaskOrderMatcher.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/UnrequiredResourceInstanceMatcher.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src/org/eclipse/viatra/dse/examples/bpmn/patterns/patterns.vql
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/CreateResourceQuerySpecification.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/MakeParallelMatcher.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/MakeSequentialMatcher.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/AllocateTaskToVariantMatcher.java
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/src-gen/org/eclipse/viatra/dse/examples/bpmn/patterns/util/MakeParallelQuerySpecification.java
Commit 58210e4f388d5cd14b285f81bc108d25ea20f98b by András Szabolcs Nagy
added DSE Bpmn smoke test & maven build
The file was addeddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.test/META-INF/MANIFEST.MF
The file was addeddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.test/.classpath
The file was addeddse/bpmn/pom.xml
The file was addeddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.test/build.properties
The file was addeddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.test/pom.xml
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.dse/build.properties
The file was addeddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/pom.xml
The file was addeddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.test/.project
The file was addeddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.test/.settings/org.eclipse.jdt.core.prefs
The file was addeddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.dse/pom.xml
The file was addeddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.test/src/org/eclipse/viatra/dse/examples/bpmn/test/BpmnExamplesTest.java
The file was addeddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.model/pom.xml
Commit bb7a0bcfd1d3c4df109a6207f5c13c2331c69364 by András Szabolcs Nagy
unused import
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.test/src/org/eclipse/viatra/dse/examples/bpmn/test/BpmnExamplesTest.java
Commit 03e5fb513f1d0c69141dab6aef42882bbd76b11a by Zoltan Ujhelyi
[500975] Updated test with division by zero error

Change-Id: I36d40b3ace9b0b7e703b8c2619cb329303219441
Signed-off-by: Zoltan Ujhelyi <ujhelyiz@incquerylabs.com>
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/ModelManipulationAvgAggregatorTest.xtend
Commit d89a438b4290fa787c6b09489da8aad1fa163b35 by Abel Hegedus
[CPS] add EMF SDK to setup
The file was modifiedcps/releng/org.eclipse.viatra.examples.cps.setup/CPSExample.setup
Commit e56087b1e15470511970390a416d5d689140d59a by Abel Hegedus
[497889][CPS] fixed example model to avoid spaces in identifers
The file was modifiedcps/models/org.eclipse.viatra.examples.cps.instances/example.cyberphysicalsystem
Commit 8a3c05c92d203ea4b620209462c4fffc9351baa1 by Abel Hegedus
[497889][CPS] added whitespace validation rule
The file was modifiedcps/addons/org.eclipse.viatra.examples.cps.queries.validation/plugin.xml
The file was addedcps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/IdContainsWhitespaceConstraint0.java
The file was modifiedcps/queries/org.eclipse.viatra.examples.cps.queries/plugin.xml
The file was modifiedcps/queries/org.eclipse.viatra.examples.cps.queries/src/org/eclipse/viatra/examples/cps/model/validation/rules.vql
Commit 9f2a6c6759c955c3f01fcfdce61421492e7ad7bf by bergmann
[501046] Adds two new test cases for edge cases of the sum aggregator

Change-Id: I5a7770908e36b15d52747e6dc06069cacd181fd4
Signed-off-by: bergmann <bergmann@mit.bme.hu>
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/ModelManipulationSumAggregatorTest.xtend
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_sum0_Priority.snapshot
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/ModelManipulationAggregatorTest.xtend
Commit 86dd315d245a31f3e77626b120e6f82c7352d1f5 by Zoltan Ujhelyi
Added Jacoco config to the DSE BPMN example
The file was modifieddse/bpmn/pom.xml
The file was modifieddse/bpmn/org.eclipse.viatra.dse.examples.bpmn.test/pom.xml
Commit 8bf38a41bfb82b10b85f89df98acee2589aed114 by Zoltan Ujhelyi
Updated GUI test product to use VIATRA 1.5
The file was modifiedcps/frameworktests/org.eclipse.viatra.gui.tests.product/viatra_product.product
Commit 41c774f822f0ca7a5e5596762b94a8178147d97b by Zoltan Ujhelyi
Updated CPS viewers plug-in to use VIATRA 1.5
The file was modifiedcps/addons/org.eclipse.viatra.examples.cps.view/build.properties
The file was modifiedcps/addons/org.eclipse.viatra.examples.cps.view/META-INF/MANIFEST.MF
Commit 98fdc06b6da3b956e42c19039075e5a9fa1c888b by Zoltan Ujhelyi
Updated CPS MWE integration plug-in to use VIATRA 1.5
The file was modifiedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/META-INF/MANIFEST.MF
Commit bf159ba6b5015fcb98b6ea5bd19db38b022d56a4 by Grill Balazs
[506253] Test to reproduce issue

Change-Id: I8d3c959883129a7b142608f376b970b488aa9bf7
Signed-off-by: Grill Balazs <balazs.grill@incquerylabs.com>
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/VariableEqualityCpsTest.xtend
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/src/org/eclipse/viatra/examples/cps/tests/queries/simpleCpsQueries.vql
Commit 45f49e17d886cde4421773b14d060c8fcf787c81 by Zoltan Ujhelyi
[506253] Fixed (and extended) test cases for the issue

Change-Id: I7629023c5b7e83ea20487050615a59703baffca5
Signed-off-by: Zoltan Ujhelyi <ujhelyiz@incquerylabs.com>
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/VariableEqualityCpsTest.xtend
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/plugin.xml
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/src/org/eclipse/viatra/examples/cps/tests/queries/otherTests.vql
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/src/org/eclipse/viatra/examples/cps/tests/queries/simpleCpsQueries.vql
Commit c9a4fb6b0572e6810f30c635d7096f089a8e028c by Zoltan Ujhelyi
[506486] Test case for the verification of the wizard issue

Change-Id: I579ca180a1bf1263d4ad952df62a2005f4abd862
Signed-off-by: Zoltan Ujhelyi <ujhelyiz@incquerylabs.com>
The file was modifiedcps/frameworktests/org.eclipse.viatra.gui.tests/VIATRA Basic Creations.suite
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Create Pattern with Template.test
Commit 73a2701f45661e0c2bfe75889fd24ea554450fa6 by Zoltan Ujhelyi
[506486] Removed content assist from new test case
The file was modifiedcps/frameworktests/org.eclipse.viatra.gui.tests/Create Pattern with Template.test
Commit fe74643956416d770e7d1bf60af8e407f0987015 by Zoltan Ujhelyi
[506486] Fixed syntax error in test specification
The file was modifiedcps/frameworktests/org.eclipse.viatra.gui.tests/Create Pattern with Template.test
Commit 8252c88d1909c1eb56fa84aac16e867015af4013 by bergmann
[506701] Regression test for count recipe bug

ArrayIndexOutOfBoundsException from count node indexer in Rete

Change-Id: Ibe9ef86813cda95518173f9fb7cf35247023d4f3
Task-Url: https://bugs.eclipse.org/bugs/show_bug.cgi?id=506701
Signed-off-by: bergmann <bergmann@mit.bme.hu>
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/AggregatorTest.xtend
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/src/org/eclipse/viatra/examples/cps/tests/queries/aggregators.vql