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 | 70 |
1 files changed, 35 insertions, 35 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 f2c05aeb646..53e610efd4e 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 @@ -1537,7 +1537,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> @@ -1547,7 +1547,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> @@ -1559,7 +1559,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> @@ -1587,7 +1587,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 @@ -1637,7 +1637,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> @@ -1649,7 +1649,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> @@ -1661,7 +1661,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]]> @@ -1672,7 +1672,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))]]> @@ -1683,7 +1683,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() @@ -1698,7 +1698,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> @@ -1708,7 +1708,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> @@ -1720,7 +1720,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> @@ -1732,7 +1732,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> @@ -1742,7 +1742,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)]]> @@ -1753,7 +1753,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]]> @@ -1788,7 +1788,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))]]> @@ -1799,7 +1799,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> @@ -1809,7 +1809,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> @@ -1819,7 +1819,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> @@ -1829,7 +1829,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> @@ -1839,7 +1839,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> @@ -1849,7 +1849,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> @@ -1859,7 +1859,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> @@ -1871,7 +1871,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 @@ -1915,7 +1915,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)]]> @@ -1926,7 +1926,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( @@ -2065,7 +2065,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())]]> @@ -2078,7 +2078,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> @@ -2088,7 +2088,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> @@ -2154,7 +2154,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> @@ -2166,7 +2166,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> @@ -2279,7 +2279,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> @@ -2289,7 +2289,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> @@ -2299,7 +2299,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> @@ -2311,7 +2311,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> |