SuccessChanges

Summary

  1. [CPS] update VIATRA version (details)
  2. [CPS] add missing queries to extension (details)
  3. [CPS] remove explicit Guava dependency (details)
  4. [CPS] update Setup to use VIATRA 1.5 (details)
  5. add missing copyright headers (details)
  6. [507760] add tests for unset handling in base index (details)
  7. [493140] Added functional dependency analysis tests (details)
  8. [493140] Added regression test for functional dependency annotations (details)
  9. [508378][CPS] remove dependencies from viatra-maven-plugin (details)
  10. [507052] Added simple tests for checking boolean literals (details)
  11. GUI tests uses VIATRA 1.5 compiler (details)
Commit 58d9bdb36e932dd6fc8ee9906a6901b4344ffd6f by Abel Hegedus
[CPS] update VIATRA version
The file was modifiedcps/pom.xml
Commit 802f8f47d8aca60ea55ad9287847a5c18b1e2b69 by Abel Hegedus
[CPS] add missing queries to extension
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/plugin.xml
Commit b753eededd2b5bcd8cbdd22ada2b54ace37e50f8 by Abel Hegedus
[CPS] remove explicit Guava dependency
The file was modifiedcps/generator/org.eclipse.viatra.examples.cps.generator/pom.xml
Commit 27444f8247a4ef3245ebf34d4e0f89325954b171 by Abel Hegedus
[CPS] update Setup to use VIATRA 1.5
The file was modifiedcps/releng/org.eclipse.viatra.examples.cps.setup/CPSExample.setup
Commit 68ba8af366fdcd48c6b9d67980f416868d235509 by Abel Hegedus
add missing copyright headers
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/BaseIndexerTest.xtend
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/src/org/eclipse/viatra/examples/cps/tests/LocalSearchPlanCostOverflowTest.xtend
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/AllBackendTypes.xtend
Commit 65c91796bbaa13b1f0d0a51af00a4ef51a23e8af by Abel Hegedus
[507760] add tests for unset handling in base index

CPS model modified to allow unsetting on some features

Change-Id: I914de35d368131775e2e61ea393ce97cb33310a7
Signed-off-by: Abel Hegedus <abel.hegedus@incquerylabs.com>
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/AllCpsTests.xtend
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/BaseIndexerUnsetTest.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/impl/RequestImpl.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/model/model.ecore
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/Requirement.java
Commit 8777e4b4843e29fff61b619f0656c82b68dd5167 by Gabor Bergmann
[493140] Added functional dependency analysis tests

Change-Id: I1b1852eda96f3bdfcfd02e72f2274aa3098e37d1
Task-Url: https://bugs.eclipse.org/bugs/show_bug.cgi?id=493140
Signed-off-by: bergmann <bergmann@mit.bme.hu>
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/FunctionalDependencyAnalysisTest.xtend
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/AllCpsTests.xtend
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/src/org/eclipse/viatra/examples/cps/tests/queries/functionalDependencies.vql
Commit 2ce0f56c85355bb994f66417faad93ca9922c000 by bergmann
[493140] Added regression test for functional dependency annotations

Task-Url: https://bugs.eclipse.org/bugs/show_bug.cgi?id=493140
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/FunctionalDependencyAnalysisTest.xtend
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/src/org/eclipse/viatra/examples/cps/tests/queries/functionalDependencies.vql
Commit f447df90fb9cc706c07664499499538a37e65fae by Abel Hegedus
[508378][CPS] remove dependencies from viatra-maven-plugin

set useProjectDependencies to true

Bug 508378
Change-Id: I7f6c8d65348bcd7f504714f0d6ece745ad0165ce
Signed-off-by: Abel Hegedus <abel.hegedus@incquerylabs.com>
The file was modifiedcps/queries/org.eclipse.viatra.examples.cps.queries/pom.xml
The file was modifiedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.viatra/pom.xml
The file was modifiedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/pom.xml
The file was modifiedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.viatra/pom.xml
The file was modifiedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/pom.xml
The file was modifiedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/pom.xml
The file was modifiedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/pom.xml
The file was modifiedcps/generator/org.eclipse.viatra.examples.cps.generator/pom.xml
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/pom.xml
The file was modifiedcps/frameworktests/org.eclipse.viatra.gui.tests.queries/pom.xml
The file was modifiedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.aggr/pom.xml
Commit ee973b75a849ad5634752116b296a57b25902b2b by Zoltan Ujhelyi
[507052] Added simple tests for checking boolean literals

This required adding a new EBoolean attribute to the CPS domain
metamodel.

Change-Id: I65a3d5aa9b2042c703445dc585d0e896a7917730
Signed-off-by: Zoltan Ujhelyi <ujhelyiz@incquerylabs.com>
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/model/model.genmodel
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/LiteralValuesTest.xtend
The file was modifiedcps/domains/org.eclipse.viatra.examples.cps.model/src/org/eclipse/viatra/examples/cps/cyberPhysicalSystem/CyberPhysicalSystemPackage.java
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/src/org/eclipse/viatra/examples/cps/tests/queries/LiteralUsage.vql
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/model/model.aird
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/impl/RequirementImpl.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/CyberPhysicalSystemPackageImpl.java
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.instances/demo.cyberphysicalsystem
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/snapshots/test_mandatoryRequirements.snapshot
The file was modifiedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/AllCpsTests.xtend
Commit 1adfb45e5b686d3121966ca9da694aa792731242 by Zoltan Ujhelyi
GUI tests uses VIATRA 1.5 compiler
The file was modifiedcps/frameworktests/org.eclipse.viatra.gui.tests.parent/pom.xml