From 6c0de7488dbb2447bfa19a6c9fc2459ea533cd54 Mon Sep 17 00:00:00 2001 From: Abel Hegedus Date: Mon, 6 Jun 2016 16:33:01 +0200 Subject: [PATCH] [CPS] updated generated code with copyright and other refinements --- ...ailableGreaterThanTotalCpuConstraint0.java | 91 ++++++++++++++++++ ...ailableGreaterThanTotalHddConstraint0.java | 91 ++++++++++++++++++ ...ailableGreaterThanTotalRamConstraint0.java | 91 ++++++++++++++++++ .../validation/IdIsNotUniqueConstraint0.java | 91 ++++++++++++++++++ ...NotContainedByStateMachineConstraint0.java | 92 +++++++++++++++++++ ...stanceInCommunicationGroupConstraint0.java | 92 +++++++++++++++++++ ...eTransitionsWithSameActionConstraint0.java | 92 +++++++++++++++++++ .../NodeIpIsNotUniqueConstraint0.java | 91 ++++++++++++++++++ .../NotAllocatedButRunningConstraint0.java | 91 ++++++++++++++++++ ...ontainedBySameStateMachineConstraint0.java | 92 +++++++++++++++++++ ...ansitionWithoutTargetStateConstraint0.java | 91 ++++++++++++++++++ .../plugin.xml | 3 - ...ailableGreaterThanTotalCpuConstraint0.java | 11 +++ ...ailableGreaterThanTotalHddConstraint0.java | 11 +++ ...ailableGreaterThanTotalRamConstraint0.java | 11 +++ .../queries/IdIsNotUniqueConstraint0.java | 11 +++ ...NotContainedByStateMachineConstraint0.java | 11 +++ ...stanceInCommunicationGroupConstraint0.java | 11 +++ ...eTransitionsWithSameActionConstraint0.java | 11 +++ .../queries/NodeIpIsNotUniqueConstraint0.java | 11 +++ .../NotAllocatedButRunningConstraint0.java | 11 +++ ...ontainedBySameStateMachineConstraint0.java | 11 +++ ...ansitionWithoutTargetStateConstraint0.java | 11 +++ .../plugin.xml | 14 ++- .../plugin.xml | 22 ++++- .../plugin.xml | 80 ++++++++++++++-- .../CPSExample.setup | 24 +++-- .../plugin.xml | 18 +++- .../plugin.xml | 14 ++- .../plugin.xml | 27 +++++- .../plugin.xml | 56 ++++++++++- .../plugin.xml | 21 ++++- .../plugin.xml | 21 ++++- .../plugin.xml | 12 ++- .../.gitignore | 1 + 35 files changed, 1407 insertions(+), 32 deletions(-) create mode 100644 cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/AvailableGreaterThanTotalCpuConstraint0.java create mode 100644 cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/AvailableGreaterThanTotalHddConstraint0.java create mode 100644 cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/AvailableGreaterThanTotalRamConstraint0.java create mode 100644 cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/IdIsNotUniqueConstraint0.java create mode 100644 cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/InitialStateNotContainedByStateMachineConstraint0.java create mode 100644 cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/MultipleApplicationInstanceInCommunicationGroupConstraint0.java create mode 100644 cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/MultipleTransitionsWithSameActionConstraint0.java create mode 100644 cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/NodeIpIsNotUniqueConstraint0.java create mode 100644 cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/NotAllocatedButRunningConstraint0.java create mode 100644 cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/TargetStateNotContainedBySameStateMachineConstraint0.java create mode 100644 cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/TransitionWithoutTargetStateConstraint0.java create mode 100644 releng/org.eclipse.viatra.examples.cps.target/.gitignore diff --git a/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/AvailableGreaterThanTotalCpuConstraint0.java b/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/AvailableGreaterThanTotalCpuConstraint0.java new file mode 100644 index 0000000..0c562e7 --- /dev/null +++ b/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/AvailableGreaterThanTotalCpuConstraint0.java @@ -0,0 +1,91 @@ +/** + + Copyright (c) 2014, 2016 IncQuery Labs Ltd. + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + Akos Horvath, Abel Hegedus, Akos Menyhert, Zoltan Ujhelyi - initial API and implementation +*/ +package org.eclipse.viatra.examples.cps.model.validation; + +import java.util.List; +import java.util.Map; +import java.util.Set; +import com.google.common.collect.ImmutableList; +import com.google.common.collect.ImmutableMap; +import com.google.common.collect.ImmutableSet; + +import org.eclipse.viatra.addon.validation.core.api.Severity; +import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification; +import org.eclipse.viatra.query.runtime.api.IPatternMatch; +import org.eclipse.viatra.query.runtime.api.IQuerySpecification; +import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher; +import org.eclipse.viatra.query.runtime.exception.ViatraQueryException; + +import org.eclipse.viatra.examples.cps.model.validation.util.AvailableGreaterThanTotalCpuQuerySpecification; + +public class AvailableGreaterThanTotalCpuConstraint0 implements IConstraintSpecification { + + private AvailableGreaterThanTotalCpuQuerySpecification querySpecification; + + public AvailableGreaterThanTotalCpuConstraint0() throws ViatraQueryException { + querySpecification = AvailableGreaterThanTotalCpuQuerySpecification.instance(); + } + + @Override + public String getMessageFormat() { + return "The available CPU ($host.availableCpu$) of $host.identifier$ is greater than the total ($host.totalCpu$)"; + } + + + @Override + public Map getKeyObjects(IPatternMatch signature) { + Map map = ImmutableMap.of( + "host",signature.get("host") + ); + return map; + } + + @Override + public List getKeyNames() { + List keyNames = ImmutableList.of( + "host" + ); + return keyNames; + } + + @Override + public List getPropertyNames() { + List propertyNames = ImmutableList.of( + ); + return propertyNames; + } + + @Override + public Set> getSymmetricPropertyNames() { + Set> symmetricPropertyNamesSet = ImmutableSet.>of( + ); + return symmetricPropertyNamesSet; + } + + @Override + public Set> getSymmetricKeyNames() { + Set> symmetricKeyNamesSet = ImmutableSet.>of( + ); + return symmetricKeyNamesSet; + } + + @Override + public Severity getSeverity() { + return Severity.ERROR; + } + + @Override + public IQuerySpecification> getQuerySpecification() { + return querySpecification; + } + +} diff --git a/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/AvailableGreaterThanTotalHddConstraint0.java b/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/AvailableGreaterThanTotalHddConstraint0.java new file mode 100644 index 0000000..b2af533 --- /dev/null +++ b/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/AvailableGreaterThanTotalHddConstraint0.java @@ -0,0 +1,91 @@ +/** + + Copyright (c) 2014, 2016 IncQuery Labs Ltd. + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + Akos Horvath, Abel Hegedus, Akos Menyhert, Zoltan Ujhelyi - initial API and implementation +*/ +package org.eclipse.viatra.examples.cps.model.validation; + +import java.util.List; +import java.util.Map; +import java.util.Set; +import com.google.common.collect.ImmutableList; +import com.google.common.collect.ImmutableMap; +import com.google.common.collect.ImmutableSet; + +import org.eclipse.viatra.addon.validation.core.api.Severity; +import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification; +import org.eclipse.viatra.query.runtime.api.IPatternMatch; +import org.eclipse.viatra.query.runtime.api.IQuerySpecification; +import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher; +import org.eclipse.viatra.query.runtime.exception.ViatraQueryException; + +import org.eclipse.viatra.examples.cps.model.validation.util.AvailableGreaterThanTotalHddQuerySpecification; + +public class AvailableGreaterThanTotalHddConstraint0 implements IConstraintSpecification { + + private AvailableGreaterThanTotalHddQuerySpecification querySpecification; + + public AvailableGreaterThanTotalHddConstraint0() throws ViatraQueryException { + querySpecification = AvailableGreaterThanTotalHddQuerySpecification.instance(); + } + + @Override + public String getMessageFormat() { + return "The available HDD ($host.availableHdd$) of $host.identifier$ is greater than the total ($host.totalHdd$)"; + } + + + @Override + public Map getKeyObjects(IPatternMatch signature) { + Map map = ImmutableMap.of( + "host",signature.get("host") + ); + return map; + } + + @Override + public List getKeyNames() { + List keyNames = ImmutableList.of( + "host" + ); + return keyNames; + } + + @Override + public List getPropertyNames() { + List propertyNames = ImmutableList.of( + ); + return propertyNames; + } + + @Override + public Set> getSymmetricPropertyNames() { + Set> symmetricPropertyNamesSet = ImmutableSet.>of( + ); + return symmetricPropertyNamesSet; + } + + @Override + public Set> getSymmetricKeyNames() { + Set> symmetricKeyNamesSet = ImmutableSet.>of( + ); + return symmetricKeyNamesSet; + } + + @Override + public Severity getSeverity() { + return Severity.ERROR; + } + + @Override + public IQuerySpecification> getQuerySpecification() { + return querySpecification; + } + +} diff --git a/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/AvailableGreaterThanTotalRamConstraint0.java b/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/AvailableGreaterThanTotalRamConstraint0.java new file mode 100644 index 0000000..38ccd17 --- /dev/null +++ b/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/AvailableGreaterThanTotalRamConstraint0.java @@ -0,0 +1,91 @@ +/** + + Copyright (c) 2014, 2016 IncQuery Labs Ltd. + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + Akos Horvath, Abel Hegedus, Akos Menyhert, Zoltan Ujhelyi - initial API and implementation +*/ +package org.eclipse.viatra.examples.cps.model.validation; + +import java.util.List; +import java.util.Map; +import java.util.Set; +import com.google.common.collect.ImmutableList; +import com.google.common.collect.ImmutableMap; +import com.google.common.collect.ImmutableSet; + +import org.eclipse.viatra.addon.validation.core.api.Severity; +import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification; +import org.eclipse.viatra.query.runtime.api.IPatternMatch; +import org.eclipse.viatra.query.runtime.api.IQuerySpecification; +import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher; +import org.eclipse.viatra.query.runtime.exception.ViatraQueryException; + +import org.eclipse.viatra.examples.cps.model.validation.util.AvailableGreaterThanTotalRamQuerySpecification; + +public class AvailableGreaterThanTotalRamConstraint0 implements IConstraintSpecification { + + private AvailableGreaterThanTotalRamQuerySpecification querySpecification; + + public AvailableGreaterThanTotalRamConstraint0() throws ViatraQueryException { + querySpecification = AvailableGreaterThanTotalRamQuerySpecification.instance(); + } + + @Override + public String getMessageFormat() { + return "The available RAM ($host.availableRam$) of $host.identifier$ is greater than the total ($host.totalRam$)"; + } + + + @Override + public Map getKeyObjects(IPatternMatch signature) { + Map map = ImmutableMap.of( + "host",signature.get("host") + ); + return map; + } + + @Override + public List getKeyNames() { + List keyNames = ImmutableList.of( + "host" + ); + return keyNames; + } + + @Override + public List getPropertyNames() { + List propertyNames = ImmutableList.of( + ); + return propertyNames; + } + + @Override + public Set> getSymmetricPropertyNames() { + Set> symmetricPropertyNamesSet = ImmutableSet.>of( + ); + return symmetricPropertyNamesSet; + } + + @Override + public Set> getSymmetricKeyNames() { + Set> symmetricKeyNamesSet = ImmutableSet.>of( + ); + return symmetricKeyNamesSet; + } + + @Override + public Severity getSeverity() { + return Severity.ERROR; + } + + @Override + public IQuerySpecification> getQuerySpecification() { + return querySpecification; + } + +} diff --git a/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/IdIsNotUniqueConstraint0.java b/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/IdIsNotUniqueConstraint0.java new file mode 100644 index 0000000..21d0d19 --- /dev/null +++ b/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/IdIsNotUniqueConstraint0.java @@ -0,0 +1,91 @@ +/** + + Copyright (c) 2014, 2016 IncQuery Labs Ltd. + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + Akos Horvath, Abel Hegedus, Akos Menyhert, Zoltan Ujhelyi - initial API and implementation +*/ +package org.eclipse.viatra.examples.cps.model.validation; + +import java.util.List; +import java.util.Map; +import java.util.Set; +import com.google.common.collect.ImmutableList; +import com.google.common.collect.ImmutableMap; +import com.google.common.collect.ImmutableSet; + +import org.eclipse.viatra.addon.validation.core.api.Severity; +import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification; +import org.eclipse.viatra.query.runtime.api.IPatternMatch; +import org.eclipse.viatra.query.runtime.api.IQuerySpecification; +import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher; +import org.eclipse.viatra.query.runtime.exception.ViatraQueryException; + +import org.eclipse.viatra.examples.cps.model.validation.util.IdIsNotUniqueQuerySpecification; + +public class IdIsNotUniqueConstraint0 implements IConstraintSpecification { + + private IdIsNotUniqueQuerySpecification querySpecification; + + public IdIsNotUniqueConstraint0() throws ViatraQueryException { + querySpecification = IdIsNotUniqueQuerySpecification.instance(); + } + + @Override + public String getMessageFormat() { + return "The ID of $identifiable.identifier$ is not unique"; + } + + + @Override + public Map getKeyObjects(IPatternMatch signature) { + Map map = ImmutableMap.of( + "identifiable",signature.get("identifiable") + ); + return map; + } + + @Override + public List getKeyNames() { + List keyNames = ImmutableList.of( + "identifiable" + ); + return keyNames; + } + + @Override + public List getPropertyNames() { + List propertyNames = ImmutableList.of( + ); + return propertyNames; + } + + @Override + public Set> getSymmetricPropertyNames() { + Set> symmetricPropertyNamesSet = ImmutableSet.>of( + ); + return symmetricPropertyNamesSet; + } + + @Override + public Set> getSymmetricKeyNames() { + Set> symmetricKeyNamesSet = ImmutableSet.>of( + ); + return symmetricKeyNamesSet; + } + + @Override + public Severity getSeverity() { + return Severity.ERROR; + } + + @Override + public IQuerySpecification> getQuerySpecification() { + return querySpecification; + } + +} diff --git a/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/InitialStateNotContainedByStateMachineConstraint0.java b/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/InitialStateNotContainedByStateMachineConstraint0.java new file mode 100644 index 0000000..cf0af42 --- /dev/null +++ b/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/InitialStateNotContainedByStateMachineConstraint0.java @@ -0,0 +1,92 @@ +/** + + Copyright (c) 2014, 2016 IncQuery Labs Ltd. + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + Akos Horvath, Abel Hegedus, Akos Menyhert, Zoltan Ujhelyi - initial API and implementation +*/ +package org.eclipse.viatra.examples.cps.model.validation; + +import java.util.List; +import java.util.Map; +import java.util.Set; +import com.google.common.collect.ImmutableList; +import com.google.common.collect.ImmutableMap; +import com.google.common.collect.ImmutableSet; + +import org.eclipse.viatra.addon.validation.core.api.Severity; +import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification; +import org.eclipse.viatra.query.runtime.api.IPatternMatch; +import org.eclipse.viatra.query.runtime.api.IQuerySpecification; +import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher; +import org.eclipse.viatra.query.runtime.exception.ViatraQueryException; + +import org.eclipse.viatra.examples.cps.model.validation.util.InitialStateNotContainedByStateMachineQuerySpecification; + +public class InitialStateNotContainedByStateMachineConstraint0 implements IConstraintSpecification { + + private InitialStateNotContainedByStateMachineQuerySpecification querySpecification; + + public InitialStateNotContainedByStateMachineConstraint0() throws ViatraQueryException { + querySpecification = InitialStateNotContainedByStateMachineQuerySpecification.instance(); + } + + @Override + public String getMessageFormat() { + return "The initial state $state.identifier$ of $statemachine.identifier$ is not included in its states"; + } + + + @Override + public Map getKeyObjects(IPatternMatch signature) { + Map map = ImmutableMap.of( + "statemachine",signature.get("statemachine") + ); + return map; + } + + @Override + public List getKeyNames() { + List keyNames = ImmutableList.of( + "statemachine" + ); + return keyNames; + } + + @Override + public List getPropertyNames() { + List propertyNames = ImmutableList.of( + "state" + ); + return propertyNames; + } + + @Override + public Set> getSymmetricPropertyNames() { + Set> symmetricPropertyNamesSet = ImmutableSet.>of( + ); + return symmetricPropertyNamesSet; + } + + @Override + public Set> getSymmetricKeyNames() { + Set> symmetricKeyNamesSet = ImmutableSet.>of( + ); + return symmetricKeyNamesSet; + } + + @Override + public Severity getSeverity() { + return Severity.ERROR; + } + + @Override + public IQuerySpecification> getQuerySpecification() { + return querySpecification; + } + +} diff --git a/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/MultipleApplicationInstanceInCommunicationGroupConstraint0.java b/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/MultipleApplicationInstanceInCommunicationGroupConstraint0.java new file mode 100644 index 0000000..3403fb4 --- /dev/null +++ b/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/MultipleApplicationInstanceInCommunicationGroupConstraint0.java @@ -0,0 +1,92 @@ +/** + + Copyright (c) 2014, 2016 IncQuery Labs Ltd. + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + Akos Horvath, Abel Hegedus, Akos Menyhert, Zoltan Ujhelyi - initial API and implementation +*/ +package org.eclipse.viatra.examples.cps.model.validation; + +import java.util.List; +import java.util.Map; +import java.util.Set; +import com.google.common.collect.ImmutableList; +import com.google.common.collect.ImmutableMap; +import com.google.common.collect.ImmutableSet; + +import org.eclipse.viatra.addon.validation.core.api.Severity; +import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification; +import org.eclipse.viatra.query.runtime.api.IPatternMatch; +import org.eclipse.viatra.query.runtime.api.IQuerySpecification; +import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher; +import org.eclipse.viatra.query.runtime.exception.ViatraQueryException; + +import org.eclipse.viatra.examples.cps.model.validation.util.MultipleApplicationInstanceInCommunicationGroupQuerySpecification; + +public class MultipleApplicationInstanceInCommunicationGroupConstraint0 implements IConstraintSpecification { + + private MultipleApplicationInstanceInCommunicationGroupQuerySpecification querySpecification; + + public MultipleApplicationInstanceInCommunicationGroupConstraint0() throws ViatraQueryException { + querySpecification = MultipleApplicationInstanceInCommunicationGroupQuerySpecification.instance(); + } + + @Override + public String getMessageFormat() { + return "Multiple instances of $app.identifier$ are reachable from $sourceHostInstance.identifier$"; + } + + + @Override + public Map getKeyObjects(IPatternMatch signature) { + Map map = ImmutableMap.of( + "sourceHostInstance",signature.get("sourceHostInstance") + ); + return map; + } + + @Override + public List getKeyNames() { + List keyNames = ImmutableList.of( + "sourceHostInstance" + ); + return keyNames; + } + + @Override + public List getPropertyNames() { + List propertyNames = ImmutableList.of( + "app" + ); + return propertyNames; + } + + @Override + public Set> getSymmetricPropertyNames() { + Set> symmetricPropertyNamesSet = ImmutableSet.>of( + ); + return symmetricPropertyNamesSet; + } + + @Override + public Set> getSymmetricKeyNames() { + Set> symmetricKeyNamesSet = ImmutableSet.>of( + ); + return symmetricKeyNamesSet; + } + + @Override + public Severity getSeverity() { + return Severity.ERROR; + } + + @Override + public IQuerySpecification> getQuerySpecification() { + return querySpecification; + } + +} diff --git a/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/MultipleTransitionsWithSameActionConstraint0.java b/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/MultipleTransitionsWithSameActionConstraint0.java new file mode 100644 index 0000000..4ef6f7d --- /dev/null +++ b/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/MultipleTransitionsWithSameActionConstraint0.java @@ -0,0 +1,92 @@ +/** + + Copyright (c) 2014, 2016 IncQuery Labs Ltd. + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + Akos Horvath, Abel Hegedus, Akos Menyhert, Zoltan Ujhelyi - initial API and implementation +*/ +package org.eclipse.viatra.examples.cps.model.validation; + +import java.util.List; +import java.util.Map; +import java.util.Set; +import com.google.common.collect.ImmutableList; +import com.google.common.collect.ImmutableMap; +import com.google.common.collect.ImmutableSet; + +import org.eclipse.viatra.addon.validation.core.api.Severity; +import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification; +import org.eclipse.viatra.query.runtime.api.IPatternMatch; +import org.eclipse.viatra.query.runtime.api.IQuerySpecification; +import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher; +import org.eclipse.viatra.query.runtime.exception.ViatraQueryException; + +import org.eclipse.viatra.examples.cps.model.validation.util.MultipleTransitionsWithSameActionQuerySpecification; + +public class MultipleTransitionsWithSameActionConstraint0 implements IConstraintSpecification { + + private MultipleTransitionsWithSameActionQuerySpecification querySpecification; + + public MultipleTransitionsWithSameActionConstraint0() throws ViatraQueryException { + querySpecification = MultipleTransitionsWithSameActionQuerySpecification.instance(); + } + + @Override + public String getMessageFormat() { + return "Multiple outgoing transitions of $state.identifier$ define the same action ($action$)"; + } + + + @Override + public Map getKeyObjects(IPatternMatch signature) { + Map map = ImmutableMap.of( + "state",signature.get("state") + ); + return map; + } + + @Override + public List getKeyNames() { + List keyNames = ImmutableList.of( + "state" + ); + return keyNames; + } + + @Override + public List getPropertyNames() { + List propertyNames = ImmutableList.of( + "action" + ); + return propertyNames; + } + + @Override + public Set> getSymmetricPropertyNames() { + Set> symmetricPropertyNamesSet = ImmutableSet.>of( + ); + return symmetricPropertyNamesSet; + } + + @Override + public Set> getSymmetricKeyNames() { + Set> symmetricKeyNamesSet = ImmutableSet.>of( + ); + return symmetricKeyNamesSet; + } + + @Override + public Severity getSeverity() { + return Severity.ERROR; + } + + @Override + public IQuerySpecification> getQuerySpecification() { + return querySpecification; + } + +} diff --git a/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/NodeIpIsNotUniqueConstraint0.java b/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/NodeIpIsNotUniqueConstraint0.java new file mode 100644 index 0000000..7b80484 --- /dev/null +++ b/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/NodeIpIsNotUniqueConstraint0.java @@ -0,0 +1,91 @@ +/** + + Copyright (c) 2014, 2016 IncQuery Labs Ltd. + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + Akos Horvath, Abel Hegedus, Akos Menyhert, Zoltan Ujhelyi - initial API and implementation +*/ +package org.eclipse.viatra.examples.cps.model.validation; + +import java.util.List; +import java.util.Map; +import java.util.Set; +import com.google.common.collect.ImmutableList; +import com.google.common.collect.ImmutableMap; +import com.google.common.collect.ImmutableSet; + +import org.eclipse.viatra.addon.validation.core.api.Severity; +import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification; +import org.eclipse.viatra.query.runtime.api.IPatternMatch; +import org.eclipse.viatra.query.runtime.api.IQuerySpecification; +import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher; +import org.eclipse.viatra.query.runtime.exception.ViatraQueryException; + +import org.eclipse.viatra.examples.cps.model.validation.util.NodeIpIsNotUniqueQuerySpecification; + +public class NodeIpIsNotUniqueConstraint0 implements IConstraintSpecification { + + private NodeIpIsNotUniqueQuerySpecification querySpecification; + + public NodeIpIsNotUniqueConstraint0() throws ViatraQueryException { + querySpecification = NodeIpIsNotUniqueQuerySpecification.instance(); + } + + @Override + public String getMessageFormat() { + return "The IP address $host.nodeIp$ of $host.identifier$ is not unique"; + } + + + @Override + public Map getKeyObjects(IPatternMatch signature) { + Map map = ImmutableMap.of( + "host",signature.get("host") + ); + return map; + } + + @Override + public List getKeyNames() { + List keyNames = ImmutableList.of( + "host" + ); + return keyNames; + } + + @Override + public List getPropertyNames() { + List propertyNames = ImmutableList.of( + ); + return propertyNames; + } + + @Override + public Set> getSymmetricPropertyNames() { + Set> symmetricPropertyNamesSet = ImmutableSet.>of( + ); + return symmetricPropertyNamesSet; + } + + @Override + public Set> getSymmetricKeyNames() { + Set> symmetricKeyNamesSet = ImmutableSet.>of( + ); + return symmetricKeyNamesSet; + } + + @Override + public Severity getSeverity() { + return Severity.ERROR; + } + + @Override + public IQuerySpecification> getQuerySpecification() { + return querySpecification; + } + +} diff --git a/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/NotAllocatedButRunningConstraint0.java b/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/NotAllocatedButRunningConstraint0.java new file mode 100644 index 0000000..51a384f --- /dev/null +++ b/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/NotAllocatedButRunningConstraint0.java @@ -0,0 +1,91 @@ +/** + + Copyright (c) 2014, 2016 IncQuery Labs Ltd. + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + Akos Horvath, Abel Hegedus, Akos Menyhert, Zoltan Ujhelyi - initial API and implementation +*/ +package org.eclipse.viatra.examples.cps.model.validation; + +import java.util.List; +import java.util.Map; +import java.util.Set; +import com.google.common.collect.ImmutableList; +import com.google.common.collect.ImmutableMap; +import com.google.common.collect.ImmutableSet; + +import org.eclipse.viatra.addon.validation.core.api.Severity; +import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification; +import org.eclipse.viatra.query.runtime.api.IPatternMatch; +import org.eclipse.viatra.query.runtime.api.IQuerySpecification; +import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher; +import org.eclipse.viatra.query.runtime.exception.ViatraQueryException; + +import org.eclipse.viatra.examples.cps.model.validation.util.NotAllocatedButRunningQuerySpecification; + +public class NotAllocatedButRunningConstraint0 implements IConstraintSpecification { + + private NotAllocatedButRunningQuerySpecification querySpecification; + + public NotAllocatedButRunningConstraint0() throws ViatraQueryException { + querySpecification = NotAllocatedButRunningQuerySpecification.instance(); + } + + @Override + public String getMessageFormat() { + return "$app.identifier$ is not allocated but it is running"; + } + + + @Override + public Map getKeyObjects(IPatternMatch signature) { + Map map = ImmutableMap.of( + "app",signature.get("app") + ); + return map; + } + + @Override + public List getKeyNames() { + List keyNames = ImmutableList.of( + "app" + ); + return keyNames; + } + + @Override + public List getPropertyNames() { + List propertyNames = ImmutableList.of( + ); + return propertyNames; + } + + @Override + public Set> getSymmetricPropertyNames() { + Set> symmetricPropertyNamesSet = ImmutableSet.>of( + ); + return symmetricPropertyNamesSet; + } + + @Override + public Set> getSymmetricKeyNames() { + Set> symmetricKeyNamesSet = ImmutableSet.>of( + ); + return symmetricKeyNamesSet; + } + + @Override + public Severity getSeverity() { + return Severity.ERROR; + } + + @Override + public IQuerySpecification> getQuerySpecification() { + return querySpecification; + } + +} diff --git a/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/TargetStateNotContainedBySameStateMachineConstraint0.java b/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/TargetStateNotContainedBySameStateMachineConstraint0.java new file mode 100644 index 0000000..00e1767 --- /dev/null +++ b/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/TargetStateNotContainedBySameStateMachineConstraint0.java @@ -0,0 +1,92 @@ +/** + + Copyright (c) 2014, 2016 IncQuery Labs Ltd. + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + Akos Horvath, Abel Hegedus, Akos Menyhert, Zoltan Ujhelyi - initial API and implementation +*/ +package org.eclipse.viatra.examples.cps.model.validation; + +import java.util.List; +import java.util.Map; +import java.util.Set; +import com.google.common.collect.ImmutableList; +import com.google.common.collect.ImmutableMap; +import com.google.common.collect.ImmutableSet; + +import org.eclipse.viatra.addon.validation.core.api.Severity; +import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification; +import org.eclipse.viatra.query.runtime.api.IPatternMatch; +import org.eclipse.viatra.query.runtime.api.IQuerySpecification; +import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher; +import org.eclipse.viatra.query.runtime.exception.ViatraQueryException; + +import org.eclipse.viatra.examples.cps.model.validation.util.TargetStateNotContainedBySameStateMachineQuerySpecification; + +public class TargetStateNotContainedBySameStateMachineConstraint0 implements IConstraintSpecification { + + private TargetStateNotContainedBySameStateMachineQuerySpecification querySpecification; + + public TargetStateNotContainedBySameStateMachineConstraint0() throws ViatraQueryException { + querySpecification = TargetStateNotContainedBySameStateMachineQuerySpecification.instance(); + } + + @Override + public String getMessageFormat() { + return "The target state $target.identifier$ of $transition.identifier$ is not in the same state machine"; + } + + + @Override + public Map getKeyObjects(IPatternMatch signature) { + Map map = ImmutableMap.of( + "transition",signature.get("transition") + ); + return map; + } + + @Override + public List getKeyNames() { + List keyNames = ImmutableList.of( + "transition" + ); + return keyNames; + } + + @Override + public List getPropertyNames() { + List propertyNames = ImmutableList.of( + "target" + ); + return propertyNames; + } + + @Override + public Set> getSymmetricPropertyNames() { + Set> symmetricPropertyNamesSet = ImmutableSet.>of( + ); + return symmetricPropertyNamesSet; + } + + @Override + public Set> getSymmetricKeyNames() { + Set> symmetricKeyNamesSet = ImmutableSet.>of( + ); + return symmetricKeyNamesSet; + } + + @Override + public Severity getSeverity() { + return Severity.ERROR; + } + + @Override + public IQuerySpecification> getQuerySpecification() { + return querySpecification; + } + +} diff --git a/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/TransitionWithoutTargetStateConstraint0.java b/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/TransitionWithoutTargetStateConstraint0.java new file mode 100644 index 0000000..f2a3abe --- /dev/null +++ b/cps/addons/org.eclipse.viatra.examples.cps.queries.validation/src-gen/org/eclipse/viatra/examples/cps/model/validation/TransitionWithoutTargetStateConstraint0.java @@ -0,0 +1,91 @@ +/** + + Copyright (c) 2014, 2016 IncQuery Labs Ltd. + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + Akos Horvath, Abel Hegedus, Akos Menyhert, Zoltan Ujhelyi - initial API and implementation +*/ +package org.eclipse.viatra.examples.cps.model.validation; + +import java.util.List; +import java.util.Map; +import java.util.Set; +import com.google.common.collect.ImmutableList; +import com.google.common.collect.ImmutableMap; +import com.google.common.collect.ImmutableSet; + +import org.eclipse.viatra.addon.validation.core.api.Severity; +import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification; +import org.eclipse.viatra.query.runtime.api.IPatternMatch; +import org.eclipse.viatra.query.runtime.api.IQuerySpecification; +import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher; +import org.eclipse.viatra.query.runtime.exception.ViatraQueryException; + +import org.eclipse.viatra.examples.cps.model.validation.util.TransitionWithoutTargetStateQuerySpecification; + +public class TransitionWithoutTargetStateConstraint0 implements IConstraintSpecification { + + private TransitionWithoutTargetStateQuerySpecification querySpecification; + + public TransitionWithoutTargetStateConstraint0() throws ViatraQueryException { + querySpecification = TransitionWithoutTargetStateQuerySpecification.instance(); + } + + @Override + public String getMessageFormat() { + return "No target state set for $transition.identifier$"; + } + + + @Override + public Map getKeyObjects(IPatternMatch signature) { + Map map = ImmutableMap.of( + "transition",signature.get("transition") + ); + return map; + } + + @Override + public List getKeyNames() { + List keyNames = ImmutableList.of( + "transition" + ); + return keyNames; + } + + @Override + public List getPropertyNames() { + List propertyNames = ImmutableList.of( + ); + return propertyNames; + } + + @Override + public Set> getSymmetricPropertyNames() { + Set> symmetricPropertyNamesSet = ImmutableSet.>of( + ); + return symmetricPropertyNamesSet; + } + + @Override + public Set> getSymmetricKeyNames() { + Set> symmetricKeyNamesSet = ImmutableSet.>of( + ); + return symmetricKeyNamesSet; + } + + @Override + public Severity getSeverity() { + return Severity.ERROR; + } + + @Override + public IQuerySpecification> getQuerySpecification() { + return querySpecification; + } + +} diff --git a/cps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/plugin.xml b/cps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/plugin.xml index afbdd47..24a0cc1 100644 --- a/cps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/plugin.xml +++ b/cps/frameworktests/org.eclipse.viatra.examples.cps.tests.queries/plugin.xml @@ -66,7 +66,4 @@ - - - diff --git a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/AvailableGreaterThanTotalCpuConstraint0.java b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/AvailableGreaterThanTotalCpuConstraint0.java index 89e98c5..f1ea06e 100644 --- a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/AvailableGreaterThanTotalCpuConstraint0.java +++ b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/AvailableGreaterThanTotalCpuConstraint0.java @@ -1,3 +1,14 @@ +/** + + Copyright (c) 2014-2016, IncQuery Labs Ltd. + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + Akos Horvath, Abel Hegedus, Tamas Borbas, Zoltan Ujhelyi - initial API and implementation +*/ package org.eclipse.viatra.gui.tests.queries; import java.util.List; diff --git a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/AvailableGreaterThanTotalHddConstraint0.java b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/AvailableGreaterThanTotalHddConstraint0.java index c17979b..def1144 100644 --- a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/AvailableGreaterThanTotalHddConstraint0.java +++ b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/AvailableGreaterThanTotalHddConstraint0.java @@ -1,3 +1,14 @@ +/** + + Copyright (c) 2014-2016, IncQuery Labs Ltd. + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + Akos Horvath, Abel Hegedus, Tamas Borbas, Zoltan Ujhelyi - initial API and implementation +*/ package org.eclipse.viatra.gui.tests.queries; import java.util.List; diff --git a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/AvailableGreaterThanTotalRamConstraint0.java b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/AvailableGreaterThanTotalRamConstraint0.java index 1fca601..91f6ab1 100644 --- a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/AvailableGreaterThanTotalRamConstraint0.java +++ b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/AvailableGreaterThanTotalRamConstraint0.java @@ -1,3 +1,14 @@ +/** + + Copyright (c) 2014-2016, IncQuery Labs Ltd. + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + Akos Horvath, Abel Hegedus, Tamas Borbas, Zoltan Ujhelyi - initial API and implementation +*/ package org.eclipse.viatra.gui.tests.queries; import java.util.List; diff --git a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/IdIsNotUniqueConstraint0.java b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/IdIsNotUniqueConstraint0.java index c3c7dbc..83ccacb 100644 --- a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/IdIsNotUniqueConstraint0.java +++ b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/IdIsNotUniqueConstraint0.java @@ -1,3 +1,14 @@ +/** + + Copyright (c) 2014-2016, IncQuery Labs Ltd. + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + Akos Horvath, Abel Hegedus, Tamas Borbas, Zoltan Ujhelyi - initial API and implementation +*/ package org.eclipse.viatra.gui.tests.queries; import java.util.List; diff --git a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/InitialStateNotContainedByStateMachineConstraint0.java b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/InitialStateNotContainedByStateMachineConstraint0.java index 00b9f5e..65d3eda 100644 --- a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/InitialStateNotContainedByStateMachineConstraint0.java +++ b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/InitialStateNotContainedByStateMachineConstraint0.java @@ -1,3 +1,14 @@ +/** + + Copyright (c) 2014-2016, IncQuery Labs Ltd. + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + Akos Horvath, Abel Hegedus, Tamas Borbas, Zoltan Ujhelyi - initial API and implementation +*/ package org.eclipse.viatra.gui.tests.queries; import java.util.List; diff --git a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/MultipleApplicationInstanceInCommunicationGroupConstraint0.java b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/MultipleApplicationInstanceInCommunicationGroupConstraint0.java index d732cd9..5ca016e 100644 --- a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/MultipleApplicationInstanceInCommunicationGroupConstraint0.java +++ b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/MultipleApplicationInstanceInCommunicationGroupConstraint0.java @@ -1,3 +1,14 @@ +/** + + Copyright (c) 2014-2016, IncQuery Labs Ltd. + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + Akos Horvath, Abel Hegedus, Tamas Borbas, Zoltan Ujhelyi - initial API and implementation +*/ package org.eclipse.viatra.gui.tests.queries; import java.util.List; diff --git a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/MultipleTransitionsWithSameActionConstraint0.java b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/MultipleTransitionsWithSameActionConstraint0.java index 3a8fd76..34acebe 100644 --- a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/MultipleTransitionsWithSameActionConstraint0.java +++ b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/MultipleTransitionsWithSameActionConstraint0.java @@ -1,3 +1,14 @@ +/** + + Copyright (c) 2014-2016, IncQuery Labs Ltd. + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + Akos Horvath, Abel Hegedus, Tamas Borbas, Zoltan Ujhelyi - initial API and implementation +*/ package org.eclipse.viatra.gui.tests.queries; import java.util.List; diff --git a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/NodeIpIsNotUniqueConstraint0.java b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/NodeIpIsNotUniqueConstraint0.java index ce37886..fd744f1 100644 --- a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/NodeIpIsNotUniqueConstraint0.java +++ b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/NodeIpIsNotUniqueConstraint0.java @@ -1,3 +1,14 @@ +/** + + Copyright (c) 2014-2016, IncQuery Labs Ltd. + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + Akos Horvath, Abel Hegedus, Tamas Borbas, Zoltan Ujhelyi - initial API and implementation +*/ package org.eclipse.viatra.gui.tests.queries; import java.util.List; diff --git a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/NotAllocatedButRunningConstraint0.java b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/NotAllocatedButRunningConstraint0.java index ddccade..c1b97e3 100644 --- a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/NotAllocatedButRunningConstraint0.java +++ b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/NotAllocatedButRunningConstraint0.java @@ -1,3 +1,14 @@ +/** + + Copyright (c) 2014-2016, IncQuery Labs Ltd. + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + Akos Horvath, Abel Hegedus, Tamas Borbas, Zoltan Ujhelyi - initial API and implementation +*/ package org.eclipse.viatra.gui.tests.queries; import java.util.List; diff --git a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/TargetStateNotContainedBySameStateMachineConstraint0.java b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/TargetStateNotContainedBySameStateMachineConstraint0.java index 33a3559..3c5bc33 100644 --- a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/TargetStateNotContainedBySameStateMachineConstraint0.java +++ b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/TargetStateNotContainedBySameStateMachineConstraint0.java @@ -1,3 +1,14 @@ +/** + + Copyright (c) 2014-2016, IncQuery Labs Ltd. + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + Akos Horvath, Abel Hegedus, Tamas Borbas, Zoltan Ujhelyi - initial API and implementation +*/ package org.eclipse.viatra.gui.tests.queries; import java.util.List; diff --git a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/TransitionWithoutTargetStateConstraint0.java b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/TransitionWithoutTargetStateConstraint0.java index d08e2ea..7610231 100644 --- a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/TransitionWithoutTargetStateConstraint0.java +++ b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries.validation/src-gen/org/eclipse/viatra/gui/tests/queries/TransitionWithoutTargetStateConstraint0.java @@ -1,3 +1,14 @@ +/** + + Copyright (c) 2014-2016, IncQuery Labs Ltd. + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + Akos Horvath, Abel Hegedus, Tamas Borbas, Zoltan Ujhelyi - initial API and implementation +*/ package org.eclipse.viatra.gui.tests.queries; import java.util.List; diff --git a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries/plugin.xml b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries/plugin.xml index 639c675..ef2b685 100644 --- a/cps/frameworktests/org.eclipse.viatra.gui.tests.queries/plugin.xml +++ b/cps/frameworktests/org.eclipse.viatra.gui.tests.queries/plugin.xml @@ -1,5 +1,17 @@ - + + + + + + + + + + + + + diff --git a/cps/generator/org.eclipse.viatra.examples.cps.generator/plugin.xml b/cps/generator/org.eclipse.viatra.examples.cps.generator/plugin.xml index e345406..7902fb0 100644 --- a/cps/generator/org.eclipse.viatra.examples.cps.generator/plugin.xml +++ b/cps/generator/org.eclipse.viatra.examples.cps.generator/plugin.xml @@ -1,8 +1,26 @@ - + + + + + + + + + + - + + + + + + + + + + diff --git a/cps/queries/org.eclipse.viatra.examples.cps.queries/plugin.xml b/cps/queries/org.eclipse.viatra.examples.cps.queries/plugin.xml index 1814173..648a2f8 100644 --- a/cps/queries/org.eclipse.viatra.examples.cps.queries/plugin.xml +++ b/cps/queries/org.eclipse.viatra.examples.cps.queries/plugin.xml @@ -1,32 +1,92 @@ - + + + + - + + + + + + + + - + + + + - + + + + + - + + + - + + + + - + + + + + + + + + + + + + + - + + + + + + - + + + + + - + + + + + + + + + + + + + + + + + diff --git a/cps/releng/org.eclipse.viatra.examples.cps.setup/CPSExample.setup b/cps/releng/org.eclipse.viatra.examples.cps.setup/CPSExample.setup index f656e44..f1876b6 100644 --- a/cps/releng/org.eclipse.viatra.examples.cps.setup/CPSExample.setup +++ b/cps/releng/org.eclipse.viatra.examples.cps.setup/CPSExample.setup @@ -160,7 +160,13 @@ xsi:type="predicates:AndPredicate"> + pattern=".*/cps/.*"/> + + + @@ -191,46 +197,46 @@ name="CPS Domains"> + pattern=".*/cps/domains/.*"/> + pattern=".*/cps/queries/.*"/> + pattern=".*/cps/transformations/.*"/> + pattern=".*/cps/tests/.*"/> + pattern=".*/cps/frameworktests/.*"/> + pattern=".*/cps/addons/.*"/> + pattern=".*/cps/generator/.*"/> + pattern=".*/cps/prototypes/.*"/> diff --git a/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/plugin.xml b/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/plugin.xml index 1dc7578..3fc55ab 100644 --- a/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/plugin.xml +++ b/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.eiq/plugin.xml @@ -1,5 +1,21 @@ - + + + + + + + + + + + + + + + + + diff --git a/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.viatra/plugin.xml b/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.viatra/plugin.xml index a78255d..f5cff9b 100644 --- a/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.viatra/plugin.xml +++ b/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.batch.viatra/plugin.xml @@ -1,5 +1,17 @@ - + + + + + + + + + + + + + diff --git a/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.aggr/plugin.xml b/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.aggr/plugin.xml index cc64861..3bce920 100644 --- a/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.aggr/plugin.xml +++ b/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.aggr/plugin.xml @@ -1,5 +1,30 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/plugin.xml b/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/plugin.xml index 808d408..483373c 100644 --- a/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/plugin.xml +++ b/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.expl/plugin.xml @@ -1,5 +1,59 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/plugin.xml b/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/plugin.xml index 2ec19e7..abc7fd1 100644 --- a/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/plugin.xml +++ b/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.qrt/plugin.xml @@ -1,5 +1,24 @@ - + + + + + + + + + + + + + + + + + + + + diff --git a/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.viatra/plugin.xml b/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.viatra/plugin.xml index ddf455b..7ac4587 100644 --- a/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.viatra/plugin.xml +++ b/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2m.incr.viatra/plugin.xml @@ -1,5 +1,24 @@ - + + + + + + + + + + + + + + + + + + + + diff --git a/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/plugin.xml b/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/plugin.xml index c42299c..6e693fe 100644 --- a/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/plugin.xml +++ b/cps/transformations/org.eclipse.viatra.examples.cps.xform.m2t/plugin.xml @@ -1,5 +1,15 @@ - + + + + + + + + + + + diff --git a/releng/org.eclipse.viatra.examples.cps.target/.gitignore b/releng/org.eclipse.viatra.examples.cps.target/.gitignore new file mode 100644 index 0000000..3339b49 --- /dev/null +++ b/releng/org.eclipse.viatra.examples.cps.target/.gitignore @@ -0,0 +1 @@ +/cps-demonstrator_oomphgen.target