diff options
Diffstat (limited to 'plugins/uml/diagram/org.eclipse.papyrus.uml.diagram.activity/plugin.xml')
-rw-r--r-- | plugins/uml/diagram/org.eclipse.papyrus.uml.diagram.activity/plugin.xml | 74 |
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>
|