Skip to content

Changes

Summary

  1. [495123] Petri net example is not allowed to use snapshot repository (details)
  2. [495123] Updated repository ids for petri net example (details)
  3. [490621] Sharing the CPS demonstrator for VIATRA (details)
  4. [469226][482021] Automated tests for the VIATRA framework (details)
Commit f5640bd5b31710ea73a2d2592d1f0e54d08436ae by Zoltan Ujhelyi
[495123] Petri net example is not allowed to use snapshot repository
The file was modified transformation/petrinet-simulator-maven/pom.xml
Commit f8db51cf8fd461d74ce30f357402b8308d13af2b by Zoltan Ujhelyi
[495123] Updated repository ids for petri net example
The file was modified transformation/petrinet-simulator-maven/pom.xml
Commit 96da9c029ae54750a449d0ca1d53e67264b30fc4 by Abel Hegedus
[490621] Sharing the CPS demonstrator for VIATRA

The CPS demonstrator is an open source example that illustrates the
capabilities of VIATRA, and was originally developed by IncQuery Labs
Ltd. and offered for the VIATRA project.

Change-Id: Ieb584f8e95ad1e0b07b173eaa9f18d429e37bf07
Signed-off-by: Tamas Borbas <borbastomi@gmail.com>
Signed-off-by: Marton Bur <marton.bur@gmail.com>
Signed-off-by: Istvan David <davidi@inf.mit.bme.hu>
Signed-off-by: Robert Doczi <robert.doczi@incquerylabs.com>
Signed-off-by: Balazs Grill <balazs.grill@incquerylabs.com>
Signed-off-by: Denes Harmath <harmath@incquerylabs.com>
Signed-off-by: Abel Hegedus <abel.hegedus@incquerylabs.com>
Signed-off-by: Peter Lunk <lunk.peter@incquerylabs.com>
Signed-off-by: Akos Menyhert <menyhert.akos@gmail.com>
Signed-off-by: Daniel Segesdi <daniel.segesdi@incquerylabs.com>
Signed-off-by: Zoltan Ujhelyi <ujhelyiz@incquerylabs.com>
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model/model/model.aird
The file was addedcps/tests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/PropertiesUtil.xtend
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/ViatraTransformation.xtend
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto.distributed/.settings/org.eclipse.core.resources.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer.eclipse/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/addons/org.eclipse.viatra.examples.cps.view/.classpath
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment/model/deployment.ecore
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.aggr/xtend-gen/.gitignore
The file was addedcps/models/org.eclipse.viatra.examples.cps.instances/.settings/org.eclipse.core.resources.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/qrt/rules/HostRules.xtend
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto.distributed/src/org/eclipse/viatra/examples/cps/m2t/proto/distributed/general/applications/Application.java
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/.settings/org.eclipse.pde.core.prefs
The file was addedcps/addons/org.eclipse.viatra.examples.cps.view/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/models/org.eclipse.viatra.examples.cps.instances/example.traceability
The file was addedcps/tests/org.eclipse.viatra.examples.cps.tests/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer.eclipse/build.properties
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/dtos/CPSFragment.xtend
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model.editor/build.properties
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment.edit/build.properties
The file was addedcps/tests/org.eclipse.viatra.examples.cps.generator.tests/results/.gitignore
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/PartialBatch.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/plugin.xml
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto.distributed/src/org/eclipse/viatra/examples/cps/m2t/proto/distributed/general/hosts/BaseHost.java
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.aggr/src-gen/.gitignore
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/operations/DeleteTransitionWithoutAction.xtend
The file was addedcps/generator/org.eclipse.viatra.examples.cps.planexecutor/src/org/eclipse/viatra/examples/cps/planexecutor/PlanExecutor.xtend
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/dtos/scenario/IScenario.xtend
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/BatchSimple.xtend
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model/plugin.xml
The file was addedcps/generator/org.eclipse.viatra.examples.cps.planexecutor/.settings/org.eclipse.core.resources.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.optimized/xtend-gen/.gitignore
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer.javaio/.project
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto.distributed/src/org/eclipse/viatra/examples/cps/m2t/proto/distributed/generated/applications/IBMSystemStorageApplication.java
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer.javaio/build.properties
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.serializer.test/META-INF/MANIFEST.MF
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment.edit/META-INF/MANIFEST.MF
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/src-gen/.gitignore
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/.settings/org.eclipse.core.resources.prefs
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.serializer.test/build.properties
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t.jdt/META-INF/MANIFEST.MF
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/operations/ApplicationInstanceGenerationOperation.xtend
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/TransformationType.java
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/src/org/eclipse/viatra/examples/cps/integration/eventdriven/ScheduledEventDrivenTransformation.mwe2
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.aggr/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/maven/CPS-models-with-edit-and-editor/README.md
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/.classpath
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability/.project
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer.javaio/META-INF/MANIFEST.MF
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.aggr/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/aggr/CPS2DeploymentPartialBatchTransformation.xtend
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto.distributed/src/org/eclipse/viatra/examples/cps/m2t/proto/distributed/generated/hosts/statemachines/BehaviorSmokeDetectorB.java
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.aggr/pom.xml
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/src/org/eclipse/viatra/examples/cps/xform/m2t/api/ChangeM2TOutputProvider.java
The file was addedcps/models/org.eclipse.viatra.examples.cps.instances/src-gen/HouseControllerToArwen.json
The file was addedcps/addons/org.eclipse.viatra.examples.cps.queries.validation/build.properties
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.viatra/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/tests/org.eclipse.viatra.examples.cps.tests/build.properties
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2t.tests/src/org/eclipse/viatra/examples/cps/xform/m2t/tests/util/DeploymentChangeMonitorTest.xtend
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/.classpath
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t.jdt/src/org/eclipse/viatra/examples/cps/xform/m2t/jdt/CodeGenerator.xtend
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model/plugin.properties
The file was addedcps/generator/org.eclipse.viatra.examples.cps.planexecutor/build.properties
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment/model/deployment.aird
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.viatra/build.properties
The file was addedcps/addons/org.eclipse.viatra.examples.cps.queries.validation/pom.xml
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto.distributed/src/org/eclipse/viatra/examples/cps/m2t/proto/distributed/general/hosts/Host.java
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/BatchOptimized.xtend
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability.edit/.settings/org.eclipse.core.resources.prefs
The file was addedcps/tests/org.eclipse.viatra.examples.cps.generator.tests/META-INF/MANIFEST.MF
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/.settings/org.eclipse.pde.core.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer/META-INF/MANIFEST.MF
The file was addedcps/tests/org.eclipse.viatra.examples.cps.m2t.proto.distributed.tests/build.properties
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model/model/model.genmodel
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/src/org/eclipse/viatra/examples/cps/xform/m2t/monitor/DeploymentChangeMonitor.java
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/dtos/Percentage.xtend
The file was addedcps/queries/org.eclipse.viatra.examples.cps.queries/src/org/eclipse/viatra/examples/cps/model/viewer/cpsModelViewerHW.vql
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.viatra/.classpath
The file was addedcps/tests/org.eclipse.viatra.examples.cps.generator.tests/src/org/eclipse/viatra/examples/cps/generator/tests/constraints/LargeCPSConstraints.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t.distributed/META-INF/MANIFEST.MF
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer.javaio/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/src/org/eclipse/viatra/examples/cps/integration/messages/M2TOutputMessage.xtend
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment.edit/.project
The file was addedcps/models/org.eclipse.viatra.examples.cps.instances/traceability_viewer.png
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto/src/org/eclipse/viatra/examples/cps/m2t/proto/elements/Application.java
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/phases/CPSPhasePrepare.xtend
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/dtos/AppClass.xtend
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/src/org/eclipse/viatra/examples/cps/integration/ChangeMonitorTransformationStep.java
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto/src/org/eclipse/viatra/examples/cps/m2t/proto/simulation/SimulatorRunner.java
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto.distributed/src/org/eclipse/viatra/examples/cps/m2t/proto/distributed/generated/hosts/Host152661025.java
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/build.properties
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2t.tests/build.properties
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability/META-INF/MANIFEST.MF
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/.gitignore
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/expl/rules/StateRules.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.optimized/.project
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/mappings/StateMappingTest.xtend
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto/test/org/eclipse/viatra/examples/cps/m2t/proto/test/PrototypeSimulationTest.java
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer.javaio/src/org/eclipse/viatra/examples/cps/xform/serializer/javaio/JavaIOBasedFileAccessor.java
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.aggr/build.properties
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/.settings/org.eclipse.core.resources.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.simple/src/org/eclipse/viatra/examples/cps/xform/m2m/batch/simple/CPS2DeploymentBatchTransformationSimple.xtend
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/operations/ApplicationTypeStatisticsBasedGenerationOperation.xtend
The file was addedcps/maven/CPS-model-only/README.md
The file was addedcps/generator/org.eclipse.viatra.examples.cps.planexecutor/.project
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer/.settings/org.eclipse.core.resources.prefs
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model.edit/plugin.properties
The file was addedcps/tests/org.eclipse.viatra.examples.cps.generator.tests/.project
The file was addedcps/tests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/CPSTestBase.xtend
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/exceptions/ModelGeneratorException.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/src/org/eclipse/viatra/examples/cps/xform/m2t/api/ICPSGenerator.xtend
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/utils/RandomUtils.xtend
The file was addedcps/addons/org.eclipse.viatra.examples.cps.view/pom.xml
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.viatra/build.properties
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer.javaio/pom.xml
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability.editor/pom.xml
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2t.tests/.project
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model.editor/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/tests/org.eclipse.viatra.examples.cps.generator.tests/models/.gitignore
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment/META-INF/MANIFEST.MF
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2t.tests/.classpath
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/interfaces/ICPSConstraints.xtend
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/operations/ApplicationInstanceAllocationOperation.xtend
The file was addedcps/queries/org.eclipse.viatra.examples.cps.queries/src/org/eclipse/viatra/examples/cps/model/viewer/cpsModelViewerCommon.vql
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.viatra/.settings/org.eclipse.pde.core.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/qrt/rules/StateRules.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/META-INF/MANIFEST.MF
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/xtend-gen/.gitignore
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.viatra/pom.xml
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/interfaces/IConstraints.xtend
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability.edit/.project
The file was addedcps/tests/org.eclipse.viatra.examples.cps.generator.tests/src/org/eclipse/viatra/examples/cps/generator/tests/constraints/HostClassesCPSConstraints.xtend
The file was addedcps/queries/org.eclipse.viatra.examples.cps.queries/src-gen/.gitignore
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer/.project
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.viatra/src-gen/.gitignore
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/BatchIncQuery.xtend
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/dtos/TraceabilityStats.xtend
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment/build.properties
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/src-gen/.gitignore
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model/build.properties
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.optimized/.classpath
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability.editor/.classpath
The file was addedcps/addons/org.eclipse.viatra.examples.cps.view/META-INF/MANIFEST.MF
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.viatra/META-INF/MANIFEST.MF
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/.project
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/plugin.xml
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/build.properties
The file was addedcps/queries/org.eclipse.viatra.examples.cps.queries/src/org/eclipse/viatra/examples/cps/model/viewer/cpsModelViewerSM.vql
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t.jdt/xtend-gen/.gitignore
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/pom.xml
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment/pom.xml
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer/.classpath
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/dtos/HostClass.xtend
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/phases/CPSPhaseSignalSet.xtend
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/CPSTransformationWrapper.xtend
The file was addedcps/models/org.eclipse.viatra.examples.cps.instances/example_viewer.jpg
The file was addedcps/tests/org.eclipse.viatra.examples.cps.generator.tests/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/models/org.eclipse.viatra.examples.cps.instances/.project
The file was addedcps/addons/org.eclipse.viatra.examples.cps.view/src/org/eclipse/viatra/examples/cps/view/CpsAllocationViewPart.java
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability/plugin.xml
The file was addedcps/releng/org.eclipse.viatra.examples.cps.target/.gitignore
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/operations/HostInstanceCommunicatesWithOperation.xtend
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/utils/StatsUtil.xtend
The file was addedcps/generator/org.eclipse.viatra.examples.cps.planexecutor/META-INF/MANIFEST.MF
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/.classpath
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/operations/HostInstanceGenerationOperation.xtend
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/xtend-gen/.gitignore
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/qrt/rules/TriggerRules.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer/src/org/eclipse/viatra/examples/cps/xform/serializer/DefaultSerializer.java
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer/build.properties
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2t.tests/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/addons/org.eclipse.viatra.examples.cps.view/plugin.xml
The file was addedcps/tests/org.eclipse.viatra.examples.cps.tests/.settings/org.eclipse.core.resources.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.aggr/plugin.xml
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.optimized/src/org/eclipse/viatra/examples/cps/xform/m2m/batch/optimized/CPS2DeploymentBatchTransformationOptimized.xtend
The file was addedcps/queries/org.eclipse.viatra.examples.cps.queries/META-INF/MANIFEST.MF
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment.edit/.classpath
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t.distributed/.settings/org.eclipse.core.resources.prefs
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/operations/HostTypeGenerationOperation.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.util/build.properties
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/src/org/eclipse/viatra/examples/cps/integration/messages/ChangeDeltaMessage.xtend
The file was addedcps/releng/org.eclipse.viatra.examples.cps.metamodel.feature/feature.xml
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto.distributed/src/org/eclipse/viatra/examples/cps/m2t/proto/distributed/generated/applications/CameraApplication.java
The file was addedcps/models/org.eclipse.viatra.examples.cps.instances/example.deployment
The file was addedcps/tests/org.eclipse.viatra.examples.cps.tests/xtend-gen/.gitignore
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto.distributed/src/org/eclipse/viatra/examples/cps/m2t/proto/distributed/generated/applications/SmokeDetectorApplication.java
The file was addedcps/queries/org.eclipse.viatra.examples.cps.queries/.settings/org.eclipse.pde.core.prefs
The file was addedcps/queries/org.eclipse.viatra.examples.cps.queries/plugin.xml
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment.editor/.project
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability.edit/.classpath
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.optimized/pom.xml
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/dtos/GeneratorPlan.xtend
The file was addedcps/generator/org.eclipse.viatra.examples.cps.planexecutor/pom.xml
The file was addedcps/releng/org.eclipse.viatra.examples.cps.update/.project
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability/build.properties
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.aggr/META-INF/MANIFEST.MF
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/qrt/rules/ApplicationRules.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/src-gen/.gitignore
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/queries/org.eclipse.viatra.examples.cps.queries/pom.xml
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t.distributed/build.properties
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/src/org/eclipse/viatra/examples/cps/integration/SerializerTransformationStep.java
The file was addedcps/tests/org.eclipse.viatra.examples.cps.m2t.proto.distributed.tests/.settings/org.eclipse.core.resources.prefs
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model.edit/.settings/org.eclipse.core.resources.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/META-INF/MANIFEST.MF
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto/src/org/eclipse/viatra/examples/cps/m2t/proto/elements/Transition.java
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer.eclipse/.settings/org.eclipse.core.resources.prefs
The file was addedcps/releng/org.eclipse.viatra.examples.cps.update/category.xml
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer.eclipse/META-INF/MANIFEST.MF
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability.editor/META-INF/MANIFEST.MF
The file was addedcps/addons/org.eclipse.viatra.examples.cps.queries.validation/.settings/org.eclipse.core.resources.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/src/org/eclipse/viatra/examples/cps/xform/m2t/monitor/DeploymentChangeDelta.xtend
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model/.classpath
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability/plugin.properties
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.viatra/xtend-gen/.gitignore
The file was addedcps/addons/org.eclipse.viatra.examples.cps.queries.validation/.project
The file was addedcps/releng/org.eclipse.viatra.examples.cps.metamodel.feature/.project
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model.editor/.classpath
The file was addedcps/queries/org.eclipse.viatra.examples.cps.queries/src/org/eclipse/viatra/examples/cps/model/viewer/cpsModelViewerReq.vql
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto.distributed/META-INF/MANIFEST.MF
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/qrt/util/PerJobFixedPriorityConflictResolver.xtend
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability.edit/META-INF/MANIFEST.MF
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/src/org/eclipse/viatra/examples/cps/xform/m2t/monitor/AbstractDeploymentChangeMonitor.java
The file was addedcps/addons/org.eclipse.viatra.examples.cps.queries.validation/META-INF/MANIFEST.MF
The file was addedcps/models/org.eclipse.viatra.examples.cps.instances/cps_model_viewer.png
The file was addedcps/models/org.eclipse.viatra.examples.cps.instances/deployment_viewer.png
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto.distributed/src/org/eclipse/viatra/examples/cps/m2t/proto/distributed/general/communicationlayer/CommunicationNetwork.java
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability.edit/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/phases/CPSPhaseActionStatisticsBasedGeneration.xtend
The file was addedcps/queries/org.eclipse.viatra.examples.cps.queries/src/org/eclipse/viatra/examples/cps/deployment/viewer/deploymentViewer.vql
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/mappings/HostMappingTest.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.simple/.classpath
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/phases/CPSPhaseHostCommunication.xtend
The file was addedcps/tests/org.eclipse.viatra.examples.cps.generator.tests/.settings/org.eclipse.core.resources.prefs
The file was addedcps/addons/org.eclipse.viatra.examples.cps.queries.validation/.settings/org.eclipse.pde.core.prefs
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/build.properties
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment/.classpath
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/phases/CPSPhaseApplicationAllocation.xtend
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto.distributed/build.properties
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/phases/CPSPhaseInstanceGeneration.xtend
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/QueryResultTraceability.xtend
The file was addedcps/generator/org.eclipse.viatra.examples.cps.planexecutor/xtend-gen/.gitignore
The file was addedcps/generator/org.eclipse.viatra.examples.cps.planexecutor/.settings/org.eclipse.pde.core.prefs
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/mappings/StateMachineMappingTest.xtend
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/operations/ActionGenerationOperation.xtend
The file was addedcps/releng/org.eclipse.viatra.examples.cps.setup/.settings/org.eclipse.core.resources.prefs
The file was addedcps/models/org.eclipse.viatra.examples.cps.instances/src-gen/SmokeDetectorToAragorn.json
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.viatra/.project
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/.settings/org.eclipse.core.resources.prefs
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model.edit/.project
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/expl/CPS2DeploymentTransformation.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.viatra/plugin.xml
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t.jdt/build.properties
The file was addedcps/tests/org.eclipse.viatra.examples.cps.tests/.classpath
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto/src/org/eclipse/viatra/examples/cps/m2t/proto/elements/Host.java
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.viatra/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/pom.xml
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2t.tests/xtend-gen/.gitignore
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model/model/model.ecore
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.viatra/src/org/eclipse/viatra/examples/cps/xform/m2m/batch/viatra/patterns/cpsXformM2M.vql
The file was addedcps/queries/org.eclipse.viatra.examples.cps.queries/.settings/org.eclipse.core.resources.prefs
The file was addedcps/tests/org.eclipse.viatra.examples.cps.generator.tests/src/org/eclipse/viatra/examples/cps/generator/tests/SampleModelGenerator.xtend
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/testproject/src/HostsimplecpshostFirstHostClass0inst0.java
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment/.settings/org.eclipse.core.resources.prefs
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/mappings/TransformationApiTest.xtend
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2t.tests/META-INF/MANIFEST.MF
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability.editor/plugin.properties
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/queries/validation.vql
The file was addedcps/queries/org.eclipse.viatra.examples.cps.queries/.project
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.serializer.test/src/org/eclipse/viatra/examples/cps/xform/m2t/serializer/test/JavaIOBasedAccessorTest.java
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/expl/rules/TriggerRules.xtend
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment.edit/.settings/org.eclipse.core.resources.prefs
The file was addedcps/generator/org.eclipse.viatra.examples.cps.planexecutor/src/org/eclipse/viatra/examples/cps/planexecutor/api/Initializer.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.optimized/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/META-INF/MANIFEST.MF
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment.edit/plugin.properties
The file was addedcps/tests/org.eclipse.viatra.examples.cps.generator.tests/.classpath
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/xtend-gen/.gitignore
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/dtos/CPSStats.xtend
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model.editor/.project
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/operations/ApplicationTypeGenerationOperation.xtend
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/.project
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/.classpath
The file was addedcps/addons/org.eclipse.viatra.examples.cps.view/src/org/eclipse/viatra/examples/cps/view/CpsHardwareViewPart.java
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/build.properties
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/.settings/org.eclipse.core.resources.prefs
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model/pom.xml
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/META-INF/MANIFEST.MF
The file was addedcps/tests/org.eclipse.viatra.examples.cps.generator.tests/src/org/eclipse/viatra/examples/cps/generator/tests/constraints/scenarios/BasicScenario.xtend
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/src/org/eclipse/viatra/examples/cps/integration/batch/BatchTransformation.mwe2
The file was addedcps/addons/org.eclipse.viatra.examples.cps.view/icon/iq.png
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment.editor/plugin.xml
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/cpsXformM2M.vql
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/.project
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/build.properties
The file was addedcps/tests/org.eclipse.viatra.examples.cps.generator.tests/src/org/eclipse/viatra/examples/cps/generator/tests/IntegrationTestScenario.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t.distributed/xtend-gen/.gitignore
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model.editor/META-INF/MANIFEST.MF
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t.distributed/src/org/eclipse/viatra/examples/cps/xform/m2t/distributed/CodeGenerator.java
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/dtos/MinMaxData.xtend
The file was addedcps/tests/org.eclipse.viatra.examples.cps.m2t.proto.distributed.tests/META-INF/MANIFEST.MF
The file was addedcps/tests/org.eclipse.viatra.examples.cps.m2t.proto.distributed.tests/src/org/eclipse/viatra/examples/cps/m2t/proto/distributed/tests/IntegrationTest.java
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.serializer.test/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.optimized/META-INF/MANIFEST.MF
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer/xtend-gen/.gitignore
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/.project
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/src/org/eclipse/viatra/examples/cps/integration/ModelModifierStep.java
The file was addedcps/tests/org.eclipse.viatra.examples.cps.m2t.proto.distributed.tests/.project
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/build.properties
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/src/org/eclipse/viatra/examples/cps/integration/messages/M2TOutputMessageFactory.xtend
The file was addedcps/models/org.eclipse.viatra.examples.cps.instances/src-gen/CameraToAragorn.json
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t.jdt/.project
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/build.properties
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/xtend-gen/.gitignore
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/dtos/bases/GeneratorInput.xtend
The file was addedcps/models/org.eclipse.viatra.examples.cps.instances/example.cyberphysicalsystem
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability.edit/build.properties
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/expl/rules/AbstractRule.xtend
The file was addedcps/tests/org.eclipse.viatra.examples.cps.generator.tests/build.properties
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.viatra/.settings/org.eclipse.core.resources.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.util/META-INF/MANIFEST.MF
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/CPS2DepTestWithoutParameters.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/src/org/eclipse/viatra/examples/cps/xform/m2t/api/DefaultM2TOutputProvider.java
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/utils/PersistenceUtil.xtend
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability/.settings/org.eclipse.core.resources.prefs
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/queries/queries.vql
The file was addedcps/addons/org.eclipse.viatra.examples.cps.view/src/org/eclipse/viatra/examples/cps/viewers/PerspectiveFactory.java
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto.distributed/.project
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.aggr/.classpath
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.simple/xtend-gen/.gitignore
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/pom.xml
The file was addedcps/models/org.eclipse.viatra.examples.cps.instances/generated/generatedDemoModel.cyberphysicalsystem
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/plugin.xml
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t.distributed/pom.xml
The file was addedcps/generator/org.eclipse.viatra.examples.cps.planexecutor/src-gen/.gitignore
The file was addedcps/generator/org.eclipse.viatra.examples.cps.planexecutor/src/org/eclipse/viatra/examples/cps/planexecutor/api/IOperation.xtend
The file was addedcps/tests/org.eclipse.viatra.examples.cps.generator.tests/src/org/eclipse/viatra/examples/cps/generator/tests/TestBase.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t.distributed/src/org/eclipse/viatra/examples/cps/xform/m2t/distributed/Generator.xtend
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto/.project
The file was addedcps/tests/org.eclipse.viatra.examples.cps.tests/.project
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto/src/org/eclipse/viatra/examples/cps/m2t/proto/simulation/Simulator.java
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/testproject/src/simplecpsappFirstAppClass0inst0Application.java
The file was addedcps/releng/org.eclipse.viatra.examples.cps.target/pom.xml
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer.eclipse/pom.xml
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.util/.project
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t.jdt/.settings/org.eclipse.core.resources.prefs
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment/model/deployment.genmodel
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.serializer.test/.classpath
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.serializer.test/xtend-gen/.gitignore
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/xtend-gen/.gitignore
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model/.project
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t.jdt/src/org/eclipse/viatra/examples/cps/xform/m2t/jdt/Generator.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/.classpath
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer/src/org/eclipse/viatra/examples/cps/xform/serializer/ISerializer.java
The file was addedcps/addons/org.eclipse.viatra.examples.cps.queries.validation/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/dtos/bases/GeneratorFragment.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.viatra/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/viatra/patterns/cpsXformM2M.vql
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/src/org/eclipse/viatra/examples/cps/xform/m2t/util/FormatterUtil.java
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model.edit/plugin.xml
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/pom.xml
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/.project
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.viatra/.classpath
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/src/org/eclipse/viatra/examples/cps/xform/m2t/exceptions/CPSGeneratorException.xtend
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto/.classpath
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/expl/rules/ApplicationRules.xtend
The file was addedcps/queries/org.eclipse.viatra.examples.cps.queries/src/org/eclipse/viatra/examples/cps/model/viewer/cpsModelViewerSW.vql
The file was addedcps/queries/org.eclipse.viatra.examples.cps.queries/src/org/eclipse/viatra/examples/cps/model/derived/derived.vql
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/expl/rules/StateMachineRules.xtend
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment.editor/pom.xml
The file was addedcps/releng/org.eclipse.viatra.examples.cps.update/pom.xml
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment.edit/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t.distributed/.project
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/src/org/eclipse/viatra/examples/cps/xform/m2t/api/IM2TOutputProvider.java
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment/.project
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.viatra/src-gen/.gitignore
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.viatra/.project
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/models/org.eclipse.viatra.examples.cps.instances/generated/AT60_AI2343_HT94_HI4166_S2015_T1253_AA1433_CH4166.cyberphysicalsystem
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.simple/pom.xml
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability.editor/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.serializer.test/.project
The file was addedcps/tests/org.eclipse.viatra.examples.cps.tests/samples/cps2dep_sample.properties
The file was addedcps/addons/org.eclipse.viatra.examples.cps.queries.validation/plugin.xml
The file was addedcps/tests/org.eclipse.viatra.examples.cps.generator.tests/src/org/eclipse/viatra/examples/cps/generator/tests/constraints/DemoCPSConstraints.xtend
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment.editor/.classpath
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/qrt/queries/cpsXformM2M.vql
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/expl/rules/TransitionRules.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.viatra/xtend-gen/.gitignore
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability.editor/plugin.xml
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto.distributed/src/org/eclipse/viatra/examples/cps/m2t/proto/distributed/general/applications/BaseApplication.java
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment.editor/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability.editor/.project
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/operations/SignalCalculationOperation.xtend
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/BatchViatra.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer.javaio/.settings/org.eclipse.core.resources.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/src/org/eclipse/viatra/examples/cps/xform/m2t/monitor/modelChangeListenerQueries.vql
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer.eclipse/.classpath
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment.editor/.settings/org.eclipse.core.resources.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.util/pom.xml
The file was addedcps/tests/org.eclipse.viatra.examples.cps.generator.tests/src/org/eclipse/viatra/examples/cps/generator/tests/constraints/OnlyHostTypesCPSConstraints.xtend
The file was addedcps/queries/org.eclipse.viatra.examples.cps.queries/src/org/eclipse/viatra/examples/cps/deployment/common/deploymentQueries.vql
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/META-INF/MANIFEST.MF
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/dtos/DeploymentStats.xtend
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/testproject/src/HostsimplecpshostFirstHostClass0inst1.java
The file was addedcps/tests/org.eclipse.viatra.examples.cps.m2t.proto.distributed.tests/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/utils/CPSModelBuilderUtil.xtend
The file was addedcps/releng/org.eclipse.viatra.examples.cps.metamodel.feature/build.properties
The file was addedcps/tests/org.eclipse.viatra.examples.cps.tests/pom.xml
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/dtos/bases/GeneratorConfiguration.xtend
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto.distributed/.classpath
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/pom.xml
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/src/org/eclipse/viatra/examples/cps/integration/messages/M2TOutputMessageProcessor.xtend
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability.edit/plugin.properties
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.simple/.settings/org.eclipse.core.resources.prefs
The file was addedcps/generator/org.eclipse.viatra.examples.cps.planexecutor/src/org/eclipse/viatra/examples/cps/planexecutor/api/IPlan.xtend
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model.editor/plugin.xml
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model.editor/plugin.properties
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/phases/CPSPhaseTypeStatisticsBasedGeneration.xtend
The file was addedcps/releng/org.eclipse.viatra.examples.cps.target/org.eclipse.viatra.examples.cps.target.target
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/pom.xml
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability/pom.xml
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.serializer.test/.settings/org.eclipse.core.resources.prefs
The file was addedcps/tests/org.eclipse.viatra.examples.cps.generator.tests/src/org/eclipse/viatra/examples/cps/generator/tests/constraints/SimpleCPSConstraints.xtend
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto.distributed/src/org/eclipse/viatra/examples/cps/m2t/proto/distributed/generated/hosts/statemachines/BehaviorAlarmB.java
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto/.settings/org.eclipse.core.resources.prefs
The file was addedcps/queries/org.eclipse.viatra.examples.cps.queries/build.properties
The file was addedcps/queries/org.eclipse.viatra.examples.cps.queries/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/src-gen/.gitignore
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.aggr/.settings/org.eclipse.core.resources.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/.classpath
The file was addedcps/tests/org.eclipse.viatra.examples.cps.m2t.proto.distributed.tests/.classpath
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.viatra/src/org/eclipse/viatra/examples/cps/xform/m2m/batch/viatra/rules/RuleProvider.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer.eclipse/xtend-gen/.gitignore
The file was addedcps/releng/org.eclipse.viatra.examples.cps.setup/CPSExample.setup
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.util/.classpath
The file was addedcps/addons/org.eclipse.viatra.examples.cps.view/.settings/org.eclipse.core.resources.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/qrt/rules/StateMachineRules.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer/src/org/eclipse/viatra/examples/cps/xform/serializer/IFileAccessor.java
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.viatra/.settings/org.eclipse.pde.core.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.util/xtend-gen/.gitignore
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto.distributed/src/org/eclipse/viatra/examples/cps/m2t/proto/distributed/generated/applications/AlarmApplication.java
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t.distributed/.classpath
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/.project
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/.classpath
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.aggr/.project
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/src/org/eclipse/viatra/examples/cps/xform/m2t/api/M2TOutputRecord.java
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/META-INF/MANIFEST.MF
The file was addedcps/addons/org.eclipse.viatra.examples.cps.view/.project
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/phases/CPSPhaseActionGeneration.xtend
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model.editor/.settings/org.eclipse.core.resources.prefs
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability.edit/plugin.xml
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment.editor/META-INF/MANIFEST.MF
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability/model/traceability.genmodel
The file was addedcps/queries/org.eclipse.viatra.examples.cps.queries/.classpath
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/xtend-gen/.gitignore
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model/.settings/org.eclipse.core.resources.prefs
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model.edit/build.properties
The file was addedcps/queries/org.eclipse.viatra.examples.cps.queries/src/org/eclipse/viatra/examples/cps/traceability/traceabilityQueries.vql
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment.editor/plugin.properties
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability.editor/build.properties
The file was addedcps/releng/org.eclipse.viatra.examples.cps.target/.project
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/mappings/ApplicationMappingTest.xtend
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability.editor/.settings/org.eclipse.core.resources.prefs
The file was addedcps/tests/org.eclipse.viatra.examples.cps.generator.tests/plugin.xml
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.simple/META-INF/MANIFEST.MF
The file was addedcps/addons/org.eclipse.viatra.examples.cps.view/src/org/eclipse/viatra/examples/cps/view/AbstractCpsViewPart.java
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment.edit/plugin.xml
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.viatra/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/viatra/rules/RuleProvider.xtend
The file was addedcps/models/org.eclipse.viatra.examples.cps.instances/src-gen/AlarmToAragorn.json
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto.distributed/src/org/eclipse/viatra/examples/cps/m2t/proto/distributed/generated/hosts/statemachines/BehaviorCameraB.java
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.simple/build.properties
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/qrt/rules/AbstractRule.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.util/src/org/eclipse/viatra/examples/cps/xform/m2m/util/NamingUtil.xtend
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model/META-INF/MANIFEST.MF
The file was addedcps/pom.xml
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/dtos/ModelStats.xtend
The file was addedcps/queries/org.eclipse.viatra.examples.cps.queries/src/org/eclipse/viatra/examples/cps/model/validation/rules.vql
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability.edit/pom.xml
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto.distributed/src/org/eclipse/viatra/examples/cps/m2t/proto/distributed/generated/hosts/Host152661026.java
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/xtend-gen/.gitignore
The file was addedcps/addons/org.eclipse.viatra.examples.cps.view/build.properties
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/mappings/ActionMappingTest.xtend
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.serializer.test/src/org/eclipse/viatra/examples/cps/xform/m2t/serializer/test/EclipseBasedAccessorTestTest.java
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto/src/org/eclipse/viatra/examples/cps/m2t/proto/elements/State.java
The file was addedcps/tests/org.eclipse.viatra.examples.cps.generator.tests/pom.xml
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t.jdt/.classpath
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/.settings/org.eclipse.core.resources.prefs
The file was addedcps/addons/org.eclipse.viatra.examples.cps.queries.validation/.classpath
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/qrt/rules/TransitionRules.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.optimized/.settings/org.eclipse.core.resources.prefs
The file was addedcps/generator/org.eclipse.viatra.examples.cps.planexecutor/plugin.xml
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/utils/CPSGeneratorBuilder.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/.settings/org.eclipse.core.resources.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.simple/.project
The file was addedcps/releng/org.eclipse.viatra.examples.cps.setup/.project
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.aggr/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/aggr/queries/cpsXformM2M.vql
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model.edit/pom.xml
The file was addedcps/tests/org.eclipse.viatra.examples.cps.generator.tests/src/org/eclipse/viatra/examples/cps/generator/tests/GeneratorTest.xtend
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/src/org/eclipse/viatra/examples/cps/integration/batch/M2MBatchViatraTransformationStep.java
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability/.classpath
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.viatra/src/org/eclipse/viatra/examples/cps/xform/m2m/batch/viatra/CPS2DeploymentBatchViatra.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/qrt/util/PriorityRuleSpecification.xtend
The file was addedcps/addons/org.eclipse.viatra.examples.cps.view/src/org/eclipse/viatra/examples/cps/view/CpsSoftwareViewPart.java
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/qrt/CPS2DeploymentTransformationQrt.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.viatra/.settings/org.eclipse.core.resources.prefs
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/META-INF/MANIFEST.MF
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.serializer.test/pom.xml
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/src/org/eclipse/viatra/examples/cps/integration/messages/ChangeDeltaMessageProcessor.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer.eclipse/src/org/eclipse/viatra/examples/cps/xform/serializer/eclipse/EclipseBasedFileAccessor.java
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer.eclipse/.project
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/plugin.xml
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/.settings/org.eclipse.pde.core.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer.javaio/.classpath
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.viatra/plugin.xml
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.simple/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/tests/org.eclipse.viatra.examples.cps.m2t.proto.distributed.tests/src/org/eclipse/viatra/examples/cps/m2t/proto/distributed/tests/GeneratorTest.java
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/src/org/eclipse/viatra/examples/cps/integration/M2TDistributedTransformationStep.java
The file was addedcps/maven/CPS-models-with-edit-and-editor/pom.xml
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment.editor/build.properties
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model.edit/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto.distributed/src/org/eclipse/viatra/examples/cps/m2t/proto/distributed/generated/hosts/statemachines/BehaviorISSBState.java
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/plugin.xml
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.viatra/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/viatra/CPS2DeploymentTransformationViatra.xtend
The file was addedcps/tests/org.eclipse.viatra.examples.cps.generator.tests/src/org/eclipse/viatra/examples/cps/generator/tests/constraints/AllocationCPSConstraints.xtend
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/src/org/eclipse/viatra/examples/cps/integration/InitializerComponent.java
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.optimized/build.properties
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.viatra/pom.xml
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto.distributed/src/org/eclipse/viatra/examples/cps/m2t/proto/distributed/general/HostRunner.java
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment/plugin.properties
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/src/org/eclipse/viatra/examples/cps/xform/m2t/monitor/ChangeMonitorJob.java
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.viatra/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/viatra/util/PerJobFixedPriorityConflictResolver.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/dtos/CPSGeneratorInput.xtend
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/ExplicitTraceability.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.util/.settings/org.eclipse.core.resources.prefs
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/testproject/src/BehaviorsimplecpsappFirstAppClass0sm0.java
The file was addedcps/models/org.eclipse.viatra.examples.cps.instances/.gitignore
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer/pom.xml
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/mappings/TransitionMappingTest.xtend
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/wrappers/WrapperTest.xtend
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model.edit/META-INF/MANIFEST.MF
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2t.tests/test-files/test.file
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.viatra/META-INF/MANIFEST.MF
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/expl/rules/TraceRules.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t.distributed/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t.jdt/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/src/org/eclipse/viatra/examples/cps/integration/messages/ChangeDeltaMessageFactory.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/pom.xml
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model.editor/pom.xml
The file was addedcps/generator/org.eclipse.viatra.examples.cps.planexecutor/src/org/eclipse/viatra/examples/cps/planexecutor/api/IPhase.xtend
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto.distributed/src/org/eclipse/viatra/examples/cps/m2t/proto/distributed/general/applications/statemachines/State.java
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/expl/queries/cpsXformM2M.vql
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/src/org/eclipse/viatra/examples/cps/xform/m2m/incr/expl/rules/HostRules.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/.project
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment.edit/pom.xml
The file was addedcps/tests/org.eclipse.viatra.examples.cps.generator.tests/xtend-gen/.gitignore
The file was addedcps/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 addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/CPSPlanBuilder.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.util/src/org/eclipse/viatra/examples/cps/xform/m2m/util/SignalUtil.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/generator/org.eclipse.viatra.examples.cps.planexecutor/.classpath
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/utils/SumProcessor.xtend
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2t.jdt/pom.xml
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2t.tests/pom.xml
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2m.tests/src/org/eclipse/viatra/examples/cps/xform/m2m/tests/CPS2DepTest.xtend
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability/model/traceability.ecore
The file was addedcps/domains/org.eclipse.viatra.examples.cps.traceability/model/traceability.aird
The file was addedcps/tests/org.eclipse.viatra.examples.cps.tests/META-INF/MANIFEST.MF
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.serializer.javaio/xtend-gen/.gitignore
The file was addedcps/addons/org.eclipse.viatra.examples.cps.view/src/org/eclipse/viatra/examples/cps/view/CpsRequirementViewPart.java
The file was addedcps/tests/org.eclipse.viatra.examples.cps.xform.m2t.tests/.settings/org.eclipse.core.resources.prefs
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src-gen/.gitignore
The file was addedcps/prototypes/org.eclipse.viatra.examples.cps.m2t.proto.distributed/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.util/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/addons/org.eclipse.viatra.examples.cps.mwe2integration.example/src/org/eclipse/viatra/examples/cps/integration/eventdriven/M2MScheduledEventDrivenViatraTransformationStep.java
The file was addedcps/generator/org.eclipse.viatra.examples.cps.planexecutor/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/releng/org.eclipse.viatra.examples.cps.metamodel.feature/pom.xml
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/dtos/BuildableCPSConstraint.xtend
The file was addedcps/tests/org.eclipse.viatra.examples.cps.tests/.gitignore
The file was addedcps/domains/org.eclipse.viatra.examples.cps.model.edit/.classpath
The file was addedcps/domains/org.eclipse.viatra.examples.cps.deployment/plugin.xml
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/utils/MapUtil.java
The file was addedcps/maven/CPS-model-only/pom.xml
The file was addedcps/generator/org.eclipse.viatra.examples.cps.generator/src/org/eclipse/viatra/examples/cps/generator/phases/CPSPhaseTypeGeneration.xtend
Commit e9e7e94ca1e1f0d2fc9a39bca7e0de09fa1c8d37 by Abel Hegedus
[469226][482021] Automated tests for the VIATRA framework

This commit introduces a set of test cases for (a) the query engine, and
(b) the IDE of VIATRA based on RCPTT. The test cases themselves depend
on the CPS metamodels.

Change-Id: Ic9fc6818e1521a04fc10adcb7c8a40550861456b
Signed-off-by: Tamas Borbas <borbastomi@gmail.com>
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.instances/pom.xml
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_deleteHostInstanceWithTheMostHostedApplication.snapshot
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/.project
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Create Query Project.test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries/build.properties
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Validation framework - Generate validation project.test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries/src/org/eclipse/viatra/gui/tests/queries/validationRules.vql
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.instances/demo.cyberphysicalsystem
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/pom.xml
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_changeAppTypeIdentifier.snapshot
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/src/org/eclipse/viatra/examples/cps/tests/queries/flattenedPatternCall.vql
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/build.properties
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Rete Visualizer - Clear graph.test
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/xtend-gen/.gitignore
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/.project
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/TestingFrameworkTest.xtend
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/META-INF/MANIFEST.MF
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/IdIsNotUniqueConstraint0.java
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries/META-INF/MANIFEST.MF
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/pom.xml
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Rete Visualizer - Testing layouts.test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/VIATRA Basic Creations.suite
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/APICpsTest.xtend
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Query Explorer - LocalSearchBackend.test
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/build.properties
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Query Explorer - Register patterns in Query Explorer (Right clicked in editor).test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Query Explorer - Result Viewer - Data binding.test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Preferences - VQL Syntax Coloring.test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Query Explorer - Magic Green Button - Load pattern(s).test
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_newHostInstanceWithMoreHddThanRam.snapshot
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Preferences - VQL Compiler.test
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_changeAppInstanceAllocationLocation.snapshot
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/VIATRA CPS with Queries Workspace.ctx
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/.gitignore
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/InitialStateNotContainedByStateMachineConstraint0.java
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/VIATRA Preferences.suite
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/VIATRA Viewers.suite
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/pom.xml
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Load instance model (empty-classes_uml).ctx
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Pattern Autocomplete.test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/VIATRA UML Queries Workspace.ctx
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/VIATRA Workbench.ctx
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_recursion_chainRec.snapshot
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.instances/build.properties
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_deleteAppInstance.snapshot
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_recursion_communicationRemoved_chainTC.snapshot
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Query Explorer - Pattern Registry - Plugins can not unloaded.test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Preferences - VQL Refactoring.test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/AvailableGreaterThanTotalRamConstraint0.java
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.instances/META-INF/MANIFEST.MF
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/VIATRA All GUI Tests.suite
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/AvailableGreaterThanTotalHddConstraint0.java
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/VariableEqualityCpsTest.xtend
The file was addedcps/frameworktests/org.eclipse.viatra.tests.parent/.project
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/NodeIpIsNotUniqueConstraint0.java
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Query Explorer - Magic Green Button - Load ResourceSet.test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/MultipleTransitionsWithSameActionConstraint0.java
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/MultipleApplicationInstanceInCommunicationGroupConstraint0.java
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/META-INF/MANIFEST.MF
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/plugin.xml
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/src/org/eclipse/viatra/examples/cps/tests/queries/recursiveQueries.vql
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_recursion_chainTC.snapshot
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries/plugin.xml
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Preferences - VQL Templates.test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Preferences - VIATRA exists in preferences.test
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/plugin.xml
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/.project
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.product/pom.xml
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Create Pattern.test
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/FlattenedPatternCallCpsTest.xtend
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/ModelManipulationCpsTest.xtend
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Query Explorer - Result Viewer - Unload instance model.test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Query Explorer - View menu - Reset UI.test
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_deleteAppType.snapshot
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/AvailableGreaterThanTotalCpuConstraint0.java
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Query Explorer - Result Viewer - Show location (to instance model).test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/VIATRA Rete Visualizer.suite
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries/pom.xml
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Viewers - Sandbox - Initialize.test
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_newHostInstanceWithMoreRamThanHdd.snapshot
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/src-gen/.gitignore
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/TransitionWithoutTargetStateConstraint0.java
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Clear Query Explorer.ctx
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Query Explorer - Details_Filters - Filtering.test
The file was addedcps/frameworktests/org.eclipse.viatra.tests.parent/pom.xml
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/BackendType.java
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_deleteHostType.snapshot
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/.classpath
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Load patterns (EmptyClass.vql).ctx
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Testing Framework - Snapshot - Snapshot Editor - Add new child.test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/VIATRA CPS with Snapshot Workspace.ctx
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Query Explorer - Result Viewer - Query Results.test
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_deleteAllHostInstance.snapshot
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/NotAllocatedButRunningConstraint0.java
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Rete Visualizer - Create rete.test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/VIATRA Testing Framework.suite
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.product/viatra_product.product
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/src/org/eclipse/viatra/examples/cps/tests/queries/unnamedVariables.vql
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/META-INF/MANIFEST.MF
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Query Explorer - Pattern Registry - Show location.test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries/.settings/org.eclipse.pde.core.prefs
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Query Explorer - Register patterns in Query Explorer.test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Query Explorer - Result Viewer - Show location (to .vql file).test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/.settings/org.eclipse.pde.core.prefs
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test.snapshot
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_newAppInstance.snapshot
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/TargetStateNotContainedBySameStateMachineConstraint0.java
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/AllCpsTests.xtend
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/pom.xml
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/src/org/eclipse/viatra/examples/cps/tests/queries/cpsValidationRules.vql
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Query Explorer - View menu - Change package representation.test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Create Query Generator Model.test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Initialize viewers.ctx
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Testing Framework - Snapshot - Save into an existing snapshot.test
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.instances/.project
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/VIATRA CPS Workspace.ctx
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Validation framework - Validate CPS model.test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/rcptt.properties
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Query Explorer - Pattern Registry - Checkbox filtering.test
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/src/org/eclipse/viatra/examples/cps/tests/queries/simpleCpsQueries.vql
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Load patterns (simpleCpsQueries.vql).ctx
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_changeAppInstanceIdentifier.snapshot
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_newTransition.snapshot
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Viewers - Sandbox - Zest Graph (Clear graph).test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Load instance model (demo.cyberphysicalsystem).ctx
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Viewers - Sandbox - Zest Graph (Testing layouts).test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Viewers - Sandbox - Create new component.test
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/src/org/eclipse/viatra/examples/cps/tests/queries/variablesEquality.vql
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/VIATRA Query Explorer.suite
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries/src-gen/.gitignore
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/AnonymousVariablesCpsTest.xtend
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/VIATRA Validation Framework.suite
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Viewers - Sandbox - View synchronization.test
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/.classpath
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries/.project
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/.project
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Query Explorer - Pattern Registry - Unregister pattern.test
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_recursion_communicationRemoved_chainRec.snapshot
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Preferences - Query Explorer.test
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/.classpath
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.product/.project
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/build.properties
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/BasicCpsTest.xtend
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries/.classpath
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/.settings/org.eclipse.pde.core.prefs
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_newHostInstance.snapshot
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests.queries/.settings/org.eclipse.jdt.core.prefs
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_newComplexStructure.snapshot
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/RecursionCpsTest.xtend
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Testing Framework - Snapshot - Create new snapshot.test
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_deleteAllHostType.snapshot
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/Query Explorer - Details_Filters - Popup window.test
The file was addedcps/frameworktests/org.eclipse.viatra.gui.tests/VIATRA CPS with Metamodel Workspace.ctx
The file was addedcps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/snapshots/test_changeAppInstanceType.snapshot