Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBruno Marques2014-06-30 14:07:00 +0000
committerBruno Marques2014-06-30 14:10:30 +0000
commit7d22cd3c0f05df9abf197c7465ce134e89ffb8ab (patch)
treece51014b654c121496c9588bd0282da86e60d57e
parent64d78c04c79d7f790bb65439f8f880e4ef3265c0 (diff)
downloadorg.eclipse.papyrus-7d22cd3c0f05df9abf197c7465ce134e89ffb8ab.tar.gz
org.eclipse.papyrus-7d22cd3c0f05df9abf197c7465ce134e89ffb8ab.tar.xz
org.eclipse.papyrus-7d22cd3c0f05df9abf197c7465ce134e89ffb8ab.zip
438560: [Moka] UML validation shall not be called on automatically
generated model parts https://bugs.eclipse.org/bugs/show_bug.cgi?id=438560 Replace all constraint mode from "Live" to "Batch". The consequence is that the UML validation will not be called during the saving phase of a generated activiy. Change-Id: I2a7018e9da360a7dd9fa9833dccaafa79792b518 Signed-off-by: Bruno Marques <bruno.marques@cea.fr>
-rw-r--r--plugins/uml/diagram/org.eclipse.papyrus.uml.diagram.activity/plugin.xml74
1 files changed, 37 insertions, 37 deletions
diff --git a/plugins/uml/diagram/org.eclipse.papyrus.uml.diagram.activity/plugin.xml b/plugins/uml/diagram/org.eclipse.papyrus.uml.diagram.activity/plugin.xml
index 5689e59b421..8173a29ee54 100644
--- a/plugins/uml/diagram/org.eclipse.papyrus.uml.diagram.activity/plugin.xml
+++ b/plugins/uml/diagram/org.eclipse.papyrus.uml.diagram.activity/plugin.xml
@@ -1665,7 +1665,7 @@
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateInitialNode_validateNoIncomingEdges"
lang="OCL"
name="validateNoIncomingEdges"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[self.incoming->isEmpty()]]>
<description><![CDATA[An initial node has no incoming edge]]></description>
@@ -1675,7 +1675,7 @@
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateInitialNode_validateControlEdges"
lang="OCL"
name="validateControlEdges"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[not self.source.oclIsKindOf(InitialNode)]]>
<description><![CDATA[Only control edges can have initial nodes as source]]></description>
@@ -1687,7 +1687,7 @@
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateFinalNode_validateNoOutgoingEdges"
lang="OCL"
name="validateNoOutgoingEdges"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[self.outgoing->isEmpty()]]>
<description><![CDATA[A fianl node has no outgoing edge]]></description>
@@ -1715,7 +1715,7 @@
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateObjectNode_validateNotUnique"
lang="OCL"
name="validateNotUnique"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[-- must be applied on corresponding parameter, if only it exists
true
@@ -1765,7 +1765,7 @@ true
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validatePin_validateControlPins"
lang="OCL"
name="validateControlPins"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[self.isControl implies self.isControlType]]>
<description><![CDATA[Control pins have a control type]]></description>
@@ -1777,7 +1777,7 @@ true
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateInputPin_validateOutgoingEdgesStructuredOnly"
lang="OCL"
name="validateOutgoingEdgesStructuredOnly"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[self.outgoing.target->forAll(inStructuredNode=self.owner)]]>
<description><![CDATA[Input pins may have outgoing edges only when they are on actions that are structured nodes, and these edges must target a node contained by the structured node.]]></description>
@@ -1789,7 +1789,7 @@ true
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateActionInputPin_validateOneOutputPin"
lang="OCL"
name="validateOneOutputPin"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[(not self.fromAction.oclIsUndefined()) implies
self.fromAction.output->size() = 1]]>
@@ -1800,7 +1800,7 @@ self.fromAction.output->size() = 1]]>
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateActionInputPin_validateInputPin"
lang="OCL"
name="validateInputPin"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[(not self.fromAction.oclIsUndefined()) implies
self.fromAction.input->forAll(oclIsKindOf(ActionInputPin))]]>
@@ -1811,7 +1811,7 @@ self.fromAction.input->forAll(oclIsKindOf(ActionInputPin))]]>
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateActionInputPin_validateNoControlOrDataFlow"
lang="OCL"
name="validateNoControlOrDataFlow"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[(not self.fromAction.oclIsUndefined()) implies
(self.fromAction.incoming->isEmpty() and self.fromAction.outgoing->isEmpty()
@@ -1826,7 +1826,7 @@ and self.fromAction.output->forAll(incoming->isEmpty() and outgoing->isEmpty()))
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateValuePin_validateCompatibleType"
lang="Java" class="org.eclipse.papyrus.uml.diagram.activity.providers.UMLValidationProvider$Adapter13"
name="validateCompatibleType"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<description><![CDATA[The type of value specification must be compatible with the type of the value pin.]]></description>
@@ -1836,7 +1836,7 @@ and self.fromAction.output->forAll(incoming->isEmpty() and outgoing->isEmpty()))
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateValuePin_validateNoIncomingEdges"
lang="OCL"
name="validateNoIncomingEdges"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[self.incoming->isEmpty()]]>
<description><![CDATA[Value pins have no incoming edges.]]></description>
@@ -1848,7 +1848,7 @@ and self.fromAction.output->forAll(incoming->isEmpty() and outgoing->isEmpty()))
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateOutputPin_validateIncomingEdgesStructuredOnly"
lang="OCL"
name="validateIncomingEdgesStructuredOnly"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[self.incoming.source->forAll(inStructuredNode=self.owner)]]>
<description><![CDATA[Output pins may have incoming edges only when they are on actions that are structured nodes, and these edges may not target a node contained by the structured node.]]></description>
@@ -1860,7 +1860,7 @@ and self.fromAction.output->forAll(incoming->isEmpty() and outgoing->isEmpty()))
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateActivityEdge_validateSourceAndTarget"
lang="Java" class="org.eclipse.papyrus.uml.diagram.activity.providers.UMLValidationProvider$Adapter16"
name="validateSourceAndTarget"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<description><![CDATA[The source and target of an edge must be in the same activity as the edge.]]></description>
@@ -1870,7 +1870,7 @@ and self.fromAction.output->forAll(incoming->isEmpty() and outgoing->isEmpty()))
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateActivityEdge_validateOwned"
lang="OCL"
name="validateOwned"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[self.owner.oclIsKindOf(Activity)
or self.owner.oclIsKindOf(ActivityGroup)]]>
@@ -1881,7 +1881,7 @@ or self.owner.oclIsKindOf(ActivityGroup)]]>
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateActivityEdge_validateStructuredNode"
lang="OCL"
name="validateStructuredNode"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[true
-- constraint is checked by the model structure]]>
@@ -1916,7 +1916,7 @@ not self.source.oclIsUndefined() and not self.target.oclIsUndefined()]]>
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateObjectFlow_validateNoActions"
lang="OCL"
name="validateNoActions"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[(self.source.oclIsUndefined() or not self.source.oclIsKindOf(Action))
and (self.target.oclIsUndefined() or not self.target.oclIsKindOf(Action))]]>
@@ -1927,7 +1927,7 @@ and (self.target.oclIsUndefined() or not self.target.oclIsKindOf(Action))]]>
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateObjectFlow_validateCompatibleTypes"
lang="Java" class="org.eclipse.papyrus.uml.diagram.activity.providers.UMLValidationProvider$Adapter21"
name="validateCompatibleTypes"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<description><![CDATA[Object nodes connected by an object flow, with optionally intervening control nodes, must have compatible types. In particular, the downstream object node type must be the same or a supertype of the upstream object node type]]></description>
@@ -1937,7 +1937,7 @@ and (self.target.oclIsUndefined() or not self.target.oclIsKindOf(Action))]]>
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateObjectFlow_validateSameUpperBounds"
lang="Java" class="org.eclipse.papyrus.uml.diagram.activity.providers.UMLValidationProvider$Adapter22"
name="validateSameUpperBounds"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<description><![CDATA[Object nodes connected by an object flow, with optionally intervening control nodes, must have the same upper bounds.]]></description>
@@ -1947,7 +1947,7 @@ and (self.target.oclIsUndefined() or not self.target.oclIsKindOf(Action))]]>
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateObjectFlow_validateTarget"
lang="Java" class="org.eclipse.papyrus.uml.diagram.activity.providers.UMLValidationProvider$Adapter23"
name="validateTarget"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<description><![CDATA[An edge with constant weight may not target an object node, or lead to an object node downstream with no intervening actions, that has an upper bound less than the weight.]]></description>
@@ -1957,7 +1957,7 @@ and (self.target.oclIsUndefined() or not self.target.oclIsKindOf(Action))]]>
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateObjectFlow_validateTransformationBehaviour"
lang="Java" class="org.eclipse.papyrus.uml.diagram.activity.providers.UMLValidationProvider$Adapter24"
name="validateTransformationBehaviour"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<description><![CDATA[A transformation behavior has one input parameter and one output parameter. The input parameter must be the same as or a supertype of the type of object token coming from the source end. The output parameter must be the same or a subtype of the type of object token expected downstream. The behavior cannot have side effects.]]></description>
@@ -1967,7 +1967,7 @@ and (self.target.oclIsUndefined() or not self.target.oclIsKindOf(Action))]]>
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateObjectFlow_validateSelectionBehaviour"
lang="OCL"
name="validateSelectionBehaviour"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[(not self.selection.oclIsUndefined()) implies self.source.oclIsKindOf(ObjectNode)]]>
<description><![CDATA[An object flow may have a selection behavior only if it has an object node as a source.]]></description>
@@ -1977,7 +1977,7 @@ and (self.target.oclIsUndefined() or not self.target.oclIsKindOf(Action))]]>
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateObjectFlow_validateInputAndOutputParameter"
lang="Java" class="org.eclipse.papyrus.uml.diagram.activity.providers.UMLValidationProvider$Adapter26"
name="validateInputAndOutputParameter"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<description><![CDATA[A selection behavior has one input parameter and one output parameter. The input parameter must be a bag of elements of the same as or a supertype of the type of source object node. The output parameter must be the same or a subtype of the type of source object node. The behavior cannot have side effects.]]></description>
@@ -1987,7 +1987,7 @@ and (self.target.oclIsUndefined() or not self.target.oclIsKindOf(Action))]]>
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateObjectFlow_validateIsMulticastOrIsMultireceive"
lang="OCL"
name="validateIsMulticastOrIsMultireceive"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[self.isMulticast implies not self.isMultireceive]]>
<description><![CDATA[isMulticast and isMultireceive cannot both be true.]]></description>
@@ -1999,7 +1999,7 @@ and (self.target.oclIsUndefined() or not self.target.oclIsKindOf(Action))]]>
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateControlFlow_validateObjectNodes"
lang="OCL"
name="validateObjectNodes"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[(self.source.oclIsUndefined() or
(self.source.oclIsKindOf(ObjectNode) implies
@@ -2043,7 +2043,7 @@ self.incoming->size() <= 2]]>
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateDecisionNode_validateDecisionInputFlowIncoming"
lang="OCL"
name="validateDecisionInputFlowIncoming"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[(not self.decisionInputFlow.oclIsUndefined()) implies
self.incoming->includes(self.decisionInputFlow)]]>
@@ -2054,7 +2054,7 @@ self.incoming->includes(self.decisionInputFlow)]]>
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateDecisionNode_validateParameters"
lang="OCL"
name="validateParameters"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[(not self.decisionInput.oclIsUndefined()) implies (
self.decisionInput.ownedParameter->select(
@@ -2193,7 +2193,7 @@ and self.decisionInput.ownedParameter->select(
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateActivityParameterNode_validateIncomingOrOutgoing"
lang="OCL"
name="validateIncomingOrOutgoing"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[(self.incoming->notEmpty() implies self.outgoing->isEmpty()) and
(self.outgoing->notEmpty() implies self.incoming->isEmpty())]]>
@@ -2206,7 +2206,7 @@ and self.decisionInput.ownedParameter->select(
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateCreateObjectActionClassifier_notAbstract"
lang="OCL"
name="validateNotAbstract"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[(not self.classifier.oclIsUndefined()) implies (self.classifier.isAbstract = false)]]>
<description><![CDATA[Check that the classifier is not abstract]]></description>
@@ -2216,7 +2216,7 @@ and self.decisionInput.ownedParameter->select(
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateCreateObjectActionClassifier_notClassifier"
lang="OCL"
name="valideNotAssociationClass"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[(not self.classifier.oclIsUndefined()) implies (not self.classifier.oclIsKindOf(uml::AssociationClass))]]>
<description><![CDATA[Check that the classifier is not an association class]]></description>
@@ -2282,7 +2282,7 @@ and self.decisionInput.ownedParameter->select(
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateDestroyObjectAction_InputPinHasNotType"
lang="OCL"
name="validateInputPinHasNoType"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[self.target.type->size() = 0]]>
<description><![CDATA[Check that the input pin has no type]]></description>
@@ -2294,7 +2294,7 @@ and self.decisionInput.ownedParameter->select(
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateStructuralFeatureAction_FeatureNotStatic"
lang="OCL"
name="validateFeatureNotStatic"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<![CDATA[(not self.structuralFeature.oclIsUndefined()) implies (self.structuralFeature.isStatic = false)]]>
<description><![CDATA[Check that the structural feature must not be static.]]></description>
@@ -2407,7 +2407,7 @@ self.structuralFeature.oclAsType(Property).opposite.type = self.object.type]]>
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateExceptionHandler_validateException_HandlerBody_Constraint4"
lang="Java" class="org.eclipse.papyrus.uml.diagram.activity.providers.UMLValidationProvider$Adapter62"
name="validateException_HandlerBody_Constraint4"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<description><![CDATA[The handler body has one input, and that input is the same as the exception input.]]></description>
@@ -2417,7 +2417,7 @@ self.structuralFeature.oclAsType(Property).opposite.type = self.object.type]]>
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateExceptionHandler_validateException_StructuredActivityNode_Constraint3"
lang="Java" class="org.eclipse.papyrus.uml.diagram.activity.providers.UMLValidationProvider$Adapter64"
name="validateException_StructuredActivityNode_Constraint3"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<description><![CDATA[If the protected node is a StructuredActivityNode with output pins, then the exception handler body must also be a StructuredActivityNode with output pins that correspond in number and types to those of the protected node.]]></description>
@@ -2427,7 +2427,7 @@ self.structuralFeature.oclAsType(Property).opposite.type = self.object.type]]>
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateExceptionHandler_validateException_SourceAndTargetEdge_Constraint1"
lang="Java" class="org.eclipse.papyrus.uml.diagram.activity.providers.UMLValidationProvider$Adapter65"
name="validateException_SourceAndTargetEdge_Constraint1"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<description><![CDATA[The exception handler and its input object node are not the source or target of any edge.]]></description>
@@ -2439,7 +2439,7 @@ self.structuralFeature.oclAsType(Property).opposite.type = self.object.type]]>
<constraint id="org.eclipse.uml2.uml.util.UMLValidator.validateInterruptibleEdge_validateEdge"
lang="Java" class="org.eclipse.papyrus.uml.diagram.activity.providers.UMLValidationProvider$Adapter63"
name="validateInterruptibleEdge"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<description><![CDATA[Validate the constraint for interruptible Edge]]></description>
@@ -2538,7 +2538,7 @@ self.structuralFeature.oclAsType(Property).opposite.type = self.object.type]]>
lang="Java"
name="PinAndParameterSynchronizer"
class="org.eclipse.papyrus.uml.diagram.activity.helper.PinAndParameterSynchronizer"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<description><![CDATA[Action's Pins and invoked object's Parameters are synchronized]]></description>
<message><![CDATA[Action's Pins must correspond to the called object's Parameters]]></message>
@@ -2582,7 +2582,7 @@ self.structuralFeature.oclAsType(Property).opposite.type = self.object.type]]>
lang="Java"
name="ActivityParameterAndParameterSynchronizer"
class="org.eclipse.papyrus.uml.diagram.activity.helper.ActivityParameterAndParameterSynchronizer"
- mode="Live"
+ mode="Batch"
severity="ERROR" statusCode="200">
<description><![CDATA[Validate that Activity Parameter Node and corresponding Parameter type are correctly synchronized]]></description>
<message>Activity parameter node must be synchronized with its parameter.</message>

Back to the top